1994 IEEE Symposium on Low Power Electronics by IEEE Solid-State Circuits Council - 1994 - 104 pages |

49 easy electronic projects for the 747 dual op amp by Delton T. Horn - 1990 - 175 pages |

6800 programming for logic design by Adam Osborne - 1977 - 309 pages |

A DDC bibliography on computer-aided logical processes by Defense Documentation Center (U.S.) - 1969 |

A DDC bibliography on computer-aided logical processes by Defense Documentation Center (U.S.) - 1968 |

A Guide to Working With Visual Logic by Thad Crews, Chip Murphy - 2008 - 144 pages |

A resolution principle for a logic with restricted quantifiers - 1991 |

A Tight, Practical Integration of Relations and Functions by Harold Boley - 1999 - 169 pages |

Adaptive Array Principles by J. E. Hudson - 1981 - 253 pages |

Advanced Array Systems, Applications and Rf Technologies by Nicholas Fourikis - 2000 - 362 pages |

Advanced Metallization and Interconnect Systems for ULSI Applications in 1996: by University of California, Berkeley. Continuing Education in Engineering - 1997 - 608 pages |

Advances in Technological Applications of Logical and Intelligent Systems - 2009 - 285 pages |

Algebraic and Logic Programming by Jan Grabowski, Pierre Lescanne, Wolfgang Wechler - 1988 - 278 pages |

An Object-Oriented Approach to Programming Logic and Design by Joyce Farrell - 2010 - 543 pages |

Analogical and Inductive Inference by Klaus P. Jantke - 1989 - 338 pages |

Application-Specific Mesh-Based Heterogeneous Fpga Architectures by Husain Parvez - 2011 - 150 pages |

Architecture and CAD for deep-submicron FPGAs by Vaughn Betz, Jonathan Rose, Alexander Marquardt - 1999 - 247 pages |

Arithmetic built-in self-test for embedded systems by Janusz Rajski, Jerzy Tyszer - 1998 - 268 pages |

Artificial Intelligence in Logic Design by Svetlana N. Yanushkevich - 2004 - 334 pages |

Artificial neural networks - 1990 - 130 pages |

Artificial neural networks - 1990 - 130 pages |

Automated theorem-proving in non-classical logics by Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer - 1988 - 154 pages |

Autopilot logic for the flare maneuver of STOL aircraft by Thomas Lynn Trankle - 1975 - 93 pages |

Axiomatising the logic of computer programming by Robert Goldblatt - 1982 - 304 pages |

Bebop to the Boolean boogie by Clive Maxfield - 1995 - 471 pages |

Circuits à transistors pour calculateurs numériques by Abraham I. Pressman - 1963 - 342 pages |

Code by Lessig, Lawrence - 2009 - 380 pages |

Code by Lessig, Lawrence - 2009 - 448 pages |

Code by Lessig, Lawrence - 2009 - 464 pages |

Code by Lessig, Lawrence - 2009 - 412 pages |

Code by Lessig, Lawrence - 2009 - 520 pages |

Code by Lessig, Lawrence - 2009 - 516 pages |

Code by Lessig, Lawrence - 2009 - 460 pages |

Code by Lessig, Lawrence - 2009 - 428 pages |

Code by Lessig, Lawrence - 2009 - 444 pages |

Code by Lawrence Lessig - 2009 - 440 pages |

Code by Lessig, Lawrence - 2009 - 468 pages |

Code by Lessig, Lawrence - 2009 - 380 pages |

Code by Lessig, Lawrence - 2009 - 428 pages |

Code by Lessig, Lawrence - 2009 - 416 pages |

Code by Lawrence Lessig - 2009 - 444 pages |

Code by Lessig, Lawrence - 2009 - 420 pages |

Code by Lessig, Lawrence - 2009 - 428 pages |

Computability In Context by S. S. Barry Cooper - 2011 - 410 pages |

Computation as logic by René Lalement - 1993 - 387 pages |

Computer Arithmetic by Mircea Vlăduţiu - 2012 - 267 pages |

Computer engineering handbook by Chi-hau Chen - 1992 - 688 pages |

Computer logic, testing and verification by John Paul Roth - 1980 - 176 pages |

Computer logic, testing, and verification by John Paul Roth - 1980 - 176 pages |

Computer programming for technology and engineering by John W. Carter - 1999 - 465 pages |

Computer-aided logic design by Robert M. McDermott - 1985 - 432 pages |

CSL '88 by Egon Börger, Hans Kleine Büning, Michael M. Richter - 1989 - 399 pages |

Current Trends in Concurrency by Jacobus Willem Bakker - 1986 - 716 pages |

Declarative knowledge by Wlodek Zadrozny - 1995 - 133 pages |

Delta-4, a generic architecture for dependable distributed computing - 1991 - 484 pages |

Delta-4, a generic architecture for dependable distributed computing - 1991 - 484 pages |

Designing with FPGAs and CPLDs by Jesse H. Jenkins - 1994 - 273 pages |

Disjunctive logic programming by Donald W. Loveland, Arcot Rajasekar - 1994 - 140 pages |

Distributed Constraint Logic Programming by H. F. Leung - 1993 - 326 pages |

Eigenschaftsorientierte Beschreibung Der Logischen Architektur Eingebetteter Systeme by David Trachtenherz - 2010 - 442 pages |

Eigenschaftsorientierte Beschreibung Der Logischen Architektur Eingebetteter Systeme by David Trachtenherz - 2010 - 442 pages |

Electronics System Design Techniques for Safety Critical Applications by Luca Sterpone - 2008 - 146 pages |

EPLD support for the BEDROC system by Mushka Ghosh, Cornell University - 1993 - 224 pages |

ESOP 86 by Bernard Robinet - 1986 - 374 pages |

Extensions of Logic Programming by Peter Schroeder-Heister - 1991 - 364 pages |

Fairchild advanced CMOS technology by Fairchild Camera and Instrument Corporation. Digital Unit - 1985 |

FAST applications handbook, 1987 by National Semiconductor Corporation - 1987 |

Festschrift in honor of Jack Minker by Arcot Rajasekar - 1995 - 225 pages |

Field programmable gate arrays (FPGAs) for fast board development and reconfigurable computing by John Schewel, Society of Photo-optical Instrumentation Engineers - 1995 - 222 pages |

Field-Programmable Logic and Application by Manfred Glesner, Peter Zipf, Michel Renovell - 2002 - 1187 pages |

Field-Programmable Logic and Application by Manfred Glesner, Peter Zipf, Michel Renovell - 2002 - 1187 pages |

Field-Programmable Logic and Applications by Gordon Brebner, Roger Woods - 2001 - 665 pages |

Field-Programmable Logic and Applications by Gordon Brebner, Roger Woods - 2001 - 665 pages |

Field-Programmable Logic and Applications by Gordon Brebner, Roger Woods - 2001 - 665 pages |

Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing by Reiner W. Hartenstein, Herbert Grünbacher - 2000 - 856 pages |

Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing - 2000 - 856 pages |

Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing by Reiner W. Hartenstein, Herbert Grünbacher - 2000 - 856 pages |

Fine- and Coarse-Grain Reconfigurable Computing by Stamatis Vassiliadis, Dimitrios Soudris - 2007 - 381 pages |

Fluid power logic circuit design by Peter Rohner - 1979 - 226 pages |

Fluid power logic circuit design by Peter Rohner - 1979 - 226 pages |

Foundations of Equational Logic Programming by Steffen Hölldobler - 1989 - 250 pages |

Foundations of Equational Logic Programming by Steffen Hölldobler - 1989 - 250 pages |

FPGA Design by Philip A. Simpson - 2010 - 151 pages |

FPGA-based implementation of signal processing systems by Roger Woods, John McAllister - 2008 - 364 pages |

From logic design to logic programming by Dominique Snyers, André Thayse - 1987 - 125 pages |

From mathematical constructivity to computer science by William Aspray - 1980 - 886 pages |

Fuji International Workshop on Functional Logic Programming by Masato Takeichi, Tetsuo Ida - 1995 - 329 pages |

Fundamentals of computer engineering by Herman Lam - 1988 - 490 pages |

Fundamentals of logic design by Charles H. Roth - 2004 - 687 pages |

Fundamentals of logic design by Charles H. Roth - 1985 - 676 pages |

Fundamentals of logic design by Charles H. Roth - 1985 - 676 pages |

Fundamentals of logic design by Charles H. Roth - 1985 - 676 pages |

Gate stack and silicide issues in silicon processing II - 2002 - 288 pages |

GCLA by Martin Aronsson - 1993 - 263 pages |

Graph-based proof procedures for horn clauses by Stan Raatz - 1990 - 147 pages |

Graph-based proof procedures for horn clauses by Stan Raatz - 1990 - 147 pages |

Graph-based proof procedures for horn clauses by Stan Raatz - 1990 - 147 pages |

Handbook of FPGA Design Security by Ted Huffmire - 2010 - 177 pages |

HCA62A00 series macrocell arrays design manual by Edward Evans, John McCaffrey, Motorola, inc - 1987 |

ILP 2004 by Rui Camacho - 2004 - 358 pages |

ILP 2004 by Rui Camacho - 2004 - 358 pages |

Inductive Logic Programming by Paolo Frasconi, Francesca A. Lisi - 2011 - 278 pages |

Inductive Logic Programming by Tamas Horváth, Akihiro Yamamoto - 2003 - 400 pages |

Inductive Logic Programming by Tamas Horváth, Akihiro Yamamoto - 2003 - 400 pages |

Integrated electronics by Joseph J. Carr - 1990 - 609 pages |

Introduction to Boolean algebra and logic design by Gerhard E. Hoernes, Melvin F. Heilweil - 1964 - 306 pages |

Introduction to computer engineering by Richard E. Haskell - 1993 - 632 pages |

Introduction to Reconfigurable Supercomputing by Marco Lanzagorta, Stephen Bique, Robert Rosenberg - 2010 - 104 pages |

Introductory logic and formal methods by David Heath, Derek Allum, Lynne Dunckley - 1994 - 224 pages |

Iteration theories by Stephen L. Bloom, Zoltán Ésik - 1993 - 630 pages |

Just Enough Programming Logic and Design by Joyce Farrell - 2012 - 256 pages |

Just Enough Programming Logic and Design by Joyce Farrell - 2009 - 243 pages |

Logic and computer science by Piergiorgio Odifreddi - 1990 - 430 pages |

Logic and Integer Programming by H. P. Williams - 2009 - 155 pages |

Logic Based Program Synthesis and Transformation by Patricia Hill - 2006 - 178 pages |

Logic Based Program Synthesis and Transformation by M. Leuschel - 2003 - 279 pages |

Logic Based Program Synthesis and Transformation by M. Leuschel - 2003 - 279 pages |

Logic design by Glen G. Langdon - 1974 - 179 pages |

Logic design by Glen G. Langdon - 1974 - 179 pages |

Logic Design for Behavioral Scientists by Roy Udolf - 1973 - 271 pages |

Logic design of digital systems by Donald Leo Dietmeyer - 1988 - 638 pages |

Logic design principles by Edward J. McCluskey - 1986 - 549 pages |

Logic design principles by Edward J. McCluskey - 1986 - 549 pages |

Logic design theory by Nripendra Nath Biswas - 1993 - 306 pages |

Logic for Computer Scientists by Uwe Schöning - 2008 - 166 pages |

Logic for Computer Scientists by Uwe Schöning - 2008 - 166 pages |

Logic for Programming, Artificial Intelligence, and Reasoning - 2007 - 562 pages |

Logic in Computer Science by M. Huth, Mark D. Ryan - 2000 - 387 pages |

Logic in Computer Science by M. Huth, Mark D. Ryan - 2000 - 387 pages |

Logic machines and diagrams by Martin Gardner - 1982 - 165 pages |

Logic of programming and calculi of discrete design - 1987 - 413 pages |

Logic of programming and calculi of discrete design - 1987 - 413 pages |

Logic of Programs by Erwin Engeler - 1981 - 245 pages |

Logic Pro 7 And Logic Express 7 by Martin Sitter - 2005 - 591 pages |

Logic Program Synthesis and Transformation by Maurizio Proietti - 1996 - 266 pages |

Logic program synthesis and transformation by Yves Deville, British Computer Society - 1994 - 245 pages |

Logic program synthesis and transformation by Timothy Paul Clement, Association for Logic Programming - 1992 - 337 pages |

Logic programming by Joxan Jaffar - 1998 - 360 pages |

Logic Programming by Leon Sterling - 1995 - 834 pages |

Logic Programming by David S. Warren - 1993 - 854 pages |

Logic programming by Anthony Dodd, Tony Dodd, Richard Owens, Stephen B. Torrance - 1991 - 208 pages |

Logic programming by Yves Deville - 1990 - 338 pages |

Logic Programming by G Levi - 1989 - 692 pages |

Logic programming - 1987 - 1056 pages |

Logic programming - 1987 - 1056 pages |

Logic Programming and Automated Reasoning by Andrei Voronkov - 1993 - 386 pages |

Logic Programming and Nonmonotonic Reasoning by Chitta Baral - 2005 - 454 pages |

Logic Programming and Nonmonotonic Reasoning by Chitta Baral - 2005 - 454 pages |

Logic programming for parallel implementation by Allen Van Gelder - 1986 - 200 pages |

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning by Marcello Balduccini, Tran Cao Son - 2011 - 513 pages |

Logic, algebra, and computation by Friedrich Ludwig Bauer - 1991 - 485 pages |

Logic-Based Program Synthesis and Transformation by Annalisa Bossi - 2000 - 312 pages |

Logic-Based Program Synthesis and Transformation by Annalisa Bossi - 2000 - 312 pages |

Logical design of automation systems by Sander B. Friedman - 1990 - 214 pages |

Logical Foundations of Computer Science--Tver '92 by Anil Nerode, Michael A. Taiclin - 1992 - 514 pages |

Logics for artificial intelligence by Raymond Turner - 1984 - 121 pages |

Logics of programs and their applications - 1983 - 324 pages |

Loop checking in logic programming by Roland N. Bol, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) - 1995 - 198 pages |

Machine intelligence and related topics by Donald Michie - 1982 - 316 pages |

Mathematical epistemology and psychology by Evert Willem Beth, Jean Piaget - 1966 - 326 pages |

Mathematical Foundation of Programming Semantics by Austin Melton - 1986 - 395 pages |

Mathematical Foundations of Computer Science, 1991 by Andrzej Tarlecki - 1991 - 435 pages |

Mathematical Foundations of Programming Language Semantics - 1988 - 637 pages |

Mathematical foundations of programming language semantics by Michael Main - 1988 - 637 pages |

Mathematical foundations of programming semantics by Austin Melton - 1986 - 395 pages |

Mathematical Problems from Applied Logic I by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev - 2006 - 348 pages |

Mathematical Problems from Applied Logic I by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev - 2006 - 348 pages |

Mechanized reasoning and hardware design by Charles Antony Richard Hoare - 1992 - 151 pages |

Microcircuit Engineering 84 by A. Heuberger - 1985 - 563 pages |

Microcircuit Engineering 84 by A. Heuberger - 1985 - 563 pages |

Microcomputer system design by Michael J. Flynn, Neville R. Harris - 1982 - 397 pages |

Microprocessor logic design by Nick Tredennick - 1987 - 369 pages |

Microprocessors and logic design by Ronald L. Krutz - 1980 - 467 pages |

Modern Formal Methods and Applications by Hossam A. Gabbar - 2006 - 197 pages |

Multi-Objective Design Space Exploration of Multiprocessor Soc Architectures by Cristina Silvano - 2011 - 209 pages |

Multilevel interconnect technology by Gopal K. Rao - 1993 - 224 pages |

Multiple-Valued Logic Design by George Epstein - 1993 - 370 pages |

Natural language understanding and logic programming, III by Charles Grant Brown, Gregers Koch - 1991 - 309 pages |

Natural language understanding and logic programming, III by Charles Grant Brown, Gregers Koch - 1991 - 309 pages |

Nonclausal logic programming by Yonathan Malachi - 1986 - 145 pages |

Nonmonotonic and Inductive Logic by Klaus P. Jantke, Peter H. Schmitt - 1991 - 243 pages |

On Types and Type Consistency in Logic Programming by Gregor Meyer - 2000 - 176 pages |

Op-amp handbook by Fredrick W. Hughes - 1993 - 327 pages |

Operational Amplifiers by George Burbridge Clayton, Steve Winder - 2000 - 387 pages |

Operational Amplifiers by Jiří Dostál - 1993 - 387 pages |

Operational amplifiers and comparators by Texas Instruments Incorporated - 1995 |

Operational amplifiers and comparators by Texas Instruments Incorporated - 1995 |

PC power protection by Mark Waller - 1988 - 220 pages |

Piecewise Regular Arrays by Toomas P. Plaks - 1998 - 260 pages |

Power Tools for Logic 9 by Rick Silva - 2010 - 302 pages |

Power Tools for Logic 9 by Rick Silva - 2010 - 302 pages |

Primality Testing and Abelian Varieties Over Finite Fields by Leonard M. Adleman, Ming-Deh A. Huang - 1992 - 142 pages |

Problem solving and programming concepts by Maureen Sprankle - 1992 - 395 pages |

Proceedings - 1999 - 319 pages |

Proceedings - 1999 |

Proceedings - 1998 |

Proceedings - 1997 |

Proceedings - 1990 - 526 pages |

Proceedings - 1990 - 526 pages |

Proceedings Seventh International Symposium on String Processing and Information Retrieval by CYTED-AMYRI Research Project - 2000 - 261 pages |

**1**2