Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 225 Treffer
- Logic design 205 Treffer
- Softwareentwicklung 87 Treffer
- Computer Communication Networks 75 Treffer
- Model Checking 74 Treffer
-
45 weitere Werte:
- Verifikation 58 Treffer
- Programmverifikation 47 Treffer
- Information Systems 43 Treffer
- Programmanalyse 40 Treffer
- Systementwicklung 39 Treffer
- Artificial intelligence 36 Treffer
- Operating systems (Computers) 32 Treffer
- Online-Ressource 29 Treffer
- Softwaretest 29 Treffer
- Verteiltes System 23 Treffer
- Zuverlässigkeit 22 Treffer
- Fehlertoleranz 21 Treffer
- Softwarespezifikation 21 Treffer
- Computer software 20 Treffer
- Software 20 Treffer
- Testen 20 Treffer
- Objektorientierung 19 Treffer
- Systementwurf 18 Treffer
- Eingebettetes System 16 Treffer
- Formale Spezifikationstechnik 15 Treffer
- Serviceorientierte Architektur 15 Treffer
- Echtzeitsystem 14 Treffer
- Komponente (Software) 14 Treffer
- Sicherheitskritisches System 14 Treffer
- Software Engineering 14 Treffer
- Systemanalyse 14 Treffer
- Web Services 14 Treffer
- Computer system performance 13 Treffer
- Datensicherung 13 Treffer
- Programmiersprache 13 Treffer
- Zeitbehafteter Automat 13 Treffer
- Computer simulation 12 Treffer
- Hardwareentwurf 12 Treffer
- Information systems 12 Treffer
- Nebenläufigkeit 12 Treffer
- Softwaresystem 12 Treffer
- Theoretische Informatik 11 Treffer
- Anwendungssystem 10 Treffer
- Hybrides System 10 Treffer
- Automatisches Beweisverfahren 9 Treffer
- Coding theory 9 Treffer
- Mensch-Maschine-Kommunikation 9 Treffer
- Programmierung 9 Treffer
- Rechnernetz 9 Treffer
- Requirements engineering 9 Treffer
Sprache
239 Treffer
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1999) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1999), 1999; 1999Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2002) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2002), 2002; 2002Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2008Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2002) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2002), 2002; 2002Online Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004Online Aufsatzsammlung, Bibliografie, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. ProceedingsBerlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource