E-Books - Mathematical foundations

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Price for Eshop: 1971 Kč (€ 78.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Einstein Manifolds

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Memorial Colloquium

Logic and Foundations of Science Paris, Institut Henri Poincare, 19-21 May 1964

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Design Theory: Volume 1

Price for Eshop: 3689 Kč (€ 147.6)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Design Theory: Volume 2

Price for Eshop: 3971 Kč (€ 158.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Wahrscheinlichkeitsrechnung und Statistik mit MATLAB

Anwendungsorientierte Einfuhrung fur Ingenieure und Naturwissenschaftler

Price for Eshop: 938 Kč (€ 37.5)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

"Das ist o. B. d. A. trivial!"

Tipps und Tricks zur Formulierung mathematischer Gedanken

Price for Eshop: 563 Kč (€ 22.5)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Gluck, Logik und Bluff

Mathematik im Spiel: Methoden, Ergebnisse und Grenzen

Price for Eshop: 957 Kč (€ 38.3)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Gluck, Logik und Bluff

Mathematik in Spiel - Methoden, Ergebnisse und Grenzen

Price for Eshop: 957 Kč (€ 38.3)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online