Constraint solving over multi-valued logics : application to digital circuits /

Function algebras on finite sets : a basic course on many-valued logic and clone theory /
by: Lau, Dietlinde
Published: (2006)

Constraint networks : techniques and algorithms /
by: Lecoutre, Christophe
Published: (2009)

Digital electronics : principles, devices and applications /
by: Maini, Anil Kumar
Published: (2007)

Recent advances in constraints : 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers /
Published: (2011)

Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 : revised selected papers /
Published: (2008)

The theory of constraints : applications in quality and manufacturing /
by: Stein, Robert E., 1949-
Published: (1997)

Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers /
Published: (2007)

Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
Published: (2005)

Power management of digital circuits in deep sub-micron CMOS technologies /
by: Henzler, S. (Stephan)
Published: (2007)

Interdisciplinary approaches to digital transformation and innovation /
Published: (2020)

Digital electronics and devices /
by: Dube, D. C., et al.
Published: (2019)

E-Technologies and networks for development : first international conference, ICeND 2011, Dar Es Salaam, Tanzania, August 3-5, 2011 : proceedings /
Published: (2011)

Engineering digital design /
by: Tinder, Richard F. (Richard Franchere), 1930-2011
Published: (2000)

Complete digital design : a comprehensive guide to digital electronics and computer system architecture /
by: Balch, Mark
Published: (2003)

Integrated methods for optimization /
by: Hooker, John, 1949-
Published: (2007)

Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems /
by: Herde, Christian
Published: (2011)

Constraint theory : multidimensional mathematical model management /
by: Friedman, George J.
Published: (2005)

Digital circuit boards : Mach 1 GHz /
by: Morrison, Ralph
Published: (2012)

Managing development and application of digital technologies : research insights in the Munich Center for Digital Technology & Management (CDTM) /
Published: (2006)

Digital phase lock loops : architectures and applications /
by: Al-Araji, Saleh R.
Published: (2006)

Principles and practice of constraint programming : 15th international conference ; proceedings. CP 2009, Lisbon, Portugal, September 20 - 24, 2009 /
Published: (2009)

Synthesis of arithmetic circuits : FPGA, ASIC and embedded systems /
by: Deschamps, Jean-Pierre, 1945-
Published: (2006)

Principles and practice of constraint programming--CP 2006 : 12th international conference, CP 2006, Nantes, France, September 25-29, 2006 : proceedings /
Published: (2006)

Principles and practice of constraint programming-- CP 2011 : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, proceedings /
Published: (2011)

Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings /
Published: (2007)

Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
Published: (2010)

Principles of modern digital design /
by: Lala, Parag K., 1948-
Published: (2007)

Global optimization and constraint satisfaction : second international workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers /
Published: (2005)

Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers /
Published: (2006)

Functional and constraint programming : 20th International Workshop, WFIP 2011, Odense, Denmark, July 19th. proceedings /
Published: (2011)

Theory of constraints, lean, and six sigma improvement methodology : making the case for integration /
by: Sproull, Robert
Published: (2019)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings /
Published: (2009)

Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers /
Published: (2005)

Digital design and computer architecture /
by: Harris, David Money
Published: (2013)

Constraint satisfaction techniques for agent-based reasoning /
by: Neagu, Nicoleta, 1975-
Published: (2005)

FSM-based digital design using Verilog HDL /
by: Minns, Peter D.
Published: (2008)