Gesamtpreis (1 Artikel Artikel):
Versandziel:
nipkow tobias (111 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (111)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (37)
- Keine Print-on-Demand Angebote (90)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 4,55
Währung umrechnenEUR 7,07 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 57,82
Gebraucht ab EUR 11,62
Mehr entdecken Softcover
-
Isabelle/Hol: A Proof Assistant for Higher-Order Logic
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 17,51
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.83.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 62,53
Gebraucht ab EUR 17,41
Mehr entdecken Softcover
-
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 42,85
Währung umrechnenEUR 7,07 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 73,57
Gebraucht ab EUR 49,92
Mehr entdecken Softcover
-
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 43,09
Währung umrechnenEUR 7,07 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. 0387582339 Ex-library paperback in very nice condition with the usual markings and attachments.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 57,82
Gebraucht ab EUR 50,16
Mehr entdecken Softcover
-
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 43,75
Währung umrechnenEUR 7,07 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 57,82
Gebraucht ab EUR 50,82
Mehr entdecken Softcover
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science (2083))
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 46,01
Währung umrechnenEUR 5,31 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 110,38
Gebraucht ab EUR 51,32
Mehr entdecken Softcover
-
Concrete Semantics: With Isabelle/HOL
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,29
Währung umrechnenEUR 3,53 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 57,82
Gebraucht ab EUR 126,65
Mehr entdecken Softcover
-
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,71
Währung umrechnenEUR 3,53 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 58,24
Gebraucht ab EUR 161,44
Mehr entdecken Softcover
-
EUR 58,69
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. 2014. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 86,53
Gebraucht ab EUR 58,69
Mehr entdecken Hardcover
-
Term Rewriting and All That
Verlag: Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 64,21
Währung umrechnenEUR 2,34 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 66,55
Gebraucht ab EUR 68,79
Mehr entdecken Softcover
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,27
Währung umrechnenEUR 14,09 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Term Rewriting and All That
Verlag: Cambridge University Press, 1998
ISBN 10: 0521455200 ISBN 13: 9780521455206
Sprache: Englisch
EUR 72,95
Währung umrechnenEUR 3,32 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 393,24
Gebraucht ab EUR 76,27
Mehr entdecken Hardcover
-
EUR 93,43
Währung umrechnenEUR 3,53 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. minor shelf wear Satisfaction 100% guaranteed.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 125,67
Gebraucht ab EUR 96,96
Mehr entdecken Softcover
