Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 14 Treffer
- Software engineering 12 Treffer
- Logic design 11 Treffer
- Softwareentwicklung 10 Treffer
- Programmverifikation 5 Treffer
-
45 weitere Werte:
- Artificial intelligence 4 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Nebenläufigkeit 4 Treffer
- Softwarespezifikation 4 Treffer
- Verifikation 4 Treffer
- Algebraische Spezifikation 3 Treffer
- Computer software 3 Treffer
- Objektorientierung 3 Treffer
- Petri-Netz 3 Treffer
- Abstraktion 2 Treffer
- Ambient Intelligence 2 Treffer
- Anwendungssystem 2 Treffer
- Asynchrones Schaltwerk 2 Treffer
- Beweis 2 Treffer
- Computer Communication Networks 2 Treffer
- Eingebettetes System 2 Treffer
- Emergenz 2 Treffer
- Entwurfsautomation 2 Treffer
- Graphersetzungssystem 2 Treffer
- Korrektheit 2 Treffer
- Leistungsbewertung 2 Treffer
- Logischer Schluss 2 Treffer
- Model Checking 2 Treffer
- Objektorientierte Programmierung 2 Treffer
- Programmierlogik 2 Treffer
- Programmierung 2 Treffer
- Softwareplattform 2 Treffer
- Systementwicklung 2 Treffer
- Systementwurf 2 Treffer
- Systemmodell 2 Treffer
- Ubiquitous Computing 2 Treffer
- Wissenschaftliches Rechnen 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Algebra / Data processing 1 Treffer
- Automatentheorie 1 Treffer
- Berechenbarkeit 1 Treffer
- Bioinformatics 1 Treffer
- Computational complexity 1 Treffer
- Computer hardware 1 Treffer
- Computer network architectures 1 Treffer
- Computer simulation 1 Treffer
- Computersimulation 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Electronics 1 Treffer
- Formale Grammatik 1 Treffer
Sprache
20 Treffer
-
Berlin [u.a.]: Springer, 2010Online Festschrift, Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer, 2002Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
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-Verlag 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 [u.a.]: Springer, 2007Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2008Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2005Online Aufsatzsammlung, Sammelwerk, 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 [u.a.]: Springer, 2005Online Festschrift, Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Aufsatzsammlung, Elektronische Ressource