Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 12 Treffer
- Logic design 10 Treffer
- Softwareentwicklung 6 Treffer
- Artificial intelligence 3 Treffer
- Programmverifikation 3 Treffer
-
45 weitere Werte:
- Softwarespezifikation 3 Treffer
- Algebraische Spezifikation 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Computer Communication Networks 2 Treffer
- Computer software 2 Treffer
- Nebenläufigkeit 2 Treffer
- Objektorientierung 2 Treffer
- Petri-Netz 2 Treffer
- Verifikation 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstraktion 1 Treffer
- Algebra / Data processing 1 Treffer
- Ambient Intelligence 1 Treffer
- Anwendungssystem 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automatentheorie 1 Treffer
- Berechenbarkeit 1 Treffer
- Beweis 1 Treffer
- Computational complexity 1 Treffer
- Computer hardware 1 Treffer
- Computer network architectures 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Eingebettetes System 1 Treffer
- Electronics 1 Treffer
- Emergenz 1 Treffer
- Entwurfsautomation 1 Treffer
- Formale Grammatik 1 Treffer
- Formale Semantik 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Graphersetzungssystem 1 Treffer
- Information Systems 1 Treffer
- Java (Programmiersprache) 1 Treffer
- Komplexitätstheorie 1 Treffer
- Korrektheit 1 Treffer
- Leistungsbewertung 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logic, Symbolic and mathematical 1 Treffer
- Logischer Schluss 1 Treffer
- Mathematische Logik 1 Treffer
- Model Checking 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Programmierlogik 1 Treffer
- Programmiersprache 1 Treffer
- Programmierung 1 Treffer
- Prozessautomation 1 Treffer
Sprache
12 Treffer
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1999) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1999), 1999; 1999Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2002) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2002), 2002; 2002Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2008Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004Online Aufsatzsammlung, Bibliografie, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Aufsatzsammlung, Elektronische Ressource