Importo totale (1 articolo articoli):
Destinazione ordine:
daniel kroening (159 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (159)
- 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 (125)
- Come nuovo, Ottimo o Quasi ottimo (23)
- Molto buono o Buono (11)
- 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 (70)
- Non Print on Demand (106)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
EUR 5,42
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 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.
-
Das Wäre Alles: Teil I: Ein gigantischer Witz
Lingua: Tedesco
Editore: CreateSpace Independent Publishing Platform, 2017
ISBN 10: 1981945695 ISBN 13: 9781981945696
EUR 7,82
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 34,20
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 38,93
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Decision Procedures
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2018
ISBN 10: 3662570653 ISBN 13: 9783662570654
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 41,33
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. Softcover reprint of the original 2nd ed. 2016.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 33,75
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
hardcover. 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!
-
Decision Procedures : An Algorithmic Point of View
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 33,74
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking, second edition (Cyber Physical Systems Series)
Libro 1 di 3: Cyber Physical Systems SeriesDa: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
-
Model Checking, second edition (Cyber Physical Systems Series)
Libro 1 di 3: Cyber Physical Systems SeriesDa: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
-
Model Checking, second edition (Cyber Physical Systems Series)
Libro 1 di 3: Cyber Physical Systems SeriesDa: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Model Checking, second edition (Cyber Physical Systems Series)
Libro 1 di 3: Cyber Physical Systems SeriesDa: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Model Checking, second edition (Cyber Physical Systems Series)
Libro 1 di 3: Cyber Physical Systems SeriesDa: Dream Books Co., Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good. Pages are clean with no markings. May show minor signs of wear or cosmetic defects marks, cuts, bends, or scuffs on the cover, spine, pages, or dust jacket. May have remainder marks on edges.
-
Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 50,62
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 36,40
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,30
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,64
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Validation of Evolving Software
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,68
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking, second edition (Cyber Physical Systems Series)
Libro 1 di 3: Cyber Physical Systems SeriesDa: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Fine.
-
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised. Book.
-
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 34,38
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Decision Procedures : An Algorithmic Point of View
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 57,15
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Decision Procedures
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2017
ISBN 10: 3662504960 ISBN 13: 9783662504963
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,54
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. 2nd ed. 2016.
-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 45,98
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... (Lecture Notes in Computer Science, 6504)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,51
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Programming and Software Engineering)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,51
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Validation of Evolving Software
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 61,51
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Hardware and Software : Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,25
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Decision Procedures: An Algorithmic Point of View
Libro 42 di 45: Texts in Theoretical Computer Science. An EATCSDa: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Validation of Evolving Software
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,32
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
