Logic Design.

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)

Compact models and measurement techniques for high-speed interconnects[electronic resource] / by: (Language materials, printed)

Logic circuit design[electronic resource] :selected methods / by: (Language materials, printed)

Answer set programming for continuous domains[electronic resource] :a fuzzy logic approach / by: (Language materials, printed)

Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: (Language materials, printed)

Johan van Benthem on logic and information dynamics[electronic resource] / by: (Language materials, printed)

Advanced symbolic analysis for VLSI systems[electronic resource] :methods and applications / by: (Language materials, printed)

Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (Language materials, printed)

Design of experiments for reinforcement learning[electronic resource] / by: (Language materials, printed)

Computer engineering and technology[electronic resource] :18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014 : revised selected papers / by: (Language materials, printed)

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (Language materials, printed)

Digital logic design sing Verilog[electronic resource] :coding and RTL synthesis / by: (Language materials, printed)

High performance integer arithmetic circuit design on FPGA[electronic resource] :architecture, implementation and design automation / by: (Language materials, printed)

Reversible logic synthesis methodologies with application to quantum computing[electronic resource] / by: (Language materials, printed)

Hierarchical type-2 fuzzy aggregation of fuzzy controllers[electronic resource] / by: (Language materials, printed)

Practical Hadoop migration[electronic resource] :how to integrate your RDBMS with the Hadoop ecosystem and re-architect relational applications to NoSQL / by: (Electronic resources)

Brain-inspired computing[electronic resource] :second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers / by: (Language materials, printed)

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.

Interconnects (Integrated circuit technology)

Logic Design.

Circuits and Systems.

Engineering.

Electronic Circuits and Devices.

Logic Design.

Circuits and Systems.

Information and Communication, Circuits.

Logic circuits

Engineering.

Electronic Circuits and Devices.

Logic.

Fuzzy logic.

Logics and Meanings of Programs.

Logic programming.

Logic Design.

Computer Science.

Simulation and Modeling.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Logic Design.

Computer Science.

Logic.

Philosophy.

Mathematical Logic and Foundations.

Logic Design.

Dynamics.

Symbolic circuit analysis.

Electronics and Microelectronics, Instrumentation.

Logic Design.

Circuits and Systems.

Engineering.

Integrated circuits

Software Engineering.

Computer Science, general.

Files.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computer logic

Logic Design.

Computer science

Reversible computing

Computer Science.

Artificial Intelligence (incl. Robotics)

Logic Design.

Computational Intelligence.

Engineering.

Reinforcement learning.

Artificial intelligence.

Processor Architectures.

Logic Design.

Computer science

Memory Structures.

Performance and Reliability.

Information technology

Computer Science.

Arithmetic and Logic Structures.

Computer engineering

Software Engineering.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computer logic

Logic Design.

Quantum Computing.

Computer science

Reversible computing

Computer Science.

Verilog (Computer hardware description language)

Electronics and Microelectronics, Instrumentation.

Logic Design.

Circuits and Systems.

Logic design

Engineering.

Electronics and Microelectronics, Instrumentation.

Logic Design.

Field programmable gate arrays

Circuits and Systems.

Engineering.

Quantum computers.

Logic programming.

Logic Design.

Quantum Computing.

Reversible computing.

Engineering.

Electrical Engineering.

Electronic Circuits and Devices.

Fuzzy logic.

Computational intelligence.

Artificial Intelligence (incl. Robotics)

Control.

Logic Design.

Granular computing.

Computational Intelligence.

Engineering.

Computer Science, general.

Database Management.

Data Structures.

Logic Design.

Data integration (Computer science)

Computer Science.

Image Processing and Computer Vision.

Artificial Intelligence (incl. Robotics)

Operating Systems.

User Interfaces and Human Computer Interaction.

Logic Design.

Processor Architectures.

Computer Science.

Neural computers