Logic design.

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

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

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

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

Algebraic and algorithmic aspects of differential and integral operators = 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: (書目-電子資源)

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

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

Concrete semantics = with Isabelle/HOL / by: (書目-電子資源)

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

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

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

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

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

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

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

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

Programming logic and design : = introductory / by: (書目-語言資料,印刷品)

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

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

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

An engineering approach to digital design / by: (書目-語言資料,印刷品)

Introduction to computer engineering : = logic design and the 8086 microprocessor / by: (書目-語言資料,印刷品)

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

Logic synthesis for control automata / by: (書目-語言資料,印刷品)

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

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

Logic minimization algorithms for VLSI synthesis / by: (書目-語言資料,印刷品)

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

Foundations of digital logic design / by: (書目-語言資料,印刷品)

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

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

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

Fundamentals of electrical control by: (書目-電子資源)

Computation structures by: (書目-語言資料,印刷品)

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

Digital design and implementation with field programmable devices by: (書目-語言資料,印刷品)

A Baker's dozen = real analog solutions for digital designers / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

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

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

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

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

Programming and performance visualization tools = International 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: (書目-電子資源)

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

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

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

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