Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
Treffer 1 - 20
von 1.173
Suche einschränken
Standort
Fachgebiet
Informatik
900
Allgemeines
486
Elektrotechnik
108
Maschinenbau
106
Bauingenieurwesen
98
Mathematik
86
mehr ...
Linguistik
55
Wirtschaftswissenschaften
55
Nicht zugeordnet
48
Messtechnik, Mechatronik
32
Physik
20
Biologie
12
Technik
12
Psychologie
9
Pädagogik
8
Geographie
6
Verkehr, Transport
6
Germanistik
5
Soziologie
5
Geologie und Paläontologie
5
Medizin
5
Allgemeine Naturwissenschaft
4
Chemie und Pharmazie
4
Politologie
3
Land- und Forstwirtschaft
2
Architektur
2
Film, Theater, Tanz
1
Buch- und Bibliothekswesen
1
Naturschutz und Umweltschutz
1
Kunstgeschichte
1
weniger ...
Schlagwort
Konferenzschrift
463
Softwareentwicklung
140
Eingebettetes System
127
Formale Methode
76
Zuverlässigkeit
52
Verteiltes System
47
mehr ...
Programmierung
44
Echtzeitsystem
40
Model Checking
37
Systementwicklung
37
Verifikation
37
Aufsatzsammlung
35
Systementwurf
32
Programmiersprache
30
Komponente Software
29
Computerarchitektur
26
Fehlertoleranz
26
Hardwareentwurf
25
Modellgetriebene Entwicklung
25
Objektorientierte Programmierung
24
Programmverifikation
24
Software Engineering
23
Parallelverarbeitung
22
Sicherheitskritisches System
22
Programmanalyse
21
Lehrbuch
19
Software
19
Softwarearchitektur
19
Theoretische Informatik
19
Ada
18
weniger ...
Verfasser
Date, Chris J.
8
Bitsch, Friedemann
7
Holleczek, Peter
7
Margaria, Tiziana
6
Shneiderman, Ben
6
Steffen, Bernhard
6
mehr ...
Kordon, Fabrice
5
Romanovsky, Alexander
5
Rozier, Kristin Yvonne
5
Schoitsch, Erwin
5
Yang, Laurence T
5
Bispo, João
4
Bonsangue, Marcello M
4
Bruel, Jean-Michel
4
Hennessy, John L.
4
Liu, Zhiming
4
Ortmeier, Frank
4
Patterson, David A.
4
Reussner, Ralf H
4
Tanenbaum, Andrew S.
4
Vardanega, Tullio
4
Vassiliadis, Stamatis
4
Voronkov, Andrei
4
Wolf, Marilyn
4
Woodruff, David L.
4
Axelson, Jan
3
Barrett, Steven F.
3
Bondavalli, Andrea
3
Burns, Alan
3
Cherubin, Stefano
3
weniger ...
Sprache
Erscheinungsjahr
Filter