Logic Design.

Cryptographic Hardware and Embedded Systems - CHES 20057th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (書目-電子資源)

Evolvable Systems :From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (書目-電子資源)

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

Dependable Computing :Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-電子資源)

Advances in Computer Systems Architecture :10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings by: (書目-電子資源)

High Performance Embedded Architectures and Compilers :First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing :11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (書目-電子資源)

Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (書目-電子資源)

Logic Synthesis for Compositional Microprogram Control Units by: (書目-電子資源)

Practical Problems in VLSI Physical Design Automation by: (書目-電子資源)

High-Level SynthesisFrom Algorithm to Digital Circuit / by: (書目-電子資源)

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

High performance embedded architectures and compilersfourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings / by: (書目-電子資源)

Functional design errors in digital circuitsdiagnosis, correction and repair / by: (書目-電子資源)

Introduction to embedded system design using field programmable gate arrays by: (書目-電子資源)

Computer performance evaluation and benchmarkingSpec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (書目-電子資源)

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

Transactions on high-performance embedded architectures and compilers.II by: (書目-電子資源)

Fundamental problems in computingessays in honor of Professor Daniel J. Rosenkrantz / by: (書目-電子資源)

Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings / by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (書目-電子資源)

Logic synthesis for FSM-based control units by: (書目-電子資源)

More than Moorecreating high value micro/nanoelectronics systems / by: (書目-電子資源)

High performance embedded architectures and compilers5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings / by: (書目-電子資源)

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

Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-電子資源)

Speech processing in embedded systems by: (書目-電子資源)

VLSI physical designfrom graph partitioning to timing closure / by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers III by: (書目-電子資源)

Regular nanofabrics in emerging technologiesdesign and fabrication methods for nanoscale digital circuits / by: (書目-電子資源)

Advances in power electronics and instrumentation engineeringsecond international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (書目-電子資源)

Trust networks for recommender systems by: (書目-電子資源)

Theory and application of satisfiability testingSAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers IV by: (書目-電子資源)

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

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

Compact models and measurement techniques for high-speed interconnects by: (書目-電子資源)

Logic circuit designselected methods / by: (書目-電子資源)

Answer set programming for continuous domainsa fuzzy logic approach / by: (書目-電子資源)

Progress in VLSI design and test16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (書目-電子資源)

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

Advanced symbolic analysis for VLSI systemsmethods and applications / by: (書目-電子資源)

Reversible computation6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (書目-電子資源)

Johan van Benthem on logic and information dynamics by: (書目-電子資源)

Design of experiments for reinforcement learning by: (書目-電子資源)

Computer engineering and technology18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014 : revised selected papers / by: (書目-電子資源)

Introduction to annotated logicsfoundations for paracomplete and paraconsistent reasoning / by: (書目-電子資源)

Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (書目-電子資源)

High performance integer arithmetic circuit design on FPGAarchitecture, implementation and design automation / by: (書目-電子資源)

Reversible logic synthesis methodologies with application to quantum computing by: (書目-電子資源)

Hierarchical type-2 fuzzy aggregation of fuzzy controllers by: (書目-電子資源)

Digital logic design sing Verilogcoding and RTL synthesis / by: (書目-電子資源)

Practical Hadoop migrationhow to integrate your RDBMS with the Hadoop ecosystem and re-architect relational applications to NoSQL / by: (書目-電子資源)

Brain-inspired computingsecond International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers / by: (書目-電子資源)

New data structures and algorithms for logic synthesis and verification by: (書目-電子資源)

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

Separation logic for high-level synthesis by: (書目-電子資源)

Building Arduino PLCsthe essential techniques you need to develop Arduino-based PLCs / by: (書目-電子資源)

Applications of evolutionary computation20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings.Part II / by: (書目-電子資源)

Applications of evolutionary computation20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings.Part I / by: (書目-電子資源)

Testing of interposer-based 2.5D integrated circuits by: (書目-電子資源)

From variability tolerance to approximate computing in parallel integrated architectures and accelerators by: (書目-電子資源)

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

Fundamentals of electronic systems design by: (書目-電子資源)

Artificial intelligence and soft computing16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.Part II / by: (書目-電子資源)

Artificial intelligence and soft computing16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.Part I / by: (書目-電子資源)

Theory and practice of model transformation10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (書目-電子資源)

Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (書目-電子資源)

Scaling OpenMP for exascale performance and portability13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (書目-電子資源)

Search based software engineering9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (書目-電子資源)

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

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

Artificial neural networks and machine learning - ICANN 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part I / by: (書目-電子資源)

Artificial neural networks and machine learning - ICANN 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part II / by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XXXIVspecial issue on consistency and inconsistency in data-centric applications / by: (書目-電子資源)

Meaning and proscription in formal logicvariations on the propositional logic of William T. Parry / by: (書目-電子資源)

ASIC/SoC functional design verificationa comprehensive guide to technologies and methodologies / by: (書目-電子資源)

Design of FPGA-based computing systems with OpenCL by: (書目-電子資源)

High performance computing systemsperformance modeling, benchmarking, and aimulation : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologiesbig compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017 : revised selected papers / by: (書目-電子資源)

Reliable and energy efficient streaming multiprocessor systems by: (書目-電子資源)

Euro-Par 2017parallel processing workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers / by: (書目-電子資源)

Post-quantum cryptography9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings / by: (書目-電子資源)

Architecture of computing systems - ARCS 201831st International Conference, Braunschweig, Germany, April 9-12, 2018 : proceedings / by: (書目-電子資源)

Topics in cryptology - CT-RSA 2018the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings / by: (書目-電子資源)

Supercomputing frontiers4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (書目-電子資源)

Parallel processing and applied mathematics12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.Part I / by: (書目-電子資源)

Parallel processing and applied mathematics12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.Part II / by: (書目-電子資源)

Simulation and optimization of digital circuitsconsidering and mitigating destabilizing factors / by: (書目-電子資源)

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

Computational Science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part I / by: (書目-電子資源)

Computational Science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part II / by: (書目-電子資源)

Computational science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part III / by: (書目-電子資源)

Model-driven engineering and software development5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Embedded systems technology15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017 : revised selected papers / by: (書目-電子資源)

Bioinformatics research and applications14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings / by: (書目-電子資源)

Parallel computational technologies12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers / by: (書目-電子資源)

Principles and structures of FPGAs by: (書目-電子資源)

Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (書目-電子資源)

Advanced computer architecture12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings / by: (書目-電子資源)

Machine learning for medical image reconstructionfirst International Workshop, MLMIR 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018 : proceedings / by: (書目-電子資源)

Transactions on computational science XXXIII by: (書目-電子資源)

Stabilization, safety, and security of distributed systems20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings / by: (書目-電子資源)

High performance computingISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.Part III / by: (書目-電子資源)

Algorithms and architectures for parallel processing18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.Part I / by: (書目-電子資源)

Network and parallel computing15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings / by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XXXIXSpecial Issue on Database- and Expert-Systems Applications / by: (書目-電子資源)

Beyond-CMOS technologies for next generation computer design by: (書目-電子資源)

Introduction to digital systems design by: (書目-電子資源)

Test generation of crosstalk delay faults in VLSI circuits by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XLISpecial Issue on Data and Security Engineering / by: (書目-電子資源)

Harnessing performance variability in embedded and high-performance many/multi-core platformsa cross-layer approach / by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers V by: (書目-電子資源)

Fundamentals of modern electric circuit analysis and filter synthesisa transfer function approach / by: (書目-電子資源)

Stochastic computingtechniques and applications / by: (書目-電子資源)

Quick start guide to Verilog by: (書目-電子資源)

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

High-performance modelling and simulation for big data applicationsselected results of the COST Action IC1406 cHiPSet / by: (書目-電子資源)

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

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

Machine learning in VLSI computer-aided design by: (書目-電子資源)

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

Computer engineering and technology22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018 : revised selected papers / by: (書目-電子資源)

Logic functions and equationsbinary models for computer science / by: (書目-電子資源)

Supercomputing4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018 : revised selected papers / by: (書目-電子資源)

Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers / by: (書目-電子資源)

Accelerator programming using Directives5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018 : proceedings / by: (書目-電子資源)

Euro-Par 2018parallel processing workshops : Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018 : revised selected papers / by: (書目-電子資源)

Quick start guide to VHDL by: (書目-電子資源)

Advanced HDL synthesis and SOC prototypingRTL design using verilog / by: (書目-電子資源)

Variant construction from theoretical foundation to applications by: (書目-電子資源)

Programming and performance visualization toolsInternational Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018 : revised selected papers / by: (書目-電子資源)

Trends in functional programming19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (書目-電子資源)

Analog circuit theory and filter design in the digital worldwith an introduction to the morphological method for creative solutions and design / by: (書目-電子資源)

Neural information processing24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.Part VI / by: (書目-電子資源)

Reversible computation9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings / by: (書目-電子資源)

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

Computer science - CACIC 201824th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers / by: (書目-電子資源)

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

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part I / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part III / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part V / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part II / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part II / by: (書目-電子資源)

Conceptual spaceselaborations and applications / by: (書目-電子資源)

Cloud computing and big data7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers / by: (書目-電子資源)

Parallel computational technologies13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers / by: (書目-電子資源)

Biomimetic and biohybrid systems8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings / by: (書目-電子資源)

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

Transactions on large-scale data- and knowledge-centered systems XLII by: (書目-電子資源)

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

Euro-Par 2018parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018 : proceedings / by: (書目-電子資源)

Evolving OpenMP for evolving architectures14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017 : revised selected papers / by: (書目-電子資源)

Languages and compilers for parallel computing30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017 : revised selected papers / by: (書目-電子資源)

Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part I / by: (書目-電子資源)

Model and design of improved current mode logic gatesdifferential and single-ended / by: (書目-電子資源)

Introductory circuit theory by: (書目-電子資源)

Quantum-dot cellular automata based digital logic circuitsa design perspective / by: (書目-電子資源)

Logic synthesis and SOC prototypingRTL design using VHDL / by: (書目-電子資源)

Well-quasi orders in computation, logic, language and reasoninga unifying concept of proof theory, automata theory, formal languages and descriptive set theory / by: (書目-電子資源)

Advanced Boolean techniquesselected papers from the 13th International Workshop on Boolean Problems / by: (書目-電子資源)

Reversible computationextending horizons of computing : selected results of the COST Action IC1405 / by: (書目-電子資源)

Euro-Par 2019parallel processing workshops : Euro-Par 2019 International Workshops, Gottingen, Germany, August 26-30, 2019 : revised selected papers / by: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part I / by: (書目-電子資源)

Accelerator programming using directives6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019 : revised selected papers / by: (書目-電子資源)

Reversible computation12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings / by: (書目-電子資源)

How transistor area shrank by 1 million fold by: (書目-電子資源)

OpenMPportable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings / by: (書目-電子資源)

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

Applied computer sciences in engineering6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Creativity in intelligent technologies and data sciencethird Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019 : proceedings.Part II / by: (書目-電子資源)

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

Architecture of computing systems - ARCS 201932nd International Conference, Copenhagen, Denmark, May 20-23, 2019 : proceedings / by: (書目-電子資源)

Euro-Par 2019parallel processing : 25th International Conference on Parallel and Distributed Computing, Gottingen, Germany, August 26-30, 2019 : proceedings / by: (書目-電子資源)

High performance computing34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019 : proceedings / by: (書目-電子資源)

OpenMPconquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings / by: (書目-電子資源)

Software architecture13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / by: (書目-電子資源)

System analysis and modelinglanguages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings / by: (書目-電子資源)

AI and UXwhy artificial intelligence needs user experience / by: (書目-電子資源)

Supercomputing6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020 : revised selected papers / by: (書目-電子資源)

High-speed serial buses in embedded systems by: (書目-電子資源)

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

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

Dual mode logica new paradigm for digital IC design / by: (書目-電子資源)

ASIC design and synthesisRTL design using Verilog / by: (書目-電子資源)

Euro-Par 2020parallel processing workshops : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020 : revised selected papers / by: (書目-電子資源)

High performance computing7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020 : revised selected papers / by: (書目-電子資源)

High performance computing36th International Conference, ISC High Performance 2021, virtual event, June 24 - July 2, 2021 : proceedings / by: (書目-電子資源)

Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (書目-電子資源)

Parallel computing technologies16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing24th international workshop, JSSPP 2021, virtual event, May 21, 2021 : revised selected papers / by: (書目-電子資源)

Computer architecture and organizationfundamentals and architecture security / by: (書目-電子資源)

High performance computingISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24-July 2, 2021 : revised selected papers / by: (書目-電子資源)

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

Digital logic design using Verilogcoding and RTL synthesis / by: (書目-電子資源)

Introduction to microprocessor-based systems design by: (書目-電子資源)

Digital design techniques and exercisesa practice book for digital logic design / by: (書目-電子資源)

New developments in legal reasoning and logicfrom ancient law to modern legal systems / by: (書目-電子資源)

High performance computing8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6-8, 2021 : revised selected papers / by: (書目-電子資源)

High performance computing37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29-June 2, 2022 : proceedings / by: (書目-電子資源)

Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings / by: (書目-電子資源)

VLSI physical design: from graph partitioning to timing closure by: (書目-電子資源)

Logic functions and equationsfundamentals and applications using the XBOOLE-Monitor / by: (書目-電子資源)

Software defined chips.Volume I by: (書目-電子資源)

Job scheduling strategies for parallel processing25th International Workshop, JSSPP 2022, virtual event, June 3, 2022 : revised selected papers / by: (書目-電子資源)

Fundamentals of modern electric circuit analysis and filter synthesisa transfer function approach / by: (書目-電子資源)

Digital design from the VLSI perspectiveconcepts for VLSI beginners / by: (書目-電子資源)

Software defined chips.Volume II by: (書目-電子資源)

Guessing random additive noise decodinga hardware perspective / by: (書目-電子資源)

Parallel computing technologies17th International Conference, PaCT 2023, Almaty, Kazakhstan, August 21-25, 2023 : proceedings / by: (書目-電子資源)

Reversible computation15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing26th Workshop, JSSPP 2023, St. Petersburg, Fl, USA, May 19, 2023 : revised selected papers / by: (書目-電子資源)

Reversible computation16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings / by: (書目-電子資源)

Quick start guide to Verilog by: (書目-電子資源)

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

Quick start guide to VHDL by: (書目-電子資源)

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

Logic circuit designselected topics and methods / by: (書目-電子資源)

Active object languagescurrent research trends / by: (書目-電子資源)