Logic design.

Digital design principles and practices by: (Language materials, printed)

Digital design with cpld applications and vhdl. by: (Language materials, printed)

Digital design and computer architecture[electronic resource] / by: (Language materials, printed)

Fundamentals of logic design / by: (Language materials, printed)

Digital logic design principles / by: (Language materials, printed)

Principles of modern digital design / by: (Language materials, printed)

Digital design / by: (Language materials, printed)

Fundamentals of logic design by: (Language materials, printed)

Adiabatic logic[electronic resource] :future trend and system level perspective / by: (Language materials, printed)

The unknown component problem[electronic resource] :theory and applications / by: (Language materials, printed)

Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Dag Prawitz on proofs and meaning[electronic resource] / by: (Language materials, printed)

Big data integration theory[electronic resource] :theory and methods of database mappings, programming languages, and semantics / by: (Language materials, printed)

Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (Language materials, printed)

Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (Language materials, printed)

Algebraic and algorithmic aspects of differential and integral operators[electronic resource] :5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / by: (Language materials, printed)

Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi / by: (Language materials, printed)

Logic synthesis for FPGA-based finite state machines[electronic resource] / by: (Language materials, printed)

Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Electronic resources)

Logic design.

Digital integrated circuits-De

Programming logic devices...

Logic design.

Programmable array logic.

Computer architecture.

Digital electronics.

Logic design.

Logic design.

Logic circuits.

Logic design.

Digital electronics.

Logic design.

Digital electronics.

Logic circuits

Digital electronics.

Logic design.

Logic design.

Logic circuits.

Electronics and Microelectronics, Instrumentation.

Logic design.

Logic Design.

Adiabatic invariants.

Circuits and Systems.

Energy Efficiency (incl. Buildings)

Physics.

Electronic Circuits and Devices.

Electronic circuit design.

Logic design.

Logic Design.

Circuits and Systems.

Engineering.

Electrical Engineering.

System design.

Software Engineering.

Mathematical Logic and Formal Languages.

Component software

Logics and Meanings of Programs.

Programming Techniques.

Formal methods (Computer science)

Software engineering.

Logic design.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer networks.

Computer Science.

Computer Communication Networks.

Logic.

Philosophy.

Mathematical Logic and Foundations.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Logic design.

Prawitz, Dag.

Computational complexity.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Logic design.

Computer Appl. in Administrative Data Processing.

Database management.

Big data.

Computer science.

Discrete Mathematics in Computer Science.

Molecular computers

Logics and Meanings of Programs.

Pattern Recognition.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Biocomputers

Software engineering.

Logic design.

Optical pattern recognition.

Computer science.

Computer software.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Formal methods (Computer science)

Object-oriented methods (Computer science)

Software engineering.

Logic design.

Programming Languages, Compilers, Interpreters.

Computer science.

Computer Science.

Mathematical Logic and Formal Languages.

Computational complexity.

Logics and Meanings of Programs.

Algebra

Algorithm Analysis and Problem Complexity.

Logic design.

Computer science.

Discrete Mathematics in Computer Science.

Computer software.

Differential equations, Partial.

Symbolic and Algebraic Manipulation.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Software engineering.

Logic design.

Programming Languages, Compilers, Interpreters.

Computer Science.

Logic design.

Field programmable gate arrays.

Control.

Circuits and Systems.

Engineering.

Mathematical Modeling and Industrial Mathematics.

Computer logic.

Quantum computers.

Logics and Meanings of Programs.

Computers.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computer logic

Logic design.

Programming languages (Electronic computers)

Algorithms.

Programming Languages, Compilers, Interpreters.

Reversible computing

Computer science.