Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Computer science 158 Treffer
- Computational complexity 94 Treffer
- Computer software 75 Treffer
- Logic design 63 Treffer
- Artificial intelligence 53 Treffer
-
45 weitere Werte:
- Software engineering 39 Treffer
- Data encryption (Computer science) 30 Treffer
- Algorithms 24 Treffer
- Coding theory 23 Treffer
- Electronic data processing 21 Treffer
- Data structures (Computer science) 19 Treffer
- Information theory 18 Treffer
- Online-Ressource 18 Treffer
- Computeralgebra 17 Treffer
- Logic, Symbolic and mathematical 15 Treffer
- Computer Communication Networks 14 Treffer
- Computer graphics 14 Treffer
- Bioinformatics 13 Treffer
- Theoretische Informatik 13 Treffer
- Algebra 11 Treffer
- Formale Methode 10 Treffer
- Künstliche Intelligenz 10 Treffer
- Berechnungskomplexität 9 Treffer
- Data protection 9 Treffer
- Reduktionssystem 9 Treffer
- Automatisches Beweisverfahren 8 Treffer
- Algebraische Spezifikation 7 Treffer
- Formale Sprache 7 Treffer
- Information storage and retrieval systems 7 Treffer
- Logik 7 Treffer
- Algorithmus 6 Treffer
- Berechnungstheorie 6 Treffer
- Beweistheorie 6 Treffer
- Biology / Data processing 6 Treffer
- Formale Grammatik 6 Treffer
- Kleene-Algebra 6 Treffer
- Natürliche Sprache 6 Treffer
- Relationenalgebra 6 Treffer
- Typentheorie 6 Treffer
- Wissenschaftliches Rechnen 6 Treffer
- Algebraische Methode 5 Treffer
- Computer simulation 5 Treffer
- Data mining 5 Treffer
- Graphenzeichnen 5 Treffer
- HOL 5 Treffer
- Informatik 5 Treffer
- Information systems 5 Treffer
- Logische Programmierung 5 Treffer
- Mathematische Logik 5 Treffer
- Programmverifikation 5 Treffer
Sprache
173 Treffer
-
Cham: Springer International Publishing, 2015Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2011Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online 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 Berlin Heidelberg, 2009Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource