Ergebnisse für: computer-assisted proofs

Hier findest Du Bücher, die sich mit computer-assisted proofs beschäftigen.

Buch Cover Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Springer Singapore
149.79 € · Hardcover
...
Buch Cover Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Springer Singapore
139.09 € · eBook
...
Buch Cover Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Springer Singapore
149.79 € · Paperback
...
Buch Cover Computational Methods in Field Theory

Springer Berlin
85.59 € · Hardcover
...
Buch Cover Inequalities and Applications 2010

Springer Basel
106.99 € · Hardcover
...
Buch Cover Proof Technology in Mathematics Research and Teaching

Springer International Publishing
160.49 € · Hardcover
...
Buch Cover Mathematics, Computer Science and Logic - A Never Ending Story

Springer International Publishing
53.49 € · Hardcover
...
Buch Cover Students' language in computer-assisted tutoring of mathematical proofs

universaar - Universitätsverlag des Saarlandes
16.8 € · Buch
...
Buch Cover Types for Proofs and Programs

Springer Berlin
53.49 € · Paperback
...
Buch Cover Types for Proofs and Programs

Springer Berlin
53.49 € · eBook
...
Buch Cover Proof Technology in Mathematics Research and Teaching

Springer International Publishing
160.49 € · Paperback
...
Buch Cover Computational Methods in Field Theory

Springer Berlin
96.29 € · eBook
...
Buch Cover Proof Technology in Mathematics Research and Teaching

Springer International Publishing
149.79 € · eBook
...
Buch Cover Computational Methods in Field Theory

Springer Berlin
106.99 € · Paperback
...
Buch Cover Mathematics, Computer Science and Logic - A Never Ending Story

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Inequalities and Applications 2010

Springer Basel
106.99 € · Paperback
...
Buch Cover Inequalities and Applications 2010

Springer Basel
96.29 € · eBook
...
Buch Cover Mathematics, Computer Science and Logic - A Never Ending Story

Springer International Publishing
53.49 € · eBook
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden