Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 4
-
- 3
- 1
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Kapur Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55602-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hung / Kapur Theoretical Aspects of Computing - ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67728-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fränzle / Kapur / Zhan Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47676-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Demri / Kapur / Weidenbach Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08586-9Medium: 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