Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 7 Treffer
- Logic design 6 Treffer
- Model Checking 6 Treffer
- Software engineering 6 Treffer
- Computer Communication Networks 5 Treffer
-
28 weitere Werte:
- Softwareentwicklung 5 Treffer
- Eingebettetes System 4 Treffer
- Hybrides System 4 Treffer
- Information systems 4 Treffer
- Systemanalyse 4 Treffer
- Systementwurf 4 Treffer
- Verifikation 4 Treffer
- Zeitbehafteter Automat 4 Treffer
- Hardwareverifikation 2 Treffer
- Algorithms 1 Treffer
- Artificial intelligence 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Berechnungstheorie 1 Treffer
- Computer aided design 1 Treffer
- Computer hardware 1 Treffer
- Computer software 1 Treffer
- Electronic data processing 1 Treffer
- Entwurfsautomation 1 Treffer
- Entwurfssprache 1 Treffer
- Formale Grammatik 1 Treffer
- Formale Syntax 1 Treffer
- Information theory 1 Treffer
- Logik 1 Treffer
- Natürliche Sprache 1 Treffer
- Online-Ressource 1 Treffer
- Programmierlogik 1 Treffer
- System-on-Chip 1 Treffer
- Taipeh <2005> 1 Treffer
Sprache
7 Treffer
-
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 Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource