Order Total (1 Item Items):
Shipping Destination:
Biere Armin (139 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (139)
- 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 (125)
- As New, Fine or Near Fine (12)
- Very Good or Good (2)
- 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 (84)
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.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
-
Paperback. Condition: 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
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
£ 40.27
£ 11.98 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
£ 40.27
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
£ 37.41
£ 15.49 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: 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 Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.35
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Hardware and Software : Verification and Testing
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
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
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.02
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science, 4121)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 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
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013277198 ISBN 13: 9781013277191
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-10, 2020
ISBN 10: 1013277201 ISBN 13: 9781013277207
PF. Condition: New.
-
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
Paperback. 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.
-
-
Theory And Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 296.
-
Hardware and Software : Verification and Testing
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
