Handbook of Satisfiability : Volume 185 Frontiers in Artificial Intelligence and Applications

by Biere, Armin; Heule, Marijn; Van Maaren, Hans; et al.

• ISBN13: 9781586039295
• ISBN10: 1586039296
• Format: Hardcover

• Rental Textbook Copy In Stock Usually Ships in 24 Hours
• New Textbook Copy In Stock Usually Ships in 24 Hours
• Free Shipping On Orders Over $35!

Tools and Algorithms for the Construction and Analysis of Systems

by Biere, Armin; Parker, David

• ISBN13: 9783030451899
• ISBN10: 3030451895
• Format: Paperback

Tools and Algorithms for the Construction and Analysis of Systems

by Biere, Armin; Parker, David

• ISBN13: 9783030452360
• ISBN10: 3030452360
• Format: Paperback

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

by Biere, Armin; Gomes, Carla P.

• ISBN13: 9783540372066
• ISBN10: 3540372067
• Format: Paperback

Digitaltechnik - Eine Praxisnahe Einfahrung

by Biere, Armin; Kraning, Daniel; Weissenbacher, Georg; et al.

• ISBN13: 9783540777281
• ISBN10: 3540777288
• Format: Paperback

Hardware and Software

by Biere, Armin; Nahir, Amir; Vos, Tanja E. J.

• ISBN13: 9783642396106
• ISBN10: 3642396100
• Format: Paperback

Computer Aided Verification

by Biere, Armin; Bloem, Roderick

• ISBN13: 9783319088662
• ISBN10: 3319088661
• Format: Paperback

Digitaltechnik - Eine praxisnahe Einführung

by Armin Biere; Daniel Kröning; Georg Weissenbacher; et al.

• ISBN13: 9783540777298
• ISBN10: 3540777296
• Format: Nonspecific Binding

Hardware and Software: Verification and Testing

by Armin Biere

• ISBN13: 9783642396113
• ISBN10: 3642396119
• Format: Nonspecific Binding

Computer Aided Verification

by Armin Biere

• ISBN13: 9783319088679
• ISBN10: 331908867X
• Format: Nonspecific Binding