CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 25 of 30 Results
1.
Term Rewriting and All That
Term Rewriting and All That by Baader, Franz, Nipkow, Tobias ISBN: 9780521779203 List Price: $48.00
$50.89
2.
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, ...
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, ... by Berghofer, Stefan, Nipkow, ... ISBN: 9783642033582 List Price: $99.00
$51.31 (Save 48%)
3.
Isabelle/Hol A Proof Assistant for Higher-Order Logic
Isabelle/Hol A Proof Assistant for Higher-Order Logic by Nipkow, Tobias, Paulson, L.... ISBN: 9783540433767 List Price: $69.95
$56.95 (Save 18%)
4.
Types for Proofs and Programs International Workshop Types '93, Nijmegen, the Netherlands, M...
Types for Proofs and Programs International Workshop Types '93, Nijmegen, the Netherlands, M... by Barendregt, Hank, Nipkow, T... ISBN: 9780387580852 List Price: $74.95

OUT OF STOCK

See Availability on Amazon
5.
FM 2006:Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, Augu...
FM 2006:Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, Augu... by Misra, Jayadev, Nipkow, Tob... ISBN: 9783540372158 List Price: $100.00
$74.62 (Save 25%)
6.
Rewriting Techniques and Applications 9th International Conference, Rta-98 Tsukuba, Japan, M...
Rewriting Techniques and Applications 9th International Conference, Rta-98 Tsukuba, Japan, M... by Nipkow, T., Goos, G., Hartm... ISBN: 9783540643012 List Price: $79.95
$52.33 (Save 34%)
7.
Types for Proofs and Programs
Types for Proofs and Programs by Barendregt, H., Nipkow, T. ISBN: 9783540580850 List Price: $74.95
$52.33 (Save 30%)
8.
Automated Reasoning Proceedings of the First International Joint Conference, Ijcar 2001 Sien...
Automated Reasoning Proceedings of the First International Joint Conference, Ijcar 2001 Sien... by Gore, Rajeev, Leitsch, Alex... ISBN: 9783540422549 List Price: $105.00
$103.17 (Save 1%)
9.
Stages of Faith and Religious Development: Implications for Church, Education and Society - ...
Stages of Faith and Religious Development: Implications for Church, Education and Society - ... by Fowler, James W., Nipkow, K... ISBN: 9780824510954 List Price: $27.50
$1.25 (Save 95%)
10.
God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity (E...
God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity (E... by Karl Ernst Nipkow ISBN: 9780754608639 List Price: $119.95

OUT OF STOCK

See Availability on Amazon
11.
God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity (E...
God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity (E... by Karl Ernst Nipkow ISBN: 9780754608721 List Price: $39.95
$19.66 (Save 50%)
12.
Concrete Semantics : A Proof Assistant Approach
Concrete Semantics : A Proof Assistant Approach by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319105413 List Price: $69.99
$78.49
13.
Concrete Semantics : With Isabelle/Hol
Concrete Semantics : With Isabelle/Hol by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319357591 List Price: $79.99
$51.31 (Save 35%)
14.
Protecting Birds from Powerlines
Protecting Birds from Powerlines by Haas, D., Nipkow, M., Fiedl... ISBN: 9789287156303 List Price: $15.00

OUT OF STOCK

See Availability on Amazon
15.
Software Safety and Security : Tools for Analysis and Verification
Software Safety and Security : Tools for Analysis and Verification by Nipkow, T., Grumberg, O. ISBN: 9781614990277 List Price: $196.00

OUT OF STOCK

See Availability on Amazon
16.
Concrete Semantics : With Isabelle/Hol
Concrete Semantics : With Isabelle/Hol by Nipkow, Tobias, Klein, Gerwin ISBN: 9783319105437 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
17.
Isabelle/Hol
Isabelle/Hol by Nipkow, Tobias, Paulson, La... ISBN: 9783662182291 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
18.
Automated Reasoning
Automated Reasoning by Gore, Rajeev, Leitsch, Alex... ISBN: 9783662171196 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
19.
Types for Proofs and Programs
Types for Proofs and Programs by Barendregt, Henk, Nipkow, T... ISBN: 9783662204559 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
20.
Rewriting Techniques and Applications
Rewriting Techniques and Applications by Nipkow, Tobias ISBN: 9783662193471 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
21.
Gott in Bedrangnis?: Zur Zukunftsfahigkeit von Religionsunterricht, Schule und Kirche
Gott in Bedrangnis?: Zur Zukunftsfahigkeit von Religionsunterricht, Schule und Kirche by Karl Ernst Nipkow ISBN: 9783579081137

OUT OF STOCK

See Availability on Amazon
22.
Christliche Pdagogik und Interreligises Lernen -Friedenserziehung - Religions- und Ethikunte...
Christliche Pdagogik und Interreligises Lernen -Friedenserziehung - Religions- und Ethikunte... by Karl Ernst Nipkow ISBN: 9783579052229

OUT OF STOCK

See Availability on Amazon
23.
Heizung, l�ftung, Elektrizit�t : Energietechnik Im Geb�ude
Heizung, l�ftung, Elektrizit�t : Energietechnik Im Geb�ude by Nipkow, J�rg, Baumgartner, ... ISBN: 9783519150541

OUT OF STOCK

See Availability on Amazon
24.
Term Rewriting+all That
Term Rewriting+all That by Baader, Franz, Nipkow, Tobias ISBN: 9780521455206 List Price: $83.99

OUT OF STOCK

See Availability on Amazon
25.
Sinnverlust und Sinnorientierung in der Erziehung. Rekonstruktionen aus pädagogischer und th...
Sinnverlust und Sinnorientierung in der Erziehung. Rekonstruktionen aus pädagogischer und th... by Karl Ernst Nipkow, Johannes... ISBN: 9783781510883

OUT OF STOCK

See Availability on Amazon
Showing 1 - 25 of 30 Results - Browse more Nipkow in all departments
1 2 | ▶