Ergebnisse filtern
-
- 3
- 2
-
- 2
- 2
- 1
-
- 3
- 5
- 2
- 2
- 2
-
- 2
- 3
-
- 5
-
- 5
-
- 5
-
- 5
-
Coppo / Berardi Types for Proofs and Programs
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61780-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Berardi / Damiani / Coppo Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22164-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Berardi / Coppo / Damiani Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected PapersErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-24849-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Coppo / Lodi / Pinna Theoretical Computer Science
9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32024-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Coppo / Pinna / Lodi Theoretical Computer Science
9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29106-0Medium: 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
