Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 10 Treffer
- Software engineering 9 Treffer
- Logic design 8 Treffer
- Verifikation 7 Treffer
- Model Checking 6 Treffer
-
25 weitere Werte:
- Softwareentwicklung 5 Treffer
- HOL 4 Treffer
- Programmierung 4 Treffer
- Programmverifikation 4 Treffer
- Artificial intelligence 3 Treffer
- Operating systems (Computers) 3 Treffer
- Systementwicklung 3 Treffer
- Testen 3 Treffer
- Abstraktion 2 Treffer
- Algebra / Data processing 2 Treffer
- Formale Spezifikationstechnik 2 Treffer
- Hardwareentwurf 2 Treffer
- Hardwareverifikation 2 Treffer
- Interaktives Beweissystem 2 Treffer
- Isabelle (Programm) 2 Treffer
- Logischer Schluss 2 Treffer
- Nebenläufigkeit 2 Treffer
- Paralleler Prozess 2 Treffer
- Reduktionssystem 2 Treffer
- Typprüfung 2 Treffer
- Computer Communication Networks 1 Treffer
- Computer software 1 Treffer
- Information theory 1 Treffer
- Logic, Symbolic and mathematical 1 Treffer
- Online-Ressource 1 Treffer
Sprache
15 Treffer
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2010Online Festschrift, Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2001Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Festschrift, Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2001) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2001), 2001; 2001Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Cham: Springer International Publishing, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2005Online Festschrift, Aufsatzsammlung, Sammelwerk, 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
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource