Ihre Suche ergab 11 Treffer.
A Cartographic Analysis of Soviet Military City Plans
Produktform: E-Buch Text Elektronisches Buch in proprietärem
181,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
A Cartographic Analysis of Soviet Military City Plans
Produktform: Buch / Einband - flex.(Paperback)
192,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
A Cartographic Analysis of Soviet Military City Plans
Produktform: Buch / Einband - fest (Hardcover)
192,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics.
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Produktform: Buch / Einband - flex.(Paperback)
This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics.
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz
Produktform: Buch / Einband - fest (Hardcover)
This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics.
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, 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
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Produktform: Buch / Einband - fest (Hardcover)
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the ÆtnaNova system, a program built to verify the correctness of mathematical proofs.
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage