Computer Hardware.
Overview
| Works: | 319 works in 109 publications in 109 languages | |
|---|---|---|
Titles
Architecture Description Languages = IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
by:
(Language materials, printed)
CMOS Active Inductors and Transformers = Principle, Implementation, and Applications /
by:
(Language materials, printed)
Embedded systems specification and design languages = selected contributions from FDL'07 /
by:
(Language materials, printed)
Practical Aspects of Embedded System Design using Microcontrollers
by:
(Language materials, printed)
Computational intelligence in analog and mixed-signal (AMS) and radio-frequency (RF) circuit design
by:
(Language materials, printed)
Computational intelligence in digital and network designs and applications
by:
(Language materials, printed)
Reconfigurable Computing: Architectures, Tools and Applications = 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /
by:
(Language materials, printed)
Systemverilog for verification = a guide to learning the testbench language features /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings /
by:
(Language materials, printed)
Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /
by:
(Language materials, printed)
Correct Hardware Design and Verification Methods : = 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings
by:
(Language materials, printed)
Power-Aware Computer Systems : = 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
by:
(Language materials, printed)
Design, Automation, and Test in Europe = The Most Influential Papers of 10 Years Date /
by:
(Language materials, printed)
Introduction to Assembly Language Programming = For Pentium and RISC Processors /
by:
(Language materials, printed)
System-Level Design Techniques for Energy-Efficient Embedded Systems
by:
(Language materials, printed)
In-memory data management = an inflection point for enterprise applications /
by:
(Language materials, printed)
SystemC Kernel Extensions for Heterogeneous System Modeling = A framework for Multi-MoC Modeling & Simulation /
by:
(Language materials, printed)
Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
by:
(Language materials, printed)
Advances in power electronics and instrumentation engineering = second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
by:
(Language materials, printed)
Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers /
by:
(Language materials, printed)
High performance computing = second Latin American Conference, CARLA 2015, Petropolis, Brazil, August 26-28, 2015 : proceedings /
by:
(Language materials, printed)
Applications and usability of interactive TV = third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, held as part of Webmedia 2014, Joao Pessoa, PB, Brazil, November 18-21, 2014 : revised selected papers /
by:
(Language materials, printed)
VLSI-SoC = at the crossroads of emerging trends : 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013 : revised and extended selected papers /
by:
(Language materials, printed)
VLSI-SoC: internet of things foundations = 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014 : revised and extended selected papers /
by:
(Language materials, printed)
Embedded multimedia security systems = algorithms and architectures /
by:
(Language materials, printed)
Proceedings of the third International Conference on Trends in Information, Telecommunication and Computing
by:
(Language materials, printed)
Concurrent programming = algorithms, principles, and foundations /
by:
(Language materials, printed)
Euro-Par 2012: Parallel processing workshops = BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012 : revised selected papers /
by:
(Language materials, printed)
Reconfigurable computing: Architectures, tools and applications = 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013 : proceedings /
by:
(Language materials, printed)
Grid and pervasive computing = 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013 : 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)
Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
by:
(Language materials, printed)
VLSI-SoC = from algorithms to circuits and system-on-chip design : 20th IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012 : revised selected papers /
by:
(Language materials, printed)
VLSI design and test = 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013 : revised selected papers /
by:
(Language materials, printed)
Onboard computers, onboard software and satellite operations = an introduction /
by:
(Language materials, printed)
SystemVerilog for verification = a guide to learning the testbench language features /
by:
(Language materials, printed)
Bio-inspired technologies for the hardware of adaptive systems = real-world implementations and applications /
by:
(Language materials, printed)
Reconfigurable computing = architectures, tools and applications : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /
by:
(Language materials, printed)
Applications of evolutionary computing = EvoWorkshops 2009 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tubingen, Germany, April 15-17, 2009. Proceedings /
by:
(Language materials, printed)
Pervasive healthcare computing = EMR/EHR, wireless and health monitoring /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 /
by:
(Language materials, printed)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(Language materials, printed)
Applied reconfigurable computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 : proceedings /
by:
(Language materials, printed)
Multiple constant multiplication optimizations for field programmable gate arrays
by:
(Language materials, printed)
Cognitive radio oriented wireless networks = 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016 : proceedings /
by:
(Language materials, printed)
Building Arduino projects for the internet of things = experiments with real-world applications /
by:
(Language materials, printed)
Cyber-physical attack recovery procedures = a step-by-step preparation and response guide /
by:
(Language materials, printed)
Constructive side-channel analysis and secure design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016 : revised selected papers /
by:
(Language materials, printed)
Cryptographic hardware and embedded systems - CHES 2016 = 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016 : proceedings /
by:
(Language materials, printed)
VLSI-SoC = design for reliability, security, and low power : 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015 : revised selected papers /
by:
(Language materials, printed)
Robotics = 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlandia, Brazil, October 28 - November 1, 2015 : revised selected papers /
by:
(Language materials, printed)
OpenMP = memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings /
by:
(Language materials, printed)
History and philosophy of computing = third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers /
by:
(Language materials, printed)
Supercomputing = second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers /
by:
(Language materials, printed)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
(Language materials, printed)
Parallel computational technologies = 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017 : revised selected papers /
by:
(Language materials, printed)
Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Task scheduling for multi-core and parallel architectures = challenges, solutions and perspectives /
by:
(Language materials, printed)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Language materials, printed)
VLSI design and test = 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017 : revised selected papers /
by:
(Language materials, printed)
System level design from HW/SW to memory for embedded systems = 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguacu, Brazil, November 3-6, 2015 : proceedings /
by:
(Language materials, printed)
VLSI-SoC = system-on-chip in the nanoscale era - design, verification and reliability : 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016 : revised selected papers /
by:
(Language materials, printed)
Advanced multicore systems-on-chip = architecture, on-chip network, design /
by:
(Language materials, printed)
Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Thread and data mapping for multicore systems = improving communication and memory accesses /
by:
(Language materials, printed)
Cloud computing and service science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017 : revised selected papers /
by:
(Language materials, printed)
Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
(Language materials, printed)
Learn Raspberry Pi programming with Python = learn to program on the world's most popular tiny computer /
by:
(Language materials, printed)
Search-based software engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018 : proceedings /
by:
(Language materials, printed)
Medical image computing and computer assisted intervention - MICCAI 2018 = 21st International Conference, Granada, Spain, September 16-20, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
Simulation, image processing, and ultrasound systems for assisted diagnosis and navigation = International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018 : proceedings /
by:
(Language materials, printed)
System analysis and modeling = languages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018 : proceedings /
by:
(Language materials, printed)
The innovation in computing companion = a compendium of select, pivotal inventions /
by:
(Language materials, printed)
Security, privacy, and applied cryptography engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018 : proceedings /
by:
(Language materials, printed)
Cyber physical systems = design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers /
by:
(Language materials, printed)
Cryptographic hardware and embedded systems - CHES 2017 = 19th International Conference, Taipei, Taiwan, September 25-28, 2017 : proceedings /
by:
(Language materials, printed)
Network and parallel computing = 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017 : proceedings /
by:
(Language materials, printed)
Parallel computing technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings /
by:
(Language materials, printed)
Become ITIL Foundation certified in 7 days = learning ITIL made simple with real-life examples /
by:
(Language materials, printed)
Beginning C for Arduino, Second Edition = Learn C Programming for the Arduino /
by:
(Language materials, printed)
Computational Intelligence in Digital and Network Designs and Applications
by:
(Language materials, printed)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(Language materials, printed)
Wireless-Netzwerke für den Nahbereich = Eingebettete Funksysteme: Vergleich von standardisierten und proprietären Verfahren /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /
by:
(Language materials, printed)
Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
(Language materials, printed)
Masterkurs Parallele und Verteilte Systeme = Grundlagen und Programmierung von Multicore-Prozessoren, Multiprozessoren, Cluster, Grid und Cloud /
by:
(Language materials, printed)
Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
by:
(Language materials, printed)
VLSI-SoC: Internet of Things Foundations = 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings /
by:
(Language materials, printed)
VLSI-SoC: At the Crossroads of Emerging Trends = 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers /
by:
(Language materials, printed)
Applications and Usability of Interactive TV = Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings /
by:
(Language materials, printed)
Cognitive Radio Oriented Wireless Networks = 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings /
by:
(Language materials, printed)
Languages, Design Methods, and Tools for Electronic System Design = Selected Contributions from FDL 2014 /
by:
(Language materials, printed)
Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
by:
(Language materials, printed)
Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications /
by:
(Language materials, printed)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Mobile Computing = Grundlagen – Prozesse und Plattformen – Branchen und Anwendungsszenarien /
by:
(Language materials, printed)
Game of Colors: Moderne Bewegtbildproduktion = Theorie und Praxis für Film, Video und Fernsehen /
by:
(Language materials, printed)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(Language materials, printed)
VLSI-SoC: Design for Reliability, Security, and Low Power = 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers /
by:
(Language materials, printed)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Cryptographic Hardware and Embedded Systems – CHES 2016 = 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Robotics = 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Cyber-Physical Attack Recovery Procedures = A Step-by-Step Preparation and Response Guide /
by:
(Language materials, printed)
The Innovation in Computing Companion = A Compendium of Select, Pivotal Inventions /
by:
(Language materials, printed)
Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
by:
(Language materials, printed)
Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation = International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16–20, 2018, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings /
by:
(Language materials, printed)
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering = 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings /
by:
(Language materials, printed)
Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2018 = 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
by:
(Language materials, printed)
Learn Raspberry Pi Programming with Python = Learn to Program on the World's Most Popular Tiny Computer /
by:
(Language materials, printed)
Thread and Data Mapping for Multicore Systems = Improving Communication and Memory Accesses /
by:
(Language materials, printed)
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 = 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Cloud Computing and Service Science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Programming Languages and Systems = 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings /
by:
(Language materials, printed)
Progress in Cryptology – AFRICACRYPT 2018 = 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Augmented Cognition: Intelligent Technologies = 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Electromagnetic Information Leakage and Countermeasure Technique = Translated by Liu Jinming, Liu Ying, Zhang Zidong, Liu Tao /
by:
(Language materials, printed)
Cyber Physical Systems. Design, Modeling, and Evaluation = 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Psychology and Cognitive Ergonomics = 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings /
by:
(Language materials, printed)
VLSI Design and Test = 22nd International Symposium, VDAT 2018, Madurai, India, June 28-30, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Network and Parallel Computing = 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computer Vision – ACCV 2018 Workshops = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing for Computational Science – VECPAR 2018 = 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings /
by:
(Language materials, printed)
VLSI Design and Test = 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computational Methods and Clinical Applications for Spine Imaging = 5th International Workshop and Challenge, CSI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Raspberry Pi – Das technische Handbuch = Konfiguration, Hardware, Applikationsentwicklung /
by:
(Language materials, printed)
Schutz Kritischer Infrastrukturen im Verkehr = Security Engineering als ganzheitlicher Ansatz /
by:
(Language materials, printed)
Der PC als Medienzentrale = Betriebssysteme, Fernsehen, Videos, Spiele, Office, Netzwerke, Datenbanken /
by:
(Language materials, printed)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(Language materials, printed)
Tools and Techniques for High Performance Computing = Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Optical Network Design and Modeling = 23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13–16, 2019, Proceedings /
by:
(Language materials, printed)
Computernetze kompakt = Eine an der Praxis orientierte Einführung für Studium und Berufspraxis /
by:
(Language materials, printed)
Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Operating Systems / Betriebssysteme = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch /
by:
(Language materials, printed)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings /
by:
(Language materials, printed)
Benchmarking, Measuring, and Optimizing = Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14–16, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Beginning Sensor Networks with XBee, Raspberry Pi, and Arduino = Sensing the World with Python and MicroPython /
by:
(Language materials, printed)
Grundkurs Betriebssysteme = Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation, Virtualisierung /
by:
(Language materials, printed)
Wireless Sensor Networks = 14th China Conference, CWSN 2020, Dunhuang, China, September 18–21, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings /
by:
(Language materials, printed)
Reasoning Web. Declarative Artificial Intelligence = 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
by:
(Language materials, printed)
Quantencomputer = Von der Quantenwelt zur Künstlichen Intelligenz /
by:
(Language materials, printed)
Die Technik der Starrflügler-Drohnen = Eine Einführung in die Elektronik von UAVs /
by:
(Language materials, printed)
Reinforcement Learning Aided Performance Optimization of Feedback Control Systems
by:
(Language materials, printed)
Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography = Efficient Modular Exponential Techniques /
by:
(Language materials, printed)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Smart Grid and Innovative Frontiers in Telecommunications = 5th EAI International Conference, SmartGIFT 2020, Chicago, USA, December 12, 2020, Proceedings /
by:
(Language materials, printed)
Schutz Kritischer Infrastrukturen im Verkehr = Security Engineering als ganzheitlicher Ansatz /
by:
(Language materials, printed)
Embedded Systems – A Hardware-Software Co-Design Approach = Unleash the Power of Arduino! /
by:
(Language materials, printed)
Grundlagen der Elektrotechnik = Einführung für Studierende der Ingenieur- und Naturwissenschaften /
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Architectures for Cryptography and Source Coding in Non-Volatile Flash Memories
by:
(Language materials, printed)
Grundlagen der Elektrotechnik = Elektrisches und magnetisches Feld, Gleichstrom- und Wechselstromkreis, Drehstrom in der Antriebstechnik, Einführung mit Übungen /
by:
(Language materials, printed)
Practical Arduino Engineering = End to End Development with the Arduino, Fusion 360, 3D Printing, and Eagle /
by:
(Language materials, printed)
Wahrheit und Fake im postfaktisch-digitalen Zeitalter = Distinktionen in den Geistes- und IT-Wissenschaften /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(Language materials, printed)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
(Language materials, printed)
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification /
by:
(Language materials, printed)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(Language materials, printed)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
(Language materials, printed)
The Podcaster's Audio Handbook = A Technical Guide for Creative People /
by:
(Language materials, printed)
Learn to Program with Assembly = Foundational Learning for New Programmers /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings /
by:
(Language materials, printed)
Arduino IV: DIY Robots = 3D Printing, Instrumentation, and Control /
by:
(Language materials, printed)
Firmware Development = A Guide to Specialized Systemic Knowledge /
by:
(Language materials, printed)
VLSI-SoC: Technology Advancement on SoC Design = 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4–8, 2021, Revised and Extended Selected Papers /
by:
(Language materials, printed)
System Firmware = An Essential Guide to Open Source and Embedded Solutions /
by:
(Language materials, printed)
Computernetze kompakt = Eine praxisorientierte Einführung für Studium und Beruf /
by:
(Language materials, printed)
Programming the ARM® Cortex®-M4-based STM32F4 Microcontrollers with Simulink®
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 18th International Symposium, ARC 2022, Virtual Event, September 19–20, 2022, Proceedings /
by:
(Language materials, printed)
Embedded Software Design = A Practical Approach to Architecture, Processes, and Coding Techniques /
by:
(Language materials, printed)
Programming Arduino Projects with the PIC Microcontroller = A Line-by-Line Code Analysis and Complete Reference Guide for Embedded Programming in C /
by:
(Language materials, printed)
Architecture of Computing Systems = 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings /
by:
(Language materials, printed)
Formal Verification of Floating-Point Hardware Design = A Mathematical Approach /
by:
(Language materials, printed)
Corona und die anderen Wissenschaften = Interdisziplinäre Lehren aus der Pandemie /
by:
(Language materials, printed)
Bits und Bytes in Mikrochips = Grundlagen der Technischen Informatik am Beispiel moderner Hardware /
by:
(Language materials, printed)
The Complete Guide to SCION = From Design Principles to Formal Verification /
by:
(Language materials, printed)
Linguistic Methods Under Fuzzy Information in System Safety and Reliability Analysis
by:
(Language materials, printed)
Lehrgang Elektrotechnik und Elektronik = Theoretische Grundlagen der Elektrotechnik und Elektronik mit ihren Anwendungen zur Analyse elektrotechnischer Prozesse /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13–14, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Software Verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Finite State Machine Datapath Design, Optimization, and Implementation
by:
(Language materials, printed)
Designing modern embedded systems = software, hardware, and applications : 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022 : proceedings /
by:
(Language materials, printed)
Pervasive computing technologies for healthcare = 16th EAI International Conference, Pervasive Health 2022, Thessaloniki, Greece, December 12-14, 2022 : proceedings /
by:
(Language materials, printed)
Architecture of computing systems = 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023 : proceedings /
by:
(Language materials, printed)
Applied reconfigurable computing = architectures, tools, and applications : 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023 : proceedings /
by:
(Language materials, printed)
Konrad Zuse's early computers = the quest for the computer in Germany /
by:
(Language materials, printed)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II /
by:
(Language materials, printed)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I /
by:
(Language materials, printed)
Understanding computer organization = a guide to principles across RISC-V, ARM Cortex, and Intel architectures /
by:
(Language materials, printed)
Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
(Language materials, printed)
Architecture of computing systems = 37th International Conference, ARCS 2024, Potsdam, Germany, May 14-16, 2024 : proceedings /
by:
(Language materials, printed)
Industrial vision systems with Raspberry Pi = build and design vision products using Python and OpenCV /
by:
(Language materials, printed)
VLSI-SoC 2023 = innovations for trustworthy artificial intelligence : 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023 : revised extended selected papers /
by:
(Language materials, printed)
Competitive semiconductor product management = navigating the future of semiconductor technology in the AI era /
by:
(Language materials, printed)
Demand-side energy and power management in data centers = are data centers modern societies' double-edged sword? /
by:
(Language materials, printed)
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Applied reconfigurable computing = architectures, tools, and applications : 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025 : proceedings /
by:
(Language materials, printed)
Verified software = theories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers /
by:
(Language materials, printed)
Yocto Project customization for Linux = the essential guide for embedded developers /
by:
(Language materials, printed)
Show more
Fewer
Subjects