Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 9 Treffer
- Logic design 8 Treffer
- Software engineering 8 Treffer
- Verifikation 5 Treffer
- Softwareentwicklung 4 Treffer
-
22 weitere Werte:
- Artificial intelligence 3 Treffer
- HOL 3 Treffer
- Operating systems (Computers) 3 Treffer
- Programmverifikation 3 Treffer
- Systementwicklung 3 Treffer
- Testen 3 Treffer
- Algebra / Data processing 2 Treffer
- Formale Spezifikationstechnik 2 Treffer
- Interaktives Beweissystem 2 Treffer
- Isabelle (Programm) 2 Treffer
- Model Checking 2 Treffer
- Programmierung 2 Treffer
- Typprüfung 2 Treffer
- Abstraktion 1 Treffer
- Computer Communication Networks 1 Treffer
- Computer software 1 Treffer
- Hardwareentwurf 1 Treffer
- Hardwareverifikation 1 Treffer
- Logic, Symbolic and mathematical 1 Treffer
- Logischer Schluss 1 Treffer
- Nebenläufigkeit 1 Treffer
- Reduktionssystem 1 Treffer
Sprache
9 Treffer
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource