Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Algorithmus 30 Treffer
- Komplexitätstheorie 12 Treffer
- Datenstruktur 11 Treffer
- Automatisches Beweisverfahren 9 Treffer
- Graphentheorie 8 Treffer
-
45 weitere Werte:
- Mathematische Logik 8 Treffer
- Berechenbarkeit 7 Treffer
- Automatentheorie 6 Treffer
- Effizienter Algorithmus 6 Treffer
- Formale Sprache 6 Treffer
- Berechnungstheorie 5 Treffer
- Deduktionssystem 5 Treffer
- Paralleler Algorithmus 5 Treffer
- Theoretische Informatik 5 Treffer
- C++ 4 Treffer
- Künstliche Intelligenz 4 Treffer
- Algorithmentheorie 3 Treffer
- Computeralgebra 3 Treffer
- Computerarithmetik 3 Treffer
- Logische Programmierung 3 Treffer
- Prädikatenlogik 3 Treffer
- Reduktionssystem 3 Treffer
- Verteilter Algorithmus 3 Treffer
- Approximationsalgorithmus 2 Treffer
- Arithmetik 2 Treffer
- Beweis 2 Treffer
- Boolesche Algebra 2 Treffer
- Computersimulation 2 Treffer
- Evolutionsstrategie 2 Treffer
- Formale Methode 2 Treffer
- Funktionale Programmierung 2 Treffer
- Genetischer Algorithmus 2 Treffer
- Java (Programmiersprache) 2 Treffer
- Kombinatorische Optimierung 2 Treffer
- Lineare Algebra 2 Treffer
- Logik 2 Treffer
- Maschinelles Lernen 2 Treffer
- Mengenlehre 2 Treffer
- Nichtmonotones Schließen 2 Treffer
- Numerische Mathematik 2 Treffer
- Optimierungsproblem 2 Treffer
- Pi (Zahl) 2 Treffer
- Programmierung 2 Treffer
- Rekursive Funktion 2 Treffer
- Softwareentwicklung 2 Treffer
- Suchverfahren 2 Treffer
- Truth maintenance system 2 Treffer
- Typisierter Lambda-Kalkül 2 Treffer
- Unifikationstheorie 2 Treffer
- Wissensbasiertes System 2 Treffer
Sprache
Form
Person
- Ottmann, Thomas (1943-) 5 Treffer
- Sedgewick, Robert (1946-) 5 Treffer
- Widmayer, Peter (1953-) 4 Treffer
- Zimmermann, Wolf 4 Treffer
- Börger, Egon 3 Treffer
-
45 weitere Werte:
- Goos, Gerhard (1937-2020) 3 Treffer
- Meinel, Christoph (1954-) 3 Treffer
- Sander, Peter 3 Treffer
- Schöning, Uwe (1955-) 3 Treffer
- Stucky, Wolffried (1939-) 3 Treffer
- Arndt, Jörg (1964-) 2 Treffer
- Beierle, Christoph (1954-) 2 Treffer
- Broy, Manfred (1949-) 2 Treffer
- Engeler, Erwin 2 Treffer
- Haenel, Christoph 2 Treffer
- Hofbauer, Dieter 2 Treffer
- Hopcroft, John E. (1939-) 2 Treffer
- Jungnickel, Dieter (1952-) 2 Treffer
- Kern-Isberner, Gabriele (1956-) 2 Treffer
- Kutsche, Ralf-Detlef (1955-) 2 Treffer
- Läuchli, Peter 2 Treffer
- Meier, Arne (1982-) 2 Treffer
- Mundhenk, Martin (1961-) 2 Treffer
- Peters, James F. 2 Treffer
- Reischuk, Rüdiger (1955-) 2 Treffer
- Siefkes, Dirk (1938-2016) 2 Treffer
- Ullman, Jeffrey D. (1942-) 2 Treffer
- Vollmer, Heribert (1964-) 2 Treffer
- Wegener, Ingo (1950-2008) 2 Treffer
- Aichernig, Bernhard K. 1 Treffer
- Aliev, Rafik A. (1942-) 1 Treffer
- Almeida, Francisco 1 Treffer
- Anlauff, Matthias 1 Treffer
- Apel, Joachim 1 Treffer
- Araki, Keijirō 1 Treffer
- Avenhaus, Jürgen (1941-) 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Barron, David W. (1935-) 1 Treffer
- Beckstein, Clemens (1960-) 1 Treffer
- Bense, Max (1910-1990) 1 Treffer
- Beutel, Peter 1 Treffer
- Biehl, Ingrid 1 Treffer
- Bittel, Oliver 1 Treffer
- Blum, Norbert (1954-) 1 Treffer
- Blundo, Carlo 1 Treffer
- Bläsius, Karl Hans 1 Treffer
- Bläsius, Karl Hans (1952-) 1 Treffer
- Bonfig, Karl W. (1941-) 1 Treffer
- Brandstädt, Andreas (1949-) 1 Treffer
- Brauer, Wilfried 1 Treffer
153 Treffer
-
Stuttgart [u.a.]: Teubner, 1996Monographie, Gedruckte RessourceZugriff:
-
5. Aufl.. - Heidelberg: Spektrum, Akad. Verl, 2012Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1996Monographie, Gedruckte RessourceZugriff:
-
2. Aufl.. - München [u.a.]: Addison-Wesley, 2002Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
2., überarbeitete und korrigierte Auflage. - Köln: Lehmanns Media, 2020Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
3., vollst. überarb. und erw. Aufl.. - Mannheim [u.a.]: BI-Wiss.-Verl, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2008Monographie, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliograph. Institut, 1968Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Wiesbaden: Teubner, 2005Monographie, Gedruckte RessourceZugriff:
-
Berlin: Lehmanns Media, 2015Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
1. Aufl.. - Braunschweig [u.a.]: Vieweg, 2000Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Steiner-Verl. Wiesbaden, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
2., überarb. und erw. Aufl.. - Wiesbaden: Vieweg, 2003Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
3., korr. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1994Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1992Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2002Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1992Monographie, Gedruckte RessourceZugriff: