Logic Design.

Cryptographic Hardware and Embedded Systems - CHES 20057th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (Electronic resources)

Evolvable Systems :From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (Electronic resources)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation :15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings by: (Electronic resources)

Dependable Computing :Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (Electronic resources)

Advances in Computer Systems Architecture :10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings by: (Electronic resources)

High Performance Embedded Architectures and Compilers :First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings by: (Electronic resources)

Job Scheduling Strategies for Parallel Processing :11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (Electronic resources)

Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (Electronic resources)

Logic Synthesis for Compositional Microprogram Control Units by: (Electronic resources)

Practical Problems in VLSI Physical Design Automation by: (Electronic resources)

High-Level SynthesisFrom Algorithm to Digital Circuit / by: (Electronic resources)

Evolvable systemsfrom biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (Language materials, printed)

High performance embedded architectures and compilersfourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings / by: (Electronic resources)

Functional design errors in digital circuitsdiagnosis, correction and repair / by: (Electronic resources)

Introduction to embedded system design using field programmable gate arrays by: (Electronic resources)

Computer performance evaluation and benchmarkingSpec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (Electronic resources)

Integrated circuit and system designpower and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, revised selected papers / by: (Electronic resources)

Transactions on high-performance embedded architectures and compilers.II by: (Electronic resources)

Fundamental problems in computingessays in honor of Professor Daniel J. Rosenkrantz / by: (Electronic resources)

Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings / by: (Electronic resources)

Job Scheduling Strategies for Parallel Processing14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (Electronic resources)

Logic synthesis for FSM-based control units by: (Electronic resources)

More than Moorecreating high value micro/nanoelectronics systems / by: (Electronic resources)

High performance embedded architectures and compilers5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings / by: (Electronic resources)

Integrated circuit and system designpower and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009 : revised selected papers / by: (Electronic resources)

Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (Electronic resources)

Speech processing in embedded systems by: (Electronic resources)

VLSI physical designfrom graph partitioning to timing closure / by: (Electronic resources)

Transactions on high-performance embedded architectures and compilers III by: (Electronic resources)

Regular nanofabrics in emerging technologiesdesign and fabrication methods for nanoscale digital circuits / by: (Electronic resources)

Advances in power electronics and instrumentation engineeringsecond international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (Electronic resources)

Trust networks for recommender systems by: (Electronic resources)

Theory and application of satisfiability testingSAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (Electronic resources)

Transactions on high-performance embedded architectures and compilers IV by: (Electronic resources)

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

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

Compact models and measurement techniques for high-speed interconnects by: (Electronic resources)

Logic circuit designselected methods / by: (Electronic resources)

Answer set programming for continuous domainsa fuzzy logic approach / by: (Electronic resources)

Progress in VLSI design and test16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (Electronic resources)

VLSI-SoCadvanced 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: (Electronic resources)

Advanced symbolic analysis for VLSI systemsmethods and applications / by: (Electronic resources)

Reversible computation6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (Electronic resources)

Johan van Benthem on logic and information dynamics by: (Electronic resources)

Design of experiments for reinforcement learning by: (Electronic resources)

Computer engineering and technology18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014 : revised selected papers / by: (Electronic resources)

Introduction to annotated logicsfoundations for paracomplete and paraconsistent reasoning / by: (Electronic resources)

Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (Electronic resources)

High performance integer arithmetic circuit design on FPGAarchitecture, implementation and design automation / by: (Electronic resources)

Reversible logic synthesis methodologies with application to quantum computing by: (Electronic resources)

Hierarchical type-2 fuzzy aggregation of fuzzy controllers by: (Electronic resources)

Digital logic design sing Verilogcoding and RTL synthesis / by: (Electronic resources)

Practical Hadoop migrationhow to integrate your RDBMS with the Hadoop ecosystem and re-architect relational applications to NoSQL / by: (Electronic resources)

Brain-inspired computingsecond International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers / by: (Electronic resources)

New data structures and algorithms for logic synthesis and verification by: (Electronic resources)

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

Separation logic for high-level synthesis by: (Electronic resources)

Building Arduino PLCsthe essential techniques you need to develop Arduino-based PLCs / by: (Electronic resources)

Applications of evolutionary computation20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings.Part II / by: (Electronic resources)

Applications of evolutionary computation20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings.Part I / by: (Electronic resources)

Testing of interposer-based 2.5D integrated circuits by: (Electronic resources)

From variability tolerance to approximate computing in parallel integrated architectures and accelerators by: (Electronic resources)

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

Fundamentals of electronic systems design by: (Electronic resources)

Artificial intelligence and soft computing16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.Part II / by: (Electronic resources)

Artificial intelligence and soft computing16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.Part I / by: (Electronic resources)

Theory and practice of model transformation10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (Electronic resources)

Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (Electronic resources)

Scaling OpenMP for exascale performance and portability13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (Electronic resources)

Search based software engineering9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (Electronic resources)

Deep learning in medical image analysis and multimodal learning for clinical decision supportthird 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: (Electronic resources)

High performance computingISC 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: (Electronic resources)

Artificial neural networks and machine learning - ICANN 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part I / by: (Electronic resources)

Artificial neural networks and machine learning - ICANN 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part II / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXXIVspecial issue on consistency and inconsistency in data-centric applications / by: (Electronic resources)

Meaning and proscription in formal logicvariations on the propositional logic of William T. Parry / by: (Electronic resources)

ASIC/SoC functional design verificationa comprehensive guide to technologies and methodologies / by: (Electronic resources)

Design of FPGA-based computing systems with OpenCL by: (Electronic resources)

High performance computing systemsperformance modeling, benchmarking, and aimulation : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017 : proceedings / by: (Electronic resources)

OpenSHMEM and related technologiesbig compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017 : revised selected papers / by: (Electronic resources)

Reliable and energy efficient streaming multiprocessor systems by: (Electronic resources)

Euro-Par 2017parallel processing workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers / by: (Electronic resources)

Post-quantum cryptography9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings / by: (Electronic resources)

Architecture of computing systems - ARCS 201831st International Conference, Braunschweig, Germany, April 9-12, 2018 : proceedings / by: (Electronic resources)

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

Supercomputing frontiers4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (Electronic resources)

Parallel processing and applied mathematics12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.Part I / by: (Electronic resources)

Parallel processing and applied mathematics12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.Part II / by: (Electronic resources)

Simulation and optimization of digital circuitsconsidering and mitigating destabilizing factors / by: (Electronic resources)

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

Computational Science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part I / by: (Electronic resources)

Computational Science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part II / by: (Electronic resources)

Computational science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part III / by: (Electronic resources)

Model-driven engineering and software development5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (Electronic resources)

Embedded systems technology15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017 : revised selected papers / by: (Electronic resources)

Bioinformatics research and applications14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings / by: (Electronic resources)

Parallel computational technologies12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers / by: (Electronic resources)

Principles and structures of FPGAs by: (Electronic resources)

Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (Electronic resources)

Advanced computer architecture12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings / by: (Electronic resources)

Machine learning for medical image reconstructionfirst International Workshop, MLMIR 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018 : proceedings / by: (Electronic resources)

Transactions on computational science XXXIII by: (Electronic resources)

Stabilization, safety, and security of distributed systems20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings / by: (Electronic resources)

High performance computingISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers / by: (Electronic resources)

Algorithms and architectures for parallel processing18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.Part III / by: (Electronic resources)

Algorithms and architectures for parallel processing18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.Part I / by: (Electronic resources)

Network and parallel computing15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXXIXSpecial Issue on Database- and Expert-Systems Applications / by: (Electronic resources)

Beyond-CMOS technologies for next generation computer design by: (Electronic resources)

Introduction to digital systems design by: (Electronic resources)

Test generation of crosstalk delay faults in VLSI circuits by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XLISpecial Issue on Data and Security Engineering / by: (Electronic resources)

Harnessing performance variability in embedded and high-performance many/multi-core platformsa cross-layer approach / by: (Electronic resources)

Transactions on high-performance embedded architectures and compilers V by: (Electronic resources)

Fundamentals of modern electric circuit analysis and filter synthesisa transfer function approach / by: (Electronic resources)

Stochastic computingtechniques and applications / by: (Electronic resources)

Quick start guide to Verilog by: (Electronic resources)

OpenSHMEM and related technologiesOpenSHMEM in the era of extreme heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018 : revised selected papers / by: (Electronic resources)

High-performance modelling and simulation for big data applicationsselected results of the COST Action IC1406 cHiPSet / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems25th 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: (Electronic resources)

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

Machine learning in VLSI computer-aided design by: (Electronic resources)

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

Computer engineering and technology22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018 : revised selected papers / by: (Electronic resources)

Logic functions and equationsbinary models for computer science / by: (Electronic resources)

Supercomputing4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018 : revised selected papers / by: (Electronic resources)

Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers / by: (Electronic resources)

Accelerator programming using Directives5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018 : proceedings / by: (Electronic resources)

Euro-Par 2018parallel processing workshops : Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018 : revised selected papers / by: (Electronic resources)

Quick start guide to VHDL by: (Electronic resources)

Advanced HDL synthesis and SOC prototypingRTL design using verilog / by: (Electronic resources)

Variant construction from theoretical foundation to applications 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)

Trends in functional programming19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (Electronic resources)

Analog circuit theory and filter design in the digital worldwith an introduction to the morphological method for creative solutions and design / by: (Electronic resources)

Neural information processing24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.Part VI / by: (Electronic resources)

Reversible computation9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings / by: (Electronic resources)

VLSI-SoCopportunities 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: (Electronic resources)

Computer science - CACIC 201824th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers / by: (Electronic resources)

VLSI-SoCdesign 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: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part III / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part V / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part II / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part II / by: (Electronic resources)

Conceptual spaceselaborations and applications / by: (Electronic resources)

Cloud computing and big data7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers / by: (Electronic resources)

Parallel computational technologies13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers / by: (Electronic resources)

Biomimetic and biohybrid systems8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings / by: (Electronic resources)

Progress in cryptology - LATINCRYPT 20175th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20-22, 2017 : revised selected papers / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XLII by: (Electronic resources)

Accelerator programming using directives4th 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: (Electronic resources)

Euro-Par 2018parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018 : proceedings / by: (Electronic resources)

Evolving OpenMP for evolving architectures14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017 : revised selected papers / by: (Electronic resources)

Languages and compilers for parallel computing30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017 : revised selected papers / by: (Electronic resources)

Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part I / by: (Electronic resources)

Model and design of improved current mode logic gatesdifferential and single-ended / by: (Electronic resources)

Introductory circuit theory by: (Electronic resources)

Quantum-dot cellular automata based digital logic circuitsa design perspective / by: (Electronic resources)

Logic synthesis and SOC prototypingRTL design using VHDL / by: (Electronic resources)

Well-quasi orders in computation, logic, language and reasoninga unifying concept of proof theory, automata theory, formal languages and descriptive set theory / by: (Electronic resources)

Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems / by: (Electronic resources)

Reversible computationextending horizons of computing : selected results of the COST Action IC1405 / by: (Electronic resources)

Euro-Par 2019parallel processing workshops : Euro-Par 2019 International Workshops, Gottingen, Germany, August 26-30, 2019 : revised selected papers / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part I / by: (Electronic resources)

Accelerator programming using directives6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019 : revised selected papers / by: (Electronic resources)

Reversible computation12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings / by: (Electronic resources)

How transistor area shrank by 1 million fold by: (Electronic resources)

OpenMPportable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings / 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)

Applied computer sciences in engineering6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019 : proceedings / by: (Electronic resources)

Creativity in intelligent technologies and data sciencethird Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019 : proceedings.Part II / by: (Electronic resources)

High-performance computing applications in numerical simulation and edge computingACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018 : revised selected papers / by: (Electronic resources)

Architecture of computing systems - ARCS 201932nd International Conference, Copenhagen, Denmark, May 20-23, 2019 : proceedings / by: (Electronic resources)

Euro-Par 2019parallel processing : 25th International Conference on Parallel and Distributed Computing, Gottingen, Germany, August 26-30, 2019 : proceedings / by: (Electronic resources)

High performance computing34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019 : proceedings / by: (Electronic resources)

OpenMPconquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / by: (Electronic resources)

Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings / by: (Electronic resources)

Software architecture13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / by: (Electronic resources)

System analysis and modelinglanguages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings / by: (Electronic resources)

AI and UXwhy artificial intelligence needs user experience / by: (Electronic resources)

Supercomputing6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020 : revised selected papers / by: (Electronic resources)

High-speed serial buses in embedded systems by: (Electronic resources)

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

Problem solving in operation management by: (Electronic resources)

Dual mode logica new paradigm for digital IC design / by: (Electronic resources)

ASIC design and synthesisRTL design using Verilog / by: (Electronic resources)

Euro-Par 2020parallel processing workshops : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020 : revised selected papers / by: (Electronic resources)

High performance computing7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020 : revised selected papers / by: (Electronic resources)

High performance computing36th International Conference, ISC High Performance 2021, virtual event, June 24 - July 2, 2021 : proceedings / by: (Electronic resources)

Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (Electronic resources)

Parallel computing technologies16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing24th international workshop, JSSPP 2021, virtual event, May 21, 2021 : revised selected papers / by: (Electronic resources)

Computer architecture and organizationfundamentals and architecture security / by: (Electronic resources)

High performance computingISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24-July 2, 2021 : revised selected papers / 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)

Digital logic design using Verilogcoding and RTL synthesis / by: (Electronic resources)

Introduction to microprocessor-based systems design by: (Electronic resources)

Digital design techniques and exercisesa practice book for digital logic design / by: (Electronic resources)

New developments in legal reasoning and logicfrom ancient law to modern legal systems / by: (Electronic resources)

High performance computing8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6-8, 2021 : revised selected papers / by: (Electronic resources)

High performance computing37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29-June 2, 2022 : proceedings / by: (Electronic resources)

Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings / by: (Electronic resources)

VLSI physical design: from graph partitioning to timing closure by: (Electronic resources)

Logic functions and equationsfundamentals and applications using the XBOOLE-Monitor / by: (Electronic resources)

Software defined chips.Volume I by: (Electronic resources)

Job scheduling strategies for parallel processing25th International Workshop, JSSPP 2022, virtual event, June 3, 2022 : revised selected papers / by: (Electronic resources)

Fundamentals of modern electric circuit analysis and filter synthesisa transfer function approach / by: (Electronic resources)

Digital design from the VLSI perspectiveconcepts for VLSI beginners / by: (Electronic resources)

Software defined chips.Volume II by: (Electronic resources)

Guessing random additive noise decodinga hardware perspective / by: (Electronic resources)

Parallel computing technologies17th International Conference, PaCT 2023, Almaty, Kazakhstan, August 21-25, 2023 : proceedings / by: (Electronic resources)

Reversible computation15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing26th Workshop, JSSPP 2023, St. Petersburg, Fl, USA, May 19, 2023 : revised selected papers / by: (Electronic resources)

Reversible computation16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings / by: (Electronic resources)

Quick start guide to Verilog by: (Electronic resources)

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

Quick start guide to VHDL by: (Electronic resources)

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

Logic circuit designselected topics and methods / by: (Electronic resources)

Active object languagescurrent research trends / by: (Electronic resources)