Logic design.

Logic and computer design fundamentals / by: (書目-語言資料,印刷品)

Logic design of nanoICs by: (書目-電子資源)

CMOS logic circuit design / by: (書目-語言資料,印刷品)

Digital designing with programmable logic devices / by: (書目-語言資料,印刷品)

Advanced signal integrity for high-speed digital designs / by: (書目-語言資料,印刷品)

Digital design and computer architecture / by: (書目-語言資料,印刷品)

Digital design and computer architecture by: (書目-電子資源)

Introduction to logic design / by: (書目-語言資料,印刷品)

CMOS logic circuit design by: (書目-電子資源)

Advanced techniques in logic synthesis, optimizations and applications by: (書目-電子資源)

Design of digital systems and devices by: (書目-電子資源)

Digital design / by: (書目-語言資料,印刷品)

Adiabatic logicfuture trend and system level perspective / by: (書目-電子資源)

The unknown component problemtheory and applications / by: (書目-電子資源)

Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-電子資源)

Big data integration theorytheory and methods of database mappings, programming languages, and semantics / by: (書目-電子資源)

Membrane computing14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (書目-電子資源)

Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Specification, algebra, and softwareessays dedicated to Kokichi Futatsugi / by: (書目-電子資源)

Information and communication technologies in education, research, and industrial applications10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014 : revised selected papers / by: (書目-電子資源)

Concrete semanticswith Isabelle/HOL / by: (書目-電子資源)

Transactions on computational science XXIVspecial issue on reversible computing / by: (書目-電子資源)

Dag Prawitz on proofs and meaning by: (書目-電子資源)

Logic synthesis for FPGA-based finite state machines by: (書目-電子資源)

Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (書目-電子資源)

Digital design :with an introduction to the Verilog HDL / by: (書目-語言資料,印刷品)

Introduction to logic circuits & logic design with Verilog by: (書目-電子資源)

Fundamentals of computer architecture and design by: (書目-電子資源)

High performance computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (書目-電子資源)

Digital design :with an introduction to the Verilog HDL, VHDL, and SystemVerilog / by: (書目-語言資料,印刷品)

Fundamentals of computer architecture and design by: (書目-電子資源)

Introduction to logic circuits & logic design with Verilog by: (書目-電子資源)

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: (書目-電子資源)

Models, languages, and tools for concurrent and distributed programmingessays dedicated to Rocco De Nicola on the occasion of his 65th birthday / by: (書目-電子資源)

Euro-Par 2020parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings / by: (書目-電子資源)

Implementation and application of automata24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings / by: (書目-電子資源)

ASIC design and synthesis : RTL design using Verilog / by: (書目-語言資料,印刷品)

Trustworthy hardware designcombinational logic locking techniques / by: (書目-電子資源)

Problem solving in operation management by: (書目-電子資源)

OpenMPenabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021 : proceedings / by: (書目-電子資源)