Importo totale (1 articolo articoli):
Destinazione ordine:
nipkow tobias (138 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (138)
- 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 Maggiori informazioni
- Nuovo (109)
- Come nuovo, Ottimo o Quasi ottimo (13)
- Molto buono o Buono (16)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
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 (47)
- Non Print on Demand (109)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
EUR 6,87
Convertire valutaEUR 4,50 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 62,46
Usato - A partire da EUR 11,37
Scopri anche Brossura
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence, Band 2083).
Editore: Berlin, Heidelberg: Springer-Verlag, 2001
ISBN 10: 3540422544 ISBN 13: 9783540422549
Lingua: Inglese
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
EUR 23,06
Convertire valutaEUR 9,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Sehr gut. Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 708 Seiten, Englisch 1030g.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 101,97
Usato - A partire da EUR 33,01
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 54,13
Convertire valutaEUR 10,36 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Concrete Semantics: With Isabelle/Hol
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 57,25
Convertire valutaEUR 8,72 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.36.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 78,32
Usato - A partire da EUR 65,97
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 4 su 5 stelle
EUR 37,47
Convertire valutaEUR 29,84 per la spedizione da Australia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: As New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 76,37
Usato - A partire da EUR 67,31
Scopri anche Brossura
-
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 364203358X ISBN 13: 9783642033582
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 158,13
Scopri anche Brossura
-
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Editore: Springer Berlin Heidelberg, 1994
ISBN 10: 3540582339 ISBN 13: 9783540582335
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 105,56
Scopri anche Brossura
-
Concrete Semantics: With Isabelle/HOL
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,29
Convertire valutaEUR 10,36 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,93
Usato - A partire da EUR 124,05
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,39
Convertire valutaEUR 64,03 per la spedizione da U.S.A. a ItaliaQuantità: 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 58,07
Usato - A partire da EUR 68,42
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: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 70,18
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 70,18
Usato - A partire da EUR 81,41
Scopri anche Brossura
-
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Editore: Springer Berlin Heidelberg, 1998
ISBN 10: 354064301X ISBN 13: 9783540643012
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 106,19
Scopri anche Brossura
-
Software Safety and Security: Tools for Analysis and Verification: 33 (NATO Science for Peace and Security Series D: Information and Communication Security)
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 80,37
Convertire valutaEUR 10,21 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
Term Rewriting and All That
Editore: Cambridge University Press, 1998
ISBN 10: 0521455200 ISBN 13: 9780521455206
Lingua: Inglese
EUR 70,28
Convertire valutaEUR 30,73 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 389,76
Usato - A partire da EUR 101,01
Scopri anche Rilegato
-
EUR 93,33
Convertire valutaEUR 21,34 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. minor shelf wear Satisfaction 100% guaranteed.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 119,90
Usato - A partire da EUR 114,67
Scopri anche Brossura
