Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 258 Treffer
- Software engineering 239 Treffer
- Logic design 220 Treffer
- Softwareentwicklung 141 Treffer
- Model Checking 119 Treffer
-
45 weitere Werte:
- Verifikation 96 Treffer
- Online-Ressource 94 Treffer
- Computer Communication Networks 83 Treffer
- Systementwicklung 68 Treffer
- Programmverifikation 61 Treffer
- Programmanalyse 57 Treffer
- Artificial intelligence 53 Treffer
- Information Systems 49 Treffer
- Software 40 Treffer
- Verteiltes System 38 Treffer
- Testen 37 Treffer
- Softwaretest 36 Treffer
- Zuverlässigkeit 36 Treffer
- Operating systems (Computers) 34 Treffer
- Fehlertoleranz 33 Treffer
- Softwarespezifikation 33 Treffer
- Computer software 31 Treffer
- Objektorientierung 30 Treffer
- Eingebettetes System 29 Treffer
- Datensicherung 26 Treffer
- Systementwurf 26 Treffer
- Formale Spezifikationstechnik 25 Treffer
- Echtzeitsystem 24 Treffer
- Hardwareentwurf 24 Treffer
- Komponente (Software) 24 Treffer
- Zeitbehafteter Automat 22 Treffer
- Theoretische Informatik 21 Treffer
- Nebenläufigkeit 20 Treffer
- Hybrides System 19 Treffer
- Sicherheitskritisches System 19 Treffer
- Systemanalyse 19 Treffer
- Computersicherheit 17 Treffer
- Mensch-Maschine-Kommunikation 17 Treffer
- Serviceorientierte Architektur 17 Treffer
- Technische Sicherheit 17 Treffer
- UML 16 Treffer
- Web Services 16 Treffer
- Automatisches Beweisverfahren 15 Treffer
- Programmierung 15 Treffer
- Rechnernetz 15 Treffer
- Software Engineering 15 Treffer
- Computer system performance 14 Treffer
- Computer simulation 13 Treffer
- Information storage and retrieval systems 13 Treffer
- Information systems 13 Treffer
Sprache
Zweigstelle
399 Treffer
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2003Online Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2009Online Konferenzschrift, Sammelwerk, Elektronische RessourceZugriff:
-
Berlin, Heidelberg, New York, NY: Springer, 2008Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, c 2003Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2005Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2008Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2004Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2005Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2008Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2005Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2004Online Konferenzschrift, Sammelwerk, Elektronische Ressource