Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Ghilardi / Sebastiani Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04221-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Galmiche / Schulz / Sebastiani Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94204-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lalmas / Jose / Rauber Research and Advanced Technology for Digital Libraries
14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15463-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort