Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 10 Treffer
- Logic design 10 Treffer
- Zeitbehafteter Automat 9 Treffer
- Model Checking 7 Treffer
- Online-Ressource 5 Treffer
-
19 weitere Werte:
- Verifikation 5 Treffer
- Zeitdiskretes System 5 Treffer
- Computer Communication Networks 4 Treffer
- Echtzeitsystem 4 Treffer
- Eingebettetes System 4 Treffer
- Hardwareentwurf 4 Treffer
- Information systems 4 Treffer
- Softwareentwicklung 4 Treffer
- Systemanalyse 4 Treffer
- Systementwurf 4 Treffer
- Temporale Logik 4 Treffer
- Zeitbewertetes Petri-Netz 4 Treffer
- Computer network architectures 1 Treffer
- Computer system performance 1 Treffer
- Formale Semantik 1 Treffer
- Hartes Echtzeitsystem 1 Treffer
- Information theory 1 Treffer
- Spezifikation 1 Treffer
- Taipeh <2005> 1 Treffer
Sprache
10 Treffer
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2008Online 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 Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource