Biere armin (162 risultati)

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,83

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems

Lingua: Inglese

Editore: Saint Philip Street Press, 2020

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 49,76

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems (Paperback or Softback)

Lingua: Inglese

Editore: Saint Philip Street Press 10/9/2020, 2020

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Biere, Armin; Parker, David

Condizione: Nuovo

EUR 52,11

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Tools and Algorithms for the Construction and Analysis of Systems. Book.

Tools and Algorithms for the Construction and Analysis of Systems

Lingua: Inglese

Editore: Saint Philip Street Press, 2020

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 52,57

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Anal

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

3030451895 / 9783030451899

Condizione: Nuovo

EUR 52,98

Spedizione gratuita

Spedito in U.S.A.

Quantità: 10 disponibili

Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Tools and Algorithms for the Construction and Anal

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

3032325889 / 9783032325884

Condizione: Nuovo

EUR 52,98

Spedizione gratuita

Spedito in U.S.A.

Quantità: 10 disponibili

Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I (Lecture Notes in Computer Science, 16688)

Lingua: Inglese

Editore: Springer, 2026

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)

Condizione: Nuovo

EUR 55,24

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hardware and Software : Verification and Testing

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 54,17

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Hardware and Software: Verification and Testing

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

Biere, Armin; Kraning, Daniel; Weissenbacher, Georg; Wintersteiger, Christoph M.

Condizione: Nuovo

EUR 57,54

Spedizione gratuita

Spedito in U.S.A.

Quantità: 10 disponibili

Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Digitaltechnik - Eine Praxisnahe Einfahrung -Language: German

Lingua: Tedesco

Editore: Springer, 2008

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 31,19

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Digitaltechnik - Eine Praxisnahe Einfï¿½hrung (Paperback or Softback)

Lingua: Tedesco

Editore: Springer 2/29/2008, 2008

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Biere, Armin; Kröning, Daniel; Weissenbacher, Georg; Wintersteiger, Christoph M.

Condizione: Nuovo

EUR 33,55

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Digitaltechnik - Eine Praxisnahe Einfï¿½hrung. Book.

Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)

Lingua: Tedesco

Editore: Springer, 2008

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Biere, Armin [Editor]; Gomes, Carla P. [Editor];

Condizione: Nuovo

EUR 33,86

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2006

Brossura

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

Venditore con 5 stelle

Condizione: Usato - Molto buono

EUR 52,47

EUR 6,05 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Tools and Algorithms for the Construction and Analysis of Systems

Lingua: Inglese

Editore: Saint Philip Street Press, 2020

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 57,05

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theory and Applications of Satisfiability Testing

Lingua: Inglese

Editore: Springer, 2006

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

Biere, Armin (EDT); Gomes, Carla P. (EDT)

Condizione: Nuovo

EUR 60,56

Spedizione gratuita

Spedito in U.S.A.

Quantità: 10 disponibili

Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Theory And Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings

Lingua: Inglese

Editore: Springer, 2006

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Biere, Armin; Parker, David

Condizione: Nuovo

EUR 58,55

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems

Lingua: Inglese

Editore: Saint Philip Street Press, 2020

101327718X / 9781013277184

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Armin Biere, David Parker

Condizione: Nuovo

EUR 61,48

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . (Lecture Notes in Computer Science, 12078)

Lingua: Inglese

Editore: Springer 2020-04-18, 2020

3030451895 / 9783030451899

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 44,97

EUR 18,08 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Paperback. Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conf

Lingua: Inglese

Editore: Springer 2020-04, 2020

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

3030451895 / 9783030451899

Condizione: Nuovo

EUR 45,10

EUR 18,08 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 48,76

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Biere, Armin; Parker, David

Condizione: Nuovo

EUR 48,76

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Tools and Algorithms for the Construction and Analysis of Systems

Lingua: Inglese

Editore: Saint Philip Street Press, 2020

101327721X / 9781013277214

Rilegato

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Biere, Armin; Kraning, Daniel; Weissenbacher, Georg; Wintersteiger, Christoph M.

Condizione: Nuovo

EUR 64,15

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Digitaltechnik - Eine Praxisnahe Einfahrung -Language: German

Lingua: Tedesco

Editore: Springer, 2008

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Biere, Armin (EDT); Gomes, Carla P. (EDT)

Condizione: Usato - Come nuovo

EUR 34,52

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theory And Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings

Lingua: Inglese

Editore: Springer, 2006

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Armin Biere, Amir Nahir, Tanja Vos

Condizione: Usato - Come nuovo

EUR 62,41

EUR 2,28 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised . Papers (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2013-07-19, 2013

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 51,06

EUR 18,08 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 54,91

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Theory and Applications of Satisfiability Testing - SAT 2006

Armin Biere

Lingua: Inglese

Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2006

Brossura

Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA

Venditore con 5 stelle

Condizione: Nuovo

EUR 69,17

Spedizione gratuita

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Paperback. Condizione: New. 2006 ed. This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issue…

Tools And Algorithms For The Constructio

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

Condizione: Nuovo

EUR 59,02

EUR 9,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Biere, Armin (EDT); Nahir, Amir (EDT); Vos, Tanja E. J. (EDT)

Condizione: Nuovo

EUR 66,63

EUR 3,45 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 415.

Hardware and Software : Verification and Testing

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle