Order Total (1 Item Items):
Shipping Destination:
Biere Armin (151 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (151)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (139)
- As New, Fine or Near Fine (11)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (51)
- Not Print on Demand (87)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Condition: 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.
-
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems (Paperback or Softback)
Language: English
Published by Saint Philip Street Press 10/9/2020, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Paperback or Softback. Condition: New. Tools and Algorithms for the Construction and Analysis of Systems. Book.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 101327718X ISBN 13: 9781013277184
Condition: New.
-
Paperback or Softback. Condition: New. Digitaltechnik - Eine Praxisnahe Einfïż½hrung. Book.
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Condition: As New. Unread book in perfect condition.
-
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 56.17
US$ 16.11 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 56.17
US$ 16.11 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 51.80
US$ 20.83 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
US$ 51.95
US$ 20.83 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 101327721X ISBN 13: 9781013277214
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277198 ISBN 13: 9781013277191
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277198 ISBN 13: 9781013277191
Condition: New.
-
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 63.26
US$ 16.11 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 58.82
US$ 20.83 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
-
Tools And Algorithms For The Constructio
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Hardware and Software : Verification and Testing
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 62.26
US$ 20.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277198 ISBN 13: 9781013277191
Condition: As New. Unread book in perfect condition.
-
-
Theory and Applications of Satisfiability Testing - SAT 2006
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2006
ISBN 10: 3540372067 ISBN 13: 9783540372066
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 84.30
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: 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 issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more.
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.78
US$ 16.11 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
