Logic Design.

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-語言資料,印刷品)

New Algorithms, Architectures and Applications for Reconfigurable Computing by: (書目-語言資料,印刷品)

VLSI physical design = from graph partitioning to timing closure / by: (書目-語言資料,印刷品)

Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (書目-語言資料,印刷品)

Transactions on high-performance embedded architectures and compilers III by: (書目-語言資料,印刷品)

Practical Problems in VLSI Physical Design Automation by: (書目-語言資料,印刷品)

Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (書目-語言資料,印刷品)

Regular nanofabrics in emerging technologies = design and fabrication methods for nanoscale digital circuits / by: (書目-語言資料,印刷品)

Advances in power electronics and instrumentation engineering = second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers / by: (書目-語言資料,印刷品)

Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (書目-語言資料,印刷品)

Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (書目-語言資料,印刷品)

Logic Synthesis for Compositional Microprogram Control Units by: (書目-語言資料,印刷品)

Trust networks for recommender systems by: (書目-語言資料,印刷品)

Taxonomies for the Development and Verification of Digital Systems by: (Language materials, printed)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings by: (Language materials, printed)

More than Moore = creating high value micro/nanoelectronics systems / by: (Language materials, printed)

Logic synthesis for FSM-based control units by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (Language materials, printed)

Transactions on high-performance embedded architectures and compilers IV by: (Language materials, printed)

Design, analysis and test of logic circuits under uncertainty by: (Language materials, printed)

Theory of digital automata by: (Language materials, printed)

Computer engineering and technology = 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012 : revised selected papers / by: (Language materials, printed)

Integrated circuit and system design = power and timing modeling, optimization and simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012 : revised selected papers / by: (Language materials, printed)

Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers / by: (Language materials, printed)

Finite state machine logic synthesis for complex programmable logic devices by: (Language materials, printed)

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

VLSI-SoC = advanced research for systems on chip : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011 : revised selected papers / by: (Language materials, printed)

Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (Language materials, printed)

Computer engineering and technology = 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013 : revised selected papers / by: (Language materials, printed)

Adiabatic logic = future trend and system level perspective / by: (Language materials, printed)

The unknown component problem = theory and applications / by: (Language materials, printed)

Compact models and measurement techniques for high-speed interconnects by: (Language materials, printed)

Logic circuit design = selected methods / by: (Language materials, printed)

Answer set programming for continuous domains = a fuzzy logic approach / by: (Language materials, printed)

Introduction to embedded system design using field programmable gate arrays by: (Language materials, printed)

High performance embedded architectures and compilers = fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings / by: (Language materials, printed)

Functional design errors in digital circuits = diagnosis, correction and repair / by: (Language materials, printed)

Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (Language materials, printed)

Integrated circuit and system design = power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, revised selected papers / by: (Language materials, printed)

Transactions on high-performance embedded architectures and compilers.. II by: (Language materials, printed)

Fundamental problems in computing = essays in honor of Professor Daniel J. Rosenkrantz / by: (Language materials, printed)

Design of experiments for reinforcement learning by: (Language materials, printed)

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

Reversible logic synthesis methodologies with application to quantum computing by: (Language materials, printed)

Hierarchical type-2 fuzzy aggregation of fuzzy controllers by: (Language materials, printed)

Digital logic design sing Verilog = coding and RTL synthesis / by: (Language materials, printed)

Practical Hadoop migration = how to integrate your RDBMS with the Hadoop ecosystem and re-architect relational applications to NoSQL / by: (Language materials, printed)

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

From variability tolerance to approximate computing in parallel integrated architectures and accelerators by: (Language materials, printed)

Introduction to logic circuits & logic design with Verilog by: (Language materials, printed)

Fundamentals of electronic systems design by: (Language materials, printed)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part II / by: (Language materials, printed)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part I / by: (Language materials, printed)

High performance computing = ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017 : revised selected papers / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXXIV = special issue on consistency and inconsistency in data-centric applications / by: (Language materials, printed)

Theory and practice of model transformation = 10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (Language materials, printed)

Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (Language materials, printed)

Meaning and proscription in formal logic = variations on the propositional logic of William T. Parry / by: (Language materials, printed)

Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (Language materials, printed)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (Language materials, printed)

Deep learning in medical image analysis and multimodal learning for clinical decision support = third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 : proceedings / by: (Language materials, printed)

Post-quantum cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings / by: (Language materials, printed)

Architecture of computing systems - ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9-12, 2018 : proceedings / by: (Language materials, printed)

Topics in cryptology - CT-RSA 2018 = the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings / by: (Language materials, printed)

Supercomputing frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part I / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part II / by: (Language materials, printed)

Simulation and optimization of digital circuits = considering and mitigating destabilizing factors / by: (Language materials, printed)

High performance computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (Language materials, printed)

Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part I / by: (Language materials, printed)

Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part III / by: (Language materials, printed)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (Language materials, printed)

Embedded systems technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017 : revised selected papers / by: (Language materials, printed)

Bioinformatics research and applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings / by: (Language materials, printed)

Parallel computational technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers / by: (Language materials, printed)

Principles and structures of FPGAs by: (Language materials, printed)

Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (Language materials, printed)

Advanced computer architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings / by: (Language materials, printed)

Machine learning for medical image reconstruction = first International Workshop, MLMIR 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018 : proceedings / by: (Language materials, printed)

Transactions on computational science XXXIII by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXXIX = Special Issue on Database- and Expert-Systems Applications / by: (Language materials, printed)

High performance computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part III / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part I / by: (Language materials, printed)

Network and parallel computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Trends in functional programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (Language materials, printed)

Analog circuit theory and filter design in the digital world = with an introduction to the morphological method for creative solutions and design / by: (Language materials, printed)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part VI / by: (Language materials, printed)

Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Computer science - CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI / by: (Language materials, printed)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III / by: (Language materials, printed)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V / by: (Language materials, printed)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II / by: (Language materials, printed)

Conceptual spaces = elaborations and applications / by: (Language materials, printed)

Cloud computing and big data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers / by: (Language materials, printed)

Parallel computational technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers / by: (Language materials, printed)

Biomimetic and biohybrid systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

New data structures and algorithms for logic synthesis and verification by: (Language materials, printed)

Introduction to logic circuits & logic design with VHDL by: (Language materials, printed)

Building Arduino PLCs = the essential techniques you need to develop Arduino-based PLCs / by: (Language materials, printed)

Separation logic for high-level synthesis by: (Language materials, printed)

Introduction to Annotated Logics = Foundations for Paracomplete and Paraconsistent Reasoning / by: (Language materials, printed)

Design of Experiments for Reinforcement Learning by: (Language materials, printed)

Computer Engineering and Technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / by: (Language materials, printed)

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by: (Language materials, printed)

Integrierte Digitale Schaltungen = Vom Transistor zur optimierten Logikschaltung / by: (Language materials, printed)

Layoutsynthese elektronischer Schaltungen = Grundlegende Algorithmen für die Entwurfsautomatisierung / by: (Language materials, printed)

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers by: (Language materials, printed)

High Performance Integer Arithmetic Circuit Design on FPGA = Architecture, Implementation and Design Automation / by: (Language materials, printed)

Brain-Inspired Computing = Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / by: (Language materials, printed)

Digital Logic Design Using Verilog = Coding and RTL Synthesis / by: (Language materials, printed)

Practical Hadoop Migration = How to Integrate Your RDBMS with the Hadoop Ecosystem and Re-Architect Relational Applications to NoSQL / by: (Language materials, printed)

Reversible Logic Synthesis Methodologies with Application to Quantum Computing by: (Language materials, printed)

Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / by: (Language materials, printed)

Bioinformatics Research and Applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings / by: (Language materials, printed)

Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / by: (Language materials, printed)

Principles and Structures of FPGAs by: (Language materials, printed)

Simulation and Optimization of Digital Circuits = Considering and Mitigating Destabilizing Factors / by: (Language materials, printed)

High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / by: (Language materials, printed)

Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings / by: (Language materials, printed)

Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by: (Language materials, printed)

Machine Learning for Medical Image Reconstruction = First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / by: (Language materials, printed)

Network and Parallel Computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings / by: (Language materials, printed)

Das Raspberry Pi Kompendium by: (Language materials, printed)

Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / by: (Language materials, printed)

Transactions on Computational Science XXXIII by: (Language materials, printed)

Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings / by: (Language materials, printed)

Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings / by: (Language materials, printed)

Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / by: (Language materials, printed)

Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX = Special Issue on Database- and Expert-Systems Applications / by: (Language materials, printed)

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: (Language materials, printed)

Architecture of Computing Systems – ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings / by: (Language materials, printed)

Introduzione al Progetto di Sistemi Digitali by: (Language materials, printed)

Reliable and Energy Efficient Streaming Multiprocessor Systems by: (Language materials, printed)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / by: (Language materials, printed)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / by: (Language materials, printed)

Supercomputing Frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / by: (Language materials, printed)

Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Design of FPGA-Based Computing Systems with OpenCL by: (Language materials, printed)

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: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / by: (Language materials, printed)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / by: (Language materials, printed)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (Language materials, printed)

Embedded Systems Technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers / by: (Language materials, printed)

ASIC/SoC Functional Design Verification = A Comprehensive Guide to Technologies and Methodologies / by: (Language materials, printed)

Euro-Par 2018: Parallel Processing Workshops = Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers / by: (Language materials, printed)

Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by: (Language materials, printed)

Quick Start Guide to VHDL by: (Language materials, printed)

High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings / by: (Language materials, printed)

Conceptual Spaces: Elaborations and Applications by: (Language materials, printed)

Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers / by: (Language materials, printed)

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets by: (Language materials, printed)

Biomimetic and Biohybrid Systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings / by: (Language materials, printed)

Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / by: (Language materials, printed)

Logic Functions and Equations = Binary Models for Computer Science / by: (Language materials, printed)

Analog Circuit Theory and Filter Design in the Digital World = With an Introduction to the Morphological Method for Creative Solutions and Design / by: (Language materials, printed)

Computer Engineering and Technology = 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers / by: (Language materials, printed)

Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings / by: (Language materials, printed)

Creativity in Intelligent Technologies and Data Science = Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Beyond-CMOS Technologies for Next Generation Computer Design by: (Language materials, printed)

Introduction to Digital Systems Design by: (Language materials, printed)

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: (Language materials, printed)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms = A Cross-layer Approach / by: (Language materials, printed)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis = A Transfer Function Approach / by: (Language materials, printed)

Test Generation of Crosstalk Delay Faults in VLSI Circuits by: (Language materials, printed)

Stochastic Computing: Techniques and Applications by: (Language materials, printed)

Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers / by: (Language materials, printed)

OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings / by: (Language materials, printed)

Transactions on High-Performance Embedded Architectures and Compilers V by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV / by: (Language materials, printed)

Advanced HDL Synthesis and SOC Prototyping = RTL Design Using Verilog / by: (Language materials, printed)

Variant Construction from Theoretical Foundation to Applications by: (Language materials, printed)

Introduction to Logic Circuits & Logic Design with Verilog by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI = Special Issue on Data and Security Engineering / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by: (Language materials, printed)

Quick Start Guide to Verilog by: (Language materials, printed)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by: (Language materials, printed)

Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers / by: (Language materials, printed)

Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers / by: (Language materials, printed)

Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / by: (Language materials, printed)

Machine Learning in VLSI Computer-Aided Design by: (Language materials, printed)

Introduction to Logic Circuits & Logic Design with VHDL by: (Language materials, printed)

High-Performance Modelling and Simulation for Big Data Applications = Selected Results of the COST Action IC1406 cHiPSet / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by: (Language materials, printed)

Architecture of Computing Systems – ARCS 2019 = 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings / by: (Language materials, printed)

Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers / by: (Language materials, printed)

Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V / by: (Language materials, printed)

Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / by: (Language materials, printed)

Advanced Boolean Techniques = Selected Papers from the 13th International Workshop on Boolean Problems / by: (Language materials, printed)

Model and Design of Improved Current Mode Logic Gates = Differential and Single-ended / by: (Language materials, printed)

Introductory Circuit Theory by: (Language materials, printed)

Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / by: (Language materials, printed)

Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / by: (Language materials, printed)

Well-Quasi Orders in Computation, Logic, Language and Reasoning = A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / by: (Language materials, printed)

Logic Synthesis and SOC Prototyping = RTL Design using VHDL / by: (Language materials, printed)

Trustworthy Hardware Design: Combinational Logic Locking Techniques by: (Language materials, printed)

High-speed Serial Buses in Embedded Systems by: (Language materials, printed)

Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

How Transistor Area Shrank by 1 Million Fold by: (Language materials, printed)

OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings / by: (Language materials, printed)

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 / by: (Language materials, printed)

Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers / by: (Language materials, printed)

Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers / by: (Language materials, printed)

AI and UX = Why Artificial Intelligence Needs User Experience / by: (Language materials, printed)

Introduzione al Progetto di Sistemi a Microprocessore by: (Language materials, printed)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (Language materials, printed)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (Language materials, printed)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (Language materials, printed)

Problem Solving In Operation Management by: (Language materials, printed)

Dual Mode Logic = A New Paradigm for Digital IC Design / by: (Language materials, printed)

ASIC Design and Synthesis = RTL Design Using Verilog / by: (Language materials, printed)

High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / by: (Language materials, printed)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (Language materials, printed)

High Performance Computing = ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers / by: (Language materials, printed)

Computer Architecture and Organization = Fundamentals and Architecture Security / by: (Language materials, printed)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (Language materials, printed)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (Language materials, printed)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (Language materials, printed)

High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / by: (Language materials, printed)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (Language materials, printed)

High Performance Computing = ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers / by: (Language materials, printed)

Software Defined Chips = Volume I / by: (Language materials, printed)

Network and Parallel Computing = 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings / by: (Language materials, printed)

High Performance Computing = 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings / by: (Language materials, printed)

Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor / by: (Language materials, printed)

VLSI Physical Design: From Graph Partitioning to Timing Closure by: (Language materials, printed)

Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / by: (Language materials, printed)

Digital Logic Design Using Verilog = Coding and RTL Synthesis / by: (Language materials, printed)

Introduction to Microprocessor-Based Systems Design by: (Language materials, printed)

Digital Design Techniques and Exercises = A Practice Book for Digital Logic Design / by: (Language materials, printed)

New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems / by: (Language materials, printed)

High Performance Computing = 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers / by: (Language materials, printed)

Guessing random additive noise decoding = a hardware perspective / by: (Language materials, printed)

Parallel computing technologies = 17th International Conference, PaCT 2023, Almaty, Kazakhstan, August 21-25, 2023 : proceedings / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 26th Workshop, JSSPP 2023, St. Petersburg, Fl, USA, May 19, 2023 : revised selected papers / by: (Language materials, printed)

Architectures and circuits for distributed quantum computing by: (Language materials, printed)

Reversible computation = 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings / by: (Language materials, printed)

High performance computing. ISC High Performance 2024 International Workshops = Hamburg, Germany, May 12-16, 2024 : revised selected papers / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 27th International Workshop, JSSPP 2024. San Francisco, CA, USA, May 31, 2024 : revised selected papers / by: (Language materials, printed)

Network and parallel computing = 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.. Part I / by: (Language materials, printed)

Network and parallel computing = 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.. Part II / by: (Language materials, printed)

Modern programmable interconnect design by: (Language materials, printed)

Versatile hardware analysis techniques = from waveform-based analysis to formal verification / by: (Language materials, printed)

Robotics goes MOOC = design / by: (Language materials, printed)

Workload dependent mitigation approaches for performance variability = ensuring timing guarantees of integrated circuits / by: (Language materials, printed)

Robotics goes MOOC = interaction / by: (Language materials, printed)

Robotics goes MOOC = impact / by: (Language materials, printed)