Ergebnisse filtern
-
- 4
- 4
-
- 2
- 2
- 2
- 1
- 1
-
- 5
- 3
-
- 7
- 1
-
- 8
-
- 8
-
- 8
-
Kapur Computer Mathematics
8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87827-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar -
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: Springer International PublishingISBN: 978-3-319-67729-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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: Springer International PublishingISBN: 978-3-319-08587-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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: Springer International PublishingISBN: 978-3-319-47677-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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