Ergebnisse filtern
-
- 5
- 4
-
- 1
- 1
- 4
- 2
- 1
-
- 1
- 1
- 9
- 1
- 2
- 6
- 2
- 6
-
- 1
- 4
- 4
-
- 7
- 2
-
- 9
-
- 9
-
- 9
-
Hutter / Stephan Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday2005Verlag: SpringerISBN: 978-3-540-32254-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Ullmann / Hutter Security in Pervasive Computing
Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25521-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stephan / Hutter Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hutter / Ullmann Security in Pervasive Computing
Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32004-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hutter / Müller / Stephan Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised PapersErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-39881-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hutter / Stephan / Traverso Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-48257-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hutter / Ullmann / Stephan Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66462-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bundy / Basin / Hutter Rippling
Meta-Level Guidance for Mathematical ReasoningErscheinungsjahr 2005Verlag: Cambridge University PressISBN: 978-0-521-83449-0Medium: Buch127,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hutter / Ullmann / Müller Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20887-7Medium: 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
