Sell, buy or rent Armin Biere textbooks
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)
by
Armin Biere, Carla P. Gomes
ISBN-13: 9783540372066
ISBN-10: 3540372067
Edition: 2006
Publisher:
Springer
Format:
Paperback
452 pages
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science, 8559)
by
Armin Biere, Roderick Bloem
ISBN-13: 9783319088662
ISBN-10: 3319088661
Edition: 2014
Publisher:
Springer
Format:
Paperback
911 pages
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)
by
Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger
ISBN-13: 9783540777281
ISBN-10: 3540777288
Edition: 2008
Publisher:
Springer
Format:
Paperback
240 pages