Yazar
Armin Biere
8 cilt bulundu.
Armin Biere · Springer International Publishing AG
470 sayfa · 2020
Expert systems / knowledge-based systems / Algorithms & data structures / Systems analysis & design / Computer science / Mathematical theory of computation
Armin Biere · Springer Berlin Heidelberg
287 sayfa · 2013
Mathematical Logic and Formal Languages / Software engineering / Logic design / Logics and Meanings of Programs / Computer science
Armin Biere · Springer
439 sayfa · 2006
Computer algorithms / Propositional calculus / Congresses / Decision making / Boolean Algebra
Armin Biere · IOS Press
980 sayfa · 2009
Computer algorithms / Propositional calculus / Congresses / Decision making / Boolean Algebra
Armin Biere, Roderick Bloem · Springer London, Limited
894 sayfa · 2014
Computer software, verification / Computer science / Computer network architectures / Software engineering / Logic design
Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · Springer
226 sayfa · 2008
Digitalschaltung / Lehrbuch