Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Computer science 27 Treffer
- Computer software 17 Treffer
- Computational complexity 12 Treffer
- Artificial intelligence 9 Treffer
- Constraint-Programmierung 7 Treffer
-
37 weitere Werte:
- Algebra / Data processing 5 Treffer
- Beweistheorie 5 Treffer
- Constraint-Erfüllung 5 Treffer
- Theoretische Informatik 5 Treffer
- Constraint (Künstliche Intelligenz) 4 Treffer
- Logic, Symbolic and mathematical 4 Treffer
- Software engineering 4 Treffer
- Data structures (Computer science) 3 Treffer
- Klassische Logik 3 Treffer
- Lambda-Kalkül 3 Treffer
- Online-Ressource 3 Treffer
- Reduktionssystem 3 Treffer
- Typentheorie 3 Treffer
- Typisierter Lambda-Kalkül 3 Treffer
- Algorithmische Geometrie 2 Treffer
- Algorithmus 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Kombinatorische Optimierung 2 Treffer
- Logik 2 Treffer
- Programmierlogik 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Algorithms 1 Treffer
- Berechnungskomplexität 1 Treffer
- Computer simulation 1 Treffer
- Formale Sprache 1 Treffer
- Gleichungslogik 1 Treffer
- Globale Optimierung 1 Treffer
- Graphenzeichnen 1 Treffer
- Hochleistungsrechnen 1 Treffer
- Information theory 1 Treffer
- Komplexitätstheorie 1 Treffer
- Logische Sprache 1 Treffer
- Mathematische Logik 1 Treffer
- Metalogik 1 Treffer
- OBJ 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Parallelverarbeitung 1 Treffer
Sprache
27 Treffer
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2015Online Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online 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 Berlin Heidelberg, 2014Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2011Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1999) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1999), 1999; 1999Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2004), 2004; 2004Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Konferenzschrift, Elektronische Ressource