Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 185 Treffer
- Software engineering 88 Treffer
- Computational complexity 62 Treffer
- Artificial intelligence 48 Treffer
- Theoretische Informatik 46 Treffer
-
45 weitere Werte:
- Data structures (Computer science) 32 Treffer
- Computer Communication Networks 25 Treffer
- Formale Methode 17 Treffer
- Information theory 15 Treffer
- Online-Ressource 15 Treffer
- Programmverifikation 15 Treffer
- Electronic data processing 14 Treffer
- Model Checking 14 Treffer
- Programmanalyse 13 Treffer
- Berechenbarkeit 10 Treffer
- Softwareentwicklung 10 Treffer
- Algorithmus 9 Treffer
- Constraint-Programmierung 9 Treffer
- Algebra / Data processing 8 Treffer
- Data protection 8 Treffer
- Graphersetzungssystem 8 Treffer
- Programmierung 8 Treffer
- Algorithms 7 Treffer
- Automatentheorie 7 Treffer
- Automatisches Beweisverfahren 7 Treffer
- Computer system performance 7 Treffer
- Graph-Grammatik 7 Treffer
- Operating systems (Computers) 7 Treffer
- Systementwicklung 7 Treffer
- Automat (Automatentheorie) 6 Treffer
- Berechnungstheorie 6 Treffer
- Computersicherheit 6 Treffer
- Komplexitätstheorie 6 Treffer
- Abstrakte Interpretation 5 Treffer
- Berechnungskomplexität 5 Treffer
- Formale Sprache 5 Treffer
- Optical pattern recognition 5 Treffer
- Programmiersprache 5 Treffer
- Softwaretest 5 Treffer
- Verifikation 5 Treffer
- Boolesche Formel 4 Treffer
- Constraint (Künstliche Intelligenz) 4 Treffer
- Constraint-Erfüllung 4 Treffer
- Datensicherung 4 Treffer
- Echtzeitverarbeitung 4 Treffer
- Erfüllbarkeitsproblem 4 Treffer
- Hardwareverifikation 4 Treffer
- Information Systems 4 Treffer
- Künstliche Intelligenz 4 Treffer
- Logic, Symbolic and mathematical 4 Treffer
Sprache
193 Treffer
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2011Online 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 Berlin Heidelberg, 2010Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. ProceedingsBerlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Konferenzschrift, Elektronische Ressource