Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Computer software 20 Treffer
- Artificial intelligence 19 Treffer
- Computer science 17 Treffer
- Computational complexity 15 Treffer
- Kombinatorische Optimierung 13 Treffer
-
24 weitere Werte:
- Logic design 7 Treffer
- Combinatorics 6 Treffer
- Constraint (Künstliche Intelligenz) 4 Treffer
- Constraint-Erfüllung 4 Treffer
- Information systems 3 Treffer
- Online-Ressource 3 Treffer
- Operations research 3 Treffer
- Boolesche Formel 2 Treffer
- Computerunterstütztes Verfahren 2 Treffer
- Erfüllbarkeitsproblem 2 Treffer
- Genetischer Algorithmus 2 Treffer
- Logic, Symbolic and mathematical 2 Treffer
- Operating systems (Computers) 2 Treffer
- Scheduling 2 Treffer
- Terminplanung 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Berechnungskomplexität 1 Treffer
- Computer Communication Networks 1 Treffer
- Formale Sprache 1 Treffer
- Gleichungslogik 1 Treffer
- Information theory 1 Treffer
- Logische Sprache 1 Treffer
- Metalogik 1 Treffer
- OBJ 1 Treffer
Sprache
22 Treffer
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2011Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2003) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2003), 2003; 2003Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008Online 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
-
Cham: Springer International Publishing, 2014Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Aufsatzsammlung, 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, Konferenzschrift, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online 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 Berlin Heidelberg, 2012Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Konferenzschrift, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2006Online Monographie, Konferenzschrift, Elektronische Ressource