Computer Hardware.

Pervasive computing technologies for healthcare = 16th EAI International Conference, Pervasive Health 2022, Thessaloniki, Greece, December 12-14, 2022 : proceedings / 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)

Tales of electrologica = computers, software and people / by: (Language materials, printed)

Multiple-Valued Logic = Concepts and Representations / by: (Language materials, printed)

Finite State Machine Datapath Design, Optimization, and Implementation by: (Language materials, printed)

Pragmatic Logic by: (Language materials, printed)

PSpice for Digital Signal Processing by: (Language materials, printed)

PSpice for Analog Communications Engineering by: (Language materials, printed)

PSpice for Digital Communications Engineering by: (Language materials, printed)

PSpice for Circuit Theory and Electronic Devices by: (Language materials, printed)

Pragmatic Circuits = Signals and Filters / by: (Language materials, printed)

Pragmatic Circuits = Frequency Domain / by: (Language materials, printed)

Pragmatic Circuits = DC and Time Domain / by: (Language materials, printed)

Microcontrollers Fundamentals for Engineers and Scientists by: (Language materials, printed)

Atmel AVR Microcontroller Primer = Programming and Interfacing / by: (Language materials, printed)

PSpice for Filters and Transmission Lines by: (Language materials, printed)

Introduction to Logic Synthesis using Verilog HDL by: (Language materials, printed)

High-Speed Digital System Design 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)

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)

Lehrgang Elektrotechnik und Elektronik = Theoretische Grundlagen der Elektrotechnik und Elektronik mit ihren Anwendungen zur Analyse elektrotechnischer Prozesse / by: (Language materials, printed)

Linguistic Methods Under Fuzzy Information in System Safety and Reliability Analysis by: (Language materials, printed)

Mesh Generation and Adaptation = Cutting-Edge Techniques / by: (Language materials, printed)

The Complete Guide to SCION = From Design Principles to Formal Verification / by: (Language materials, printed)

Bits und Bytes in Mikrochips = Grundlagen der Technischen Informatik am Beispiel moderner Hardware / by: (Language materials, printed)

Corona und die anderen Wissenschaften = Interdisziplinäre Lehren aus der Pandemie / by: (Language materials, printed)

Formal Verification of Floating-Point Hardware Design = A Mathematical Approach / by: (Language materials, printed)

Optimization Models in Software Reliability by: (Language materials, printed)

National Cyber Summit (NCS) Research Track 2021 by: (Language materials, printed)

Machine Learning and Non-volatile Memories by: (Language materials, printed)

Architecture of Computing Systems = 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings / 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)

Embedded Software Design = A Practical Approach to Architecture, Processes, and Coding Techniques / 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)

Automated Technology for Verification and Analysis = 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by: (Language materials, printed)

Programming the ARM® Cortex®-M4-based STM32F4 Microcontrollers with Simulink® by: (Language materials, printed)

Computernetze kompakt = Eine praxisorientierte Einführung für Studium und Beruf / by: (Language materials, printed)

System Firmware = An Essential Guide to Open Source and Embedded Solutions / 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)

Firmware Development = A Guide to Specialized Systemic Knowledge / by: (Language materials, printed)

Arduino IV: DIY Robots = 3D Printing, Instrumentation, and Control / 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)

Learn to Program with Assembly = Foundational Learning for New Programmers / by: (Language materials, printed)

The Podcaster's Audio Handbook = A Technical Guide for Creative People / 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)

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)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 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)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (Language materials, printed)

Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification / 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)

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)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / by: (Language materials, printed)

Wahrheit und Fake im postfaktisch-digitalen Zeitalter = Distinktionen in den Geistes- und IT-Wissenschaften / by: (Language materials, printed)

Practical Arduino Engineering = End to End Development with the Arduino, Fusion 360, 3D Printing, and Eagle / 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)

Algorithms and Architectures for Cryptography and Source Coding in Non-Volatile Flash Memories 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)

Reliability Engineering and Computational Intelligence by: (Language materials, printed)

Grundlagen der Elektrotechnik = Einführung für Studierende der Ingenieur- und Naturwissenschaften / by: (Language materials, printed)

Embedded Systems – A Hardware-Software Co-Design Approach = Unleash the Power of Arduino! / by: (Language materials, printed)

Practical Linux with Raspberry Pi OS = Quick Start / by: (Language materials, printed)

Schutz Kritischer Infrastrukturen im Verkehr = Security Engineering als ganzheitlicher Ansatz / 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)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (Language materials, printed)

Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography = Efficient Modular Exponential Techniques / by: (Language materials, printed)

Reinforcement Learning Aided Performance Optimization of Feedback Control Systems by: (Language materials, printed)

Logic Gates, Circuits, Processors, Compilers and Computers by: (Language materials, printed)

Die Technik der Starrflügler-Drohnen = Eine Einführung in die Elektronik von UAVs / by: (Language materials, printed)

Quantencomputer = Von der Quantenwelt zur Künstlichen Intelligenz / 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)

Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings / 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)

Beginning Sensor Networks with XBee, Raspberry Pi, and Arduino = Sensing the World with Python and MicroPython / 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)

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)

Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / by: (Language materials, printed)

Operating Systems / Betriebssysteme = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch / by: (Language materials, printed)

Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Computernetze kompakt = Eine an der Praxis orientierte Einführung für Studium und Berufspraxis / by: (Language materials, printed)

Echtzeitsysteme = Grundlagen der Planung / 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)

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)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 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)

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

Der PC als Medienzentrale = Betriebssysteme, Fernsehen, Videos, Spiele, Office, Netzwerke, Datenbanken / by: (Language materials, printed)

Schutz Kritischer Infrastrukturen im Verkehr = Security Engineering als ganzheitlicher Ansatz / by: (Language materials, printed)

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)

The Complete IS-IS Routing Protocol 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)

Post-silicon and runtime verification for modern processors 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 Test and Validation of Hardware/Software Systems by: (Language materials, printed)

Taking Your iPhone to the Max 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)

Taking your iPod touch to the max 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)

Evolvable hardware = from practice to application / 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)

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

Inside solid state drives (SSDs) 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)

Distributed algorithms for message-passing systems by: (Language materials, printed)

Multicore systems on-chip = practical software/hardware design / by: (Language materials, printed)

Computer arithmetic = algorithms and hardware implementations / 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)

Performance metrics for haptic interfaces by: (Language materials, printed)

Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / by: (Language materials, printed)

Fault analysis in cryptography 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)

In-memory data management = technology and applications / by: (Language materials, printed)

Hardware software co-design of a multimedia SOC platform / 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)

Embedded memories for nano-scale VLSIs by: (Language materials, printed)

Artificial life models in hardware by: (Language materials, printed)

Memristor networks by: (Language materials, printed)

Low-power VLSI circuits and systems by: (Language materials, printed)

Air flow management in raised floor data centers 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)

Beginning Samsung ARTIK = a guide for developers / by: (Language materials, printed)

Mac OS X for absolute beginners 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)

Crafting wearables = blending technology with fashion / 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)

System architecture = an ordinary engineering discipline / 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)

Secure data deletion by: (Language materials, printed)

Samsung ARTIK reference = the definitive Developers guide / 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)

Beginning artificial intelligence with the Raspberry Pi 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)

Research advances in cloud computing 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)

System and architecture = proceedings of CSI 2015 / 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)

Inside solid state drives (SSDs) 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)

Interrupt handling schemes in operating systems 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)

Scientific computing = a historical perspective / by: (Language materials, printed)

Advanced Raspberry Pi = Raspbian Linux and GPIO Integration / 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)

Policy-based autonomic data governance 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)

Electromagnetic information leakage and countermeasure technique 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)

Evolvable Hardware = From Practice to Application / 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)

Robot Building for Beginners, Third Edition 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)

Low-Power VLSI Circuits and Systems by: (Language materials, printed)

Air Flow Management in Raised Floor Data Centers 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)

System Architecture = An Ordinary Engineering Discipline / by: (Language materials, printed)

Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers / by: (Language materials, printed)

Digitaltechnik = Grundlagen, VHDL, FPGAs, Mikrocontroller / by: (Language materials, printed)

Beginning Samsung ARTIK = A Guide for Developers / 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)

Samsung ARTIK Reference = The Definitive Developers Guide / 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)

Crafting Wearables = Blending Technology with Fashion / 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)

Secure Data Deletion by: (Language materials, printed)

Scientific Computing = A Historical Perspective / by: (Language materials, printed)

The Innovation in Computing Companion = A Compendium of Select, Pivotal Inventions / by: (Language materials, printed)

Computernetze kompakt 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)

System and Architecture = Proceedings of CSI 2015 / 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)

Advanced Raspberry Pi = Raspbian Linux and GPIO Integration / 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)

Interrupt Handling Schemes in Operating Systems 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)

Übungsaufgaben zur Halbleiter-Schaltungstechnik 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)

Inside Solid State Drives (SSDs) 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)

Handbook of Memristor Networks 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)

Massive MIMO Detection Algorithm and VLSI Architecture 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)

Policy-Based Autonomic Data Governance 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)

Einführung in die Halbleiter-Schaltungstechnik 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)

Smart Computational Strategies: Theoretical and Practical Aspects 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)