Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Zeitbehafteter Automat 8 Treffer
- Model Checking 6 Treffer
- Temporale Logik 6 Treffer
- Zeitbewertetes Petri-Netz 6 Treffer
- Zeitdiskretes System 6 Treffer
-
15 weitere Werte:
- Computer science 5 Treffer
- Logic design 5 Treffer
- Software engineering 5 Treffer
- Echtzeitsystem 4 Treffer
- Eingebettetes System 2 Treffer
- Formale Semantik 2 Treffer
- Hardwareentwurf 2 Treffer
- Hartes Echtzeitsystem 2 Treffer
- Softwareentwicklung 2 Treffer
- Systemanalyse 2 Treffer
- Systementwurf 2 Treffer
- Verifikation 2 Treffer
- Computer Communication Networks 1 Treffer
- Computer network architectures 1 Treffer
- Information systems 1 Treffer
Sprache
10 Treffer
-
Berlin [u.a.]: Springer, 2005Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Festschrift, Konferenzschrift, Sammelwerk, Elektronische Ressource