Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Künstliche Intelligenz 9 Treffer
- Automatisches Beweisverfahren 6 Treffer
- Algorithmus 3 Treffer
- Constraint (Künstliche Intelligenz) 3 Treffer
- Deduktionssystem 3 Treffer
-
29 weitere Werte:
- Entscheidungsproblem 3 Treffer
- Lineare Optimierung 3 Treffer
- Mathematische Logik 3 Treffer
- Mechanik 3 Treffer
- Wissenschaftliches Rechnen 3 Treffer
- Computersimulation 2 Treffer
- Fehlerkorrekturcode 2 Treffer
- Kryptologie 2 Treffer
- Numerische Mathematik 2 Treffer
- Reduktionssystem 2 Treffer
- Statistische Physik 2 Treffer
- Algebraischer Algorithmus 1 Treffer
- Algorithmische Geometrie 1 Treffer
- C++ 1 Treffer
- Clifford-Algebra 1 Treffer
- Effizienter Algorithmus 1 Treffer
- Geometrische Algebra 1 Treffer
- Gruppentheorie 1 Treffer
- Gröbner-Basis 1 Treffer
- Integration (Mathematik) 1 Treffer
- Kommutative Algebra 1 Treffer
- Lineare Algebra 1 Treffer
- Modularität 1 Treffer
- Numerisches Verfahren 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Paralleler Algorithmus 1 Treffer
- Parallelverarbeitung 1 Treffer
- Polynom 1 Treffer
- Summierungsverfahren 1 Treffer
Form
Person
- Calmet, Jacques 7 Treffer
- Davenport, James Harold 2 Treffer
- Fitch, John 2 Treffer
- Fossorier, Marc (1964-) 2 Treffer
- Ganža, Viktor G. 2 Treffer
-
29 weitere Werte:
- Gerhard, Jürgen 2 Treffer
- Miola, Alfonso 2 Treffer
- Siret, Yvon 2 Treffer
- Stauffer, Dietrich (1943-2019) 2 Treffer
- Tournier, Evelyne 2 Treffer
- Winkler, Franz 2 Treffer
- Abłamowicz, Rafał 1 Treffer
- Armando, Alessandro 1 Treffer
- Becker, Thomas 1 Treffer
- Bronstein, Manuel 1 Treffer
- Buchberger, Bruno 1 Treffer
- Campbell, John Arthur 1 Treffer
- Della Dora, Jean 1 Treffer
- Donald, Bruce R. 1 Treffer
- Gianni, Patrizia 1 Treffer
- Gramlich, Bernhard 1 Treffer
- Hardy, Yorick (1976-) 1 Treffer
- Janssen, Rainer 1 Treffer
- Kirchner, Hélène 1 Treffer
- Kreuzer, Edwin 1 Treffer
- Li, Hongbo 1 Treffer
- Mishra, Bhubaneswar (1958-) 1 Treffer
- Pavelle, Richard 1 Treffer
- Steeb, Willi-Hans (1945-) 1 Treffer
- Tan, Kiat Shi (1972-) 1 Treffer
- Weispfenning, Volker 1 Treffer
- Yap, Chee Keng 1 Treffer
- Zippel, Richard E. (1952-) 1 Treffer
- Zur Gathen, Joachim von 1 Treffer
42 Treffer
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Monographie, Hochschulschrift, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, Mass. [u.a.]: Kluwer Acad. Publ, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Basel [u.a.]: Birkhäuser, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Oxford University Press, 2000Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: