Logic design.

Finite state machine datapath design, optimization, and implementation / by: (書目-語言資料,印刷品)

A general framework for reasoning on inconsistency by: (書目-語言資料,印刷品)

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

Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Information and communication technologies in education, research, and industrial applications = 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Adiabatic logic = future trend and system level perspective / by: (書目-語言資料,印刷品)

The unknown component problem = theory and applications / by: (書目-語言資料,印刷品)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

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

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

Digital design : = with an introduction to Verilog HDL / 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Synchronous precharge logic by: (書目-語言資料,印刷品)

Dag Prawitz on proofs and meaning by: (書目-語言資料,印刷品)

Logic synthesis for FPGA-based finite state machines by: (書目-語言資料,印刷品)

Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (書目-語言資料,印刷品)

Introduction to logic circuits & logic design with Verilog by: (書目-語言資料,印刷品)

Verilog HDL design examples / 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Introduction to Annotated Logics = Foundations for Paracomplete and Paraconsistent Reasoning / by: (書目-語言資料,印刷品)

Design of Experiments for Reinforcement Learning by: (書目-語言資料,印刷品)

Computer Engineering and Technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by: (書目-語言資料,印刷品)

Integrierte Digitale Schaltungen = Vom Transistor zur optimierten Logikschaltung / by: (書目-語言資料,印刷品)

Layoutsynthese elektronischer Schaltungen = Grundlegende Algorithmen für die Entwurfsautomatisierung / by: (書目-語言資料,印刷品)

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers by: (書目-語言資料,印刷品)

High Performance Integer Arithmetic Circuit Design on FPGA = Architecture, Implementation and Design Automation / by: (書目-語言資料,印刷品)

Brain-Inspired Computing = Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Digital Logic Design Using Verilog = Coding and RTL Synthesis / by: (書目-語言資料,印刷品)

Practical Hadoop Migration = How to Integrate Your RDBMS with the Hadoop Ecosystem and Re-Architect Relational Applications to NoSQL / by: (書目-語言資料,印刷品)

Reversible Logic Synthesis Methodologies with Application to Quantum Computing by: (書目-語言資料,印刷品)

Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Bioinformatics Research and Applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Principles and Structures of FPGAs by: (書目-語言資料,印刷品)

Simulation and Optimization of Digital Circuits = Considering and Mitigating Destabilizing Factors / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Machine Learning for Medical Image Reconstruction = First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings / by: (書目-語言資料,印刷品)

Das Raspberry Pi Kompendium by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Computational Science XXXIII by: (書目-語言資料,印刷品)

Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings / by: (書目-語言資料,印刷品)

Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX = Special Issue on Database- and Expert-Systems Applications / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Architecture of Computing Systems – ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Introduzione al Progetto di Sistemi Digitali by: (書目-語言資料,印刷品)

Reliable and Energy Efficient Streaming Multiprocessor Systems by: (書目-語言資料,印刷品)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Design of FPGA-Based Computing Systems with OpenCL by: (書目-語言資料,印刷品)

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence = 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / by: (書目-語言資料,印刷品)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Embedded Systems Technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

ASIC/SoC Functional Design Verification = A Comprehensive Guide to Technologies and Methodologies / by: (書目-語言資料,印刷品)

Euro-Par 2018: Parallel Processing Workshops = Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Quick Start Guide to VHDL by: (書目-語言資料,印刷品)

High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Conceptual Spaces: Elaborations and Applications by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets by: (書目-語言資料,印刷品)

Biomimetic and Biohybrid Systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Logic Functions and Equations = Binary Models for Computer Science / by: (書目-語言資料,印刷品)

Analog Circuit Theory and Filter Design in the Digital World = With an Introduction to the Morphological Method for Creative Solutions and Design / by: (書目-語言資料,印刷品)

Computer Engineering and Technology = 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Creativity in Intelligent Technologies and Data Science = Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 = 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

High-Performance Computing Applications in Numerical Simulation and Edge Computing = ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Beyond-CMOS Technologies for Next Generation Computer Design by: (書目-語言資料,印刷品)

Introduction to Digital Systems Design by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms = A Cross-layer Approach / by: (書目-語言資料,印刷品)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis = A Transfer Function Approach / by: (書目-語言資料,印刷品)

Test Generation of Crosstalk Delay Faults in VLSI Circuits by: (書目-語言資料,印刷品)

Stochastic Computing: Techniques and Applications by: (書目-語言資料,印刷品)

Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Transactions on High-Performance Embedded Architectures and Compilers V by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Advanced HDL Synthesis and SOC Prototyping = RTL Design Using Verilog / by: (書目-語言資料,印刷品)

Variant Construction from Theoretical Foundation to Applications by: (書目-語言資料,印刷品)

Introduction to Logic Circuits & Logic Design with Verilog by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI = Special Issue on Data and Security Engineering / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by: (書目-語言資料,印刷品)

Quick Start Guide to Verilog by: (書目-語言資料,印刷品)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning in VLSI Computer-Aided Design by: (書目-語言資料,印刷品)

Introduction to Logic Circuits & Logic Design with VHDL by: (書目-語言資料,印刷品)

High-Performance Modelling and Simulation for Big Data Applications = Selected Results of the COST Action IC1406 cHiPSet / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Architecture of Computing Systems – ARCS 2019 = 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Progress in Cryptology – LATINCRYPT 2017 = 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity = 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms = 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers / 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: (書目-語言資料,印刷品)

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things = 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V / by: (書目-語言資料,印刷品)

Advanced HDL synthesis and SOC prototyping : = RTL design using Verilog / by: (書目-語言資料,印刷品)

Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advanced Boolean Techniques = Selected Papers from the 13th International Workshop on Boolean Problems / by: (書目-語言資料,印刷品)

Model and Design of Improved Current Mode Logic Gates = Differential and Single-ended / by: (書目-語言資料,印刷品)

Introductory Circuit Theory by: (書目-語言資料,印刷品)

Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Well-Quasi Orders in Computation, Logic, Language and Reasoning = A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / by: (書目-語言資料,印刷品)

Logic Synthesis and SOC Prototyping = RTL Design using VHDL / by: (書目-語言資料,印刷品)

Trustworthy Hardware Design: Combinational Logic Locking Techniques by: (書目-語言資料,印刷品)

High-speed Serial Buses in Embedded Systems by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

How Transistor Area Shrank by 1 Million Fold by: (書目-語言資料,印刷品)

OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 / by: (書目-語言資料,印刷品)

Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

AI and UX = Why Artificial Intelligence Needs User Experience / by: (書目-語言資料,印刷品)

Introduzione al Progetto di Sistemi a Microprocessore by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

Problem Solving In Operation Management by: (書目-語言資料,印刷品)

Dual Mode Logic = A New Paradigm for Digital IC Design / by: (書目-語言資料,印刷品)

ASIC Design and Synthesis = RTL Design Using Verilog / by: (書目-語言資料,印刷品)

High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Architecture and Organization = Fundamentals and Architecture Security / by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

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

Software Defined Chips = Volume I / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings / by: (書目-語言資料,印刷品)

Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor / by: (書目-語言資料,印刷品)

VLSI Physical Design: From Graph Partitioning to Timing Closure by: (書目-語言資料,印刷品)

Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / by: (書目-語言資料,印刷品)

Digital Logic Design Using Verilog = Coding and RTL Synthesis / by: (書目-語言資料,印刷品)

Introduction to Microprocessor-Based Systems Design by: (書目-語言資料,印刷品)

Digital Design Techniques and Exercises = A Practice Book for Digital Logic Design / by: (書目-語言資料,印刷品)

New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems / by: (書目-語言資料,印刷品)

High Performance Computing = 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

The FPGA programming handbook : = an essential guide to FPGA design for transforming ideas into hardware using SystemVerilog and VHDL / by: (書目-語言資料,印刷品)

Logic design of nanoICs by: (書目-語言資料,印刷品)