Catalogo · 9781607503767
Handbook of Satisfiability
ISBN 9781607503767
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere
Theory and applications of satisfiability testing -- SAT 2006
Armin Biere
Hardware and Software: Verification and Testing
Armin Biere
Digitaltechnik - eine praxisnahe Einfu hrung
Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger
Computer Aided Verification
Armin Biere, Roderick Bloem
Handbook of Satisfiability
Frontiers in Artificial Intelligence and Applications
Armin Biere
Verba volant · scripta manent