Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4
- 3
- Erscheinungsjahr
-
- 1
- 1
- 1
- 1
- 2
- 1
- Autoren
-
- 2
- 3
- 3
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 5
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 3
- 3
- 2
- 9
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 3
- 2
- 9
- 4
- 3
- 2
- 5
- 2
- 9
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 8
- 2
- 3
- 3
- 2
- 4
- 5
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 8
- 5
- 2
- 3
- 2
- 3
- 3
- 5
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 6
- 2
- 3
- 4
- 3
- 2
- 3
- 2
- 5
- 5
- 5
- 8
- 4
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 8
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 6
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 5
- 4
- 5
- 5
- 5
- 3
- 4
- 3
- 3
- 3
- 8
- 6
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 8
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 5
- 3
- 3
- 6
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 5
- 5
- 3
- 3
- 5
- 9
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 5
- 3
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 6
- 6
- 5
- 5
- 6
- 3
- 8
- 5
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 5
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 8
- 3
- 3
- 3
- 3
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 5
- 4
- 5
- 4
- 6
- 3
- 5
- 3
- 3
- 8
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 7
- 3
- 9
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 4
- 4
- 8
- 3
- 3
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 5
- 5
- 5
- 3
- 3
- 3
- 6
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 8
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 7
- 5
- 3
- 3
- 3
- 4
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 4
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 9
- 4
- 3
- 4
- 3
- 3
- 5
- 7
- 3
- 3
- 3
- 5
- 3
- 4
- 4
- 4
- 4
- 3
- 8
- 4
- 3
- 6
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 8
- 3
- 8
- 3
- 4
- 4
- 3
- 5
- 6
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 8
- 5
- 5
- 7
- 5
- 4
- 4
- 4
- 5
- 4
- 4
- 4
- 5
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 4
- 7
- 4
- 4
- 5
- 3
- 3
- 4
- 4
- 8
- 5
- 6
- 3
- 7
- 7
- 5
- 4
- 4
- 5
- 4
- 4
- 4
- 6
- 5
- 5
- 5
- 6
- 5
- 8
- 3
- 11
- 8
- 5
- 3
- 5
- 5
- 4
- 7
- 4
- 7
- 5
- 4
- Verlag
-
- 1
- 3
- 3
- Preis
-
- 1
- 5
- 1
- Sprachen
-
- 6
- 1
- Verfügbarkeit
-
- 7
- Katalog
-
- 7
Artikel pro Seite:
Sortierung nach:
-
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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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ügbar96,29 € (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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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ügbar53,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ügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deutsche Gesellschaft für Festungsforschung / Thewes / Kettlitz Die Festung der Neuzeit in historischen Quellen
1. Auflage 2018Verlag: Schnell & SteinerISBN: 978-3-7954-3266-9Medium: Buch39,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage39,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Artikel pro Seite:
Sortierung nach:
vorherige Seite
nächste Seite
Artikel pro Seite:
Sortierung nach:
Bitte ändern Sie das Passwort