Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Computer science 194 Treffer
- Software engineering 179 Treffer
- Logic design 160 Treffer
- Computer Communication Networks 69 Treffer
- Softwareentwicklung 67 Treffer
-
45 weitere Werte:
- Model Checking 56 Treffer
- Verifikation 52 Treffer
- Programmverifikation 47 Treffer
- Artificial intelligence 41 Treffer
- Information Systems 40 Treffer
- Programmanalyse 37 Treffer
- Online-Ressource 34 Treffer
- Computer software 31 Treffer
- Softwaretest 31 Treffer
- Operating systems (Computers) 28 Treffer
- Systementwicklung 27 Treffer
- Verteiltes System 19 Treffer
- Fehlertoleranz 18 Treffer
- Objektorientierung 16 Treffer
- Serviceorientierte Architektur 16 Treffer
- Systementwurf 16 Treffer
- Datensicherung 15 Treffer
- Theoretische Informatik 15 Treffer
- Zuverlässigkeit 15 Treffer
- Komponente (Software) 14 Treffer
- Systemanalyse 14 Treffer
- Web Services 14 Treffer
- Programmiersprache 13 Treffer
- Sicherheitskritisches System 13 Treffer
- Software 13 Treffer
- Software Engineering 13 Treffer
- Softwarespezifikation 13 Treffer
- Testen 13 Treffer
- Computer simulation 12 Treffer
- Computer system performance 12 Treffer
- Information storage and retrieval systems 12 Treffer
- Softwaresystem 12 Treffer
- Computersicherheit 11 Treffer
- Eingebettetes System 11 Treffer
- Information systems 11 Treffer
- Information theory 11 Treffer
- Nebenläufigkeit 11 Treffer
- Algebra / Data processing 10 Treffer
- Computational complexity 10 Treffer
- Data protection 10 Treffer
- Hybrides System 10 Treffer
- Requirements engineering 10 Treffer
- Zeitbehafteter Automat 10 Treffer
- Anwendungssystem 9 Treffer
- Automatisches Beweisverfahren 9 Treffer
Sprache
211 Treffer
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, 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-Verlag Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, 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
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, 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
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource