Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 13 Treffer
- Model Checking 12 Treffer
- Software engineering 12 Treffer
- Logic design 10 Treffer
- Online-Ressource 8 Treffer
-
44 weitere Werte:
- Computer Communication Networks 7 Treffer
- Programmverifikation 7 Treffer
- Softwareentwicklung 7 Treffer
- Komponente (Software) 6 Treffer
- Programmiersprache 5 Treffer
- Programmierung 5 Treffer
- Theoretische Informatik 5 Treffer
- Verifikation 5 Treffer
- Abstraktion 4 Treffer
- Petri-Netz 4 Treffer
- Programmanalyse 4 Treffer
- Systementwicklung 4 Treffer
- Logischer Schluss 3 Treffer
- Objektorientierung 3 Treffer
- Programmierlogik 3 Treffer
- Softwaresystem 3 Treffer
- Asynchrones Schaltwerk 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Computational logic 2 Treffer
- Computer software 2 Treffer
- Dekomposition 2 Treffer
- Eingebettetes System 2 Treffer
- Entwurfsautomation 2 Treffer
- Leistungsbewertung 2 Treffer
- Systementwurf 2 Treffer
- Verteilte Programmierung 2 Treffer
- Artificial intelligence 1 Treffer
- Bioinformatik 1 Treffer
- Codegenerierung 1 Treffer
- Compiler 1 Treffer
- Computational complexity 1 Treffer
- Computer hardware 1 Treffer
- Computer network architectures 1 Treffer
- Data protection 1 Treffer
- Electronics 1 Treffer
- Information theory 1 Treffer
- Metamodell 1 Treffer
- Middleware 1 Treffer
- Operating systems (Computers) 1 Treffer
- Programmierparadigma 1 Treffer
- Programmtransformation 1 Treffer
- Simulation 1 Treffer
- Spezifikationstechnik 1 Treffer
- Systemmodell 1 Treffer
Sprache
20 Treffer
-
Berlin, Heidelberg: Springer, 2002Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2006Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
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 (2002) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2002), 2002; 2002Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1998) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1998), 1998; 1998Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2005Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin [u.a.]: Springer, 2007Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource