Logic design.

Logic and computer design fundamentals / by: (Language materials, printed)

Logic design of nanoICs by: (Electronic resources)

CMOS logic circuit design / by: (Language materials, printed)

Digital designing with programmable logic devices / by: (Language materials, printed)

Advanced signal integrity for high-speed digital designs / by: (Language materials, printed)

Digital design and computer architecture / by: (Language materials, printed)

Digital design and computer architecture by: (Electronic resources)

Introduction to logic design / by: (Language materials, printed)

CMOS logic circuit design by: (Electronic resources)

Advanced techniques in logic synthesis, optimizations and applications by: (Electronic resources)

Design of digital systems and devices by: (Electronic resources)

Digital design / by: (Language materials, printed)

Adiabatic logicfuture trend and system level perspective / by: (Electronic resources)

The unknown component problemtheory and applications / by: (Electronic resources)

Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Electronic resources)

Big data integration theorytheory and methods of database mappings, programming languages, and semantics / by: (Electronic resources)

Membrane computing14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (Electronic resources)

Algebraic and algorithmic aspects of differential and integral operators5th 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: (Electronic resources)

Specification, algebra, and softwareessays dedicated to Kokichi Futatsugi / by: (Electronic resources)

Information and communication technologies in education, research, and industrial applications10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014 : revised selected papers / by: (Electronic resources)

Concrete semanticswith Isabelle/HOL / by: (Electronic resources)

Transactions on computational science XXIVspecial issue on reversible computing / by: (Electronic resources)

Dag Prawitz on proofs and meaning by: (Electronic resources)

Logic synthesis for FPGA-based finite state machines by: (Electronic resources)

Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Electronic resources)

Digital design :with an introduction to the Verilog HDL / by: (Language materials, printed)

Introduction to logic circuits & logic design with Verilog by: (Electronic resources)

Fundamentals of computer architecture and design by: (Electronic resources)

High performance computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (Electronic resources)

Digital design :with an introduction to the Verilog HDL, VHDL, and SystemVerilog / by: (Language materials, printed)

Fundamentals of computer architecture and design by: (Electronic resources)

Introduction to logic circuits & logic design with Verilog by: (Electronic resources)

Programming and performance visualization toolsInternational Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018 : revised selected papers / by: (Electronic resources)

Models, languages, and tools for concurrent and distributed programmingessays dedicated to Rocco De Nicola on the occasion of his 65th birthday / by: (Electronic resources)

Euro-Par 2020parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings / by: (Electronic resources)

Implementation and application of automata24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings / by: (Electronic resources)

ASIC design and synthesis : RTL design using Verilog / by: (Language materials, printed)

Trustworthy hardware designcombinational logic locking techniques / by: (Electronic resources)

Problem solving in operation management by: (Electronic resources)

OpenMPenabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021 : proceedings / by: (Electronic resources)