Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
Treffer 1 - 20
von 191
Suche einschränken
Standort
Fachgebiet
Informatik
160
Allgemeines
88
Nicht zugeordnet
13
Elektrotechnik
11
Mathematik
7
Maschinenbau
6
mehr ...
Bauingenieurwesen
5
Linguistik
4
Messtechnik, Mechatronik
4
Wirtschaftswissenschaften
3
Physik
2
Verkehr, Transport
2
Buch- und Bibliothekswesen
1
Politologie
1
Geographie
1
Chemie und Pharmazie
1
Biologie
1
Medizin
1
weniger ...
Schlagwort
Konferenzschrift
108
Softwareentwicklung
27
Formale Methode
20
Objektorientierte Programmierung
17
Programmverifikation
16
Model Checking
11
mehr ...
Software Engineering
11
Programmanalyse
9
Programmiersprache
9
Eingebettetes System
8
Objektorientierung
8
Programmierung
8
Java Programmiersprache
7
Aufsatzsammlung
6
Datensicherung
6
Parallelverarbeitung
6
Verifikation
6
Computerarchitektur
5
Computersicherheit
5
Komponente Software
5
Kryptoanalyse
5
Modulare Programmierung
5
Objektorientierte Programmiersprache
5
Systementwicklung
5
Verteiltes System
5
Abstrakte Interpretation
4
Aspektorientierte Programmierung
4
Mobile Computing
4
Rechnernetz
4
Softwarespezifikation
4
weniger ...
Medientyp
Verfasser
Meyer, Bertrand
4
Beckert, Bernhard
3
Abeck, Sebastian
2
Alexandrov, Vassil N.
2
Barthe, Gilles
2
Berekovic, Mladen
2
mehr ...
Bruel, Jean-Michel
2
Bubel, Richard
2
Castagna, Giuseppe
2
Elleithy, Khaled
2
Gollmann, Dieter
2
Grass, Werner
2
Guerraoui, Rachid
2
Mahmood, Ausif
2
McAffer, Jeff
2
Seipel, Dietmar
2
Sobh, Tarek
2
Wolf, Armin
2
Abrahao, Silvia
1
Abreu, Salvador
1
Abrial, Jean-Raymond
1
Ackermann, Philip
1
Ahmed, Amal
1
Ahrendt, Wolfgang
1
Alonso, Gustavo
1
Alves-Foss, Jim
1
Amestoy, Patrick
1
Amouzegar, Mahyar
1
Anderson, Richard
1
Antonelli, Laura
1
weniger ...
Sprache
Erscheinungsjahr
Filter