Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Die Festung der Neuzeit in historischen Quellen
Produktform: Buch / Einband - flex.(Paperback)
Der neunte Band der Reihe „Festungsforschung“ wendet sich Schrift-, Bild- und Sachquellen zum frühneuzeitlichen Festungsbau zu, wie sie sich in Archiven, Bibliotheken, Privatsammlungen und Museen erhalten haben. In den Blick genommen wird, welche Aussagen zur Bauentwicklung, Funktionsweise und Nutzungsgeschichte einer Festung durch die Aufarbeitung historischer Quellen getroffen werden können.
39,95 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage