Importo totale (1 articolo articoli):
Destinazione ordine:
nipkow tobias (117 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (117)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (38)
- Non Print on Demand (94)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Isabelle/Hol: A Proof Assistant for Higher-Order Logic
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 10,52
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.83.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 52,67
Usato - A partire da EUR 10,42
Scopri anche Brossura
-
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 4,53
Convertire valutaEUR 7,05 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,60
Usato - A partire da EUR 11,58
Scopri anche Brossura
-
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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,68
Convertire valutaEUR 7,05 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 73,28
Usato - A partire da EUR 49,73
Scopri anche Brossura
-
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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,93
Convertire valutaEUR 7,05 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. 0387582339 Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,60
Usato - A partire da EUR 49,98
Scopri anche Brossura
-
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 43,58
Convertire valutaEUR 7,05 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,60
Usato - A partire da EUR 50,63
Scopri anche Brossura
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science (2083))
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 45,83
Convertire valutaEUR 5,29 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 109,95
Usato - A partire da EUR 51,12
Scopri anche Brossura
-
Concrete Semantics: With Isabelle/HOL
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,08
Convertire valutaEUR 3,52 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 57,60
Usato - A partire da EUR 126,80
Scopri anche Brossura
-
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,49
Convertire valutaEUR 3,52 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,01
Usato - A partire da EUR 161,63
Scopri anche Brossura
-
Concrete Semantics: With Isabelle/HOL
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,21
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. 2014. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 86,20
Usato - A partire da EUR 58,21
Scopri anche Rilegato
-
Term Rewriting and All That
Editore: Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Lingua: Inglese
Da: MostlyAcademic, Berrima, NSW, Australia
Valutazione del venditore 3 su 5 stelle
EUR 38,40
Convertire valutaEUR 30,82 per la spedizione da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: As New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 69,82
Usato - A partire da EUR 69,22
Scopri anche Brossura
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,33
Convertire valutaEUR 14,11 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Term Rewriting and All That
Editore: Cambridge University Press, 1998
ISBN 10: 0521455200 ISBN 13: 9780521455206
Lingua: Inglese
EUR 72,66
Convertire valutaEUR 3,31 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: 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!
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 378,08
Usato - A partire da EUR 75,97
Scopri anche Rilegato
-
EUR 94,57
Convertire valutaEUR 3,52 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. minor shelf wear Satisfaction 100% guaranteed.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 124,04
Usato - A partire da EUR 98,09
Scopri anche Brossura
