Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Softwareentwicklung 35 Treffer
- Model Checking 31 Treffer
- Computer science 29 Treffer
- Logic design 29 Treffer
- Software engineering 29 Treffer
-
45 weitere Werte:
- Systementwicklung 21 Treffer
- Verifikation 19 Treffer
- Computer Communication Networks 14 Treffer
- Programmanalyse 12 Treffer
- Verteiltes System 12 Treffer
- Komponente (Software) 11 Treffer
- Hybrides System 10 Treffer
- Software 10 Treffer
- Zuverlässigkeit 10 Treffer
- Datensicherung 9 Treffer
- Echtzeitsystem 9 Treffer
- Eingebettetes System 9 Treffer
- Softwarespezifikation 9 Treffer
- Testen 9 Treffer
- Nebenläufigkeit 8 Treffer
- Objektorientierung 8 Treffer
- Zeitbehafteter Automat 8 Treffer
- Operating systems (Computers) 7 Treffer
- Systementwurf 7 Treffer
- Mensch-Maschine-Kommunikation 6 Treffer
- Programmverifikation 6 Treffer
- Technische Sicherheit 6 Treffer
- Temporale Logik 6 Treffer
- UML 6 Treffer
- Zeitbewertetes Petri-Netz 6 Treffer
- Zeitdiskretes System 6 Treffer
- Fehlertoleranz 5 Treffer
- Formale Spezifikationstechnik 5 Treffer
- Information Systems 5 Treffer
- Leistungsbewertung 5 Treffer
- Theoretische Informatik 5 Treffer
- Computer system performance 4 Treffer
- Computersicherheit 4 Treffer
- Systemanalyse 4 Treffer
- Verteilte Programmierung 4 Treffer
- Authentifikation 3 Treffer
- Data Mining 3 Treffer
- Hardwareentwurf 3 Treffer
- Interoperabilität 3 Treffer
- Kommunikationsprotokoll 3 Treffer
- Kontrollfluss 3 Treffer
- Mobile Computing 3 Treffer
- Offenes Kommunikationssystem 3 Treffer
- Ontologie (Wissensverarbeitung) 3 Treffer
- Rechnernetz 3 Treffer
Sprache
94 Treffer
-
Berlin [u.a.]: Springer, 2004Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, c 2003Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2002Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2002Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2001Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2001Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2002Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2001Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2005Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2002Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online 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, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online 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