Biere, Armin
Beliebte Artikel von Biere, Armin
Alle Angebote anzeigen-
Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch)
Armin Biere; Daniel Kroening; Georg Weissenbacher; Christoph Wintersteiger
Artikelpreise ab
7 Angebote anzeigenEUR 6,08
-
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Artikelpreise ab
8 Angebote anzeigenEUR 61,27
Entdecken Sie auch
Neu -
-
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, Band 4121)
Gomes, Carla P.; Biere, Armin
Artikelpreise ab
2 Angebote anzeigenEUR 61,76
Entdecken Sie auch
Neu -
-
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 185, Band 185)
Artikelpreise ab
1 Angebot anzeigenEUR 312,24
Entdecken Sie auch
Neu -
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Artikelpreise ab
3 Angebote anzeigenEUR 117,80
Entdecken Sie auch
Neu -
Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications, 336)
Artikelpreise ab
6 Angebote anzeigenEUR 274,77
Entdecken Sie auch
Neu
