Control Structures and Microprogramming.

Embedded microcontroller interfacingdesigning integrated projects / by: (Electronic resources)

Enterprise MAC managed preferences by: (Electronic resources)

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

Unmanned rotorcraft systems by: (Electronic resources)

VLSI-SoCtechnologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers / by: (Electronic resources)

Thinkquest~2010international conference on Contours of Computing Technology on 13th and 14th March, 2010 / by: (Electronic resources)

An investigation into the detection and mitigation of denial of service (DoS) attackscritical information infrastructure protection / by: (Electronic resources)

Microelectronic systemscircuits, systems and applications / by: (Electronic resources)

Dependable and historic computingessays dedicated to Brian Randell on the occasion of his 75th birthday / by: (Electronic resources)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers / by: (Electronic resources)

The BOXES methodologyblack box dynamic control / by: (Electronic resources)

Body sensor networks by: (Language materials, printed)

Reflections on the history of computingpreserving memories and sharing stories / by: (Electronic resources)

Generative and transformational techniques in software engineering IIinternational summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (Electronic resources)

VLSI-SoC: Advanced Topics on Systems on a Chipa selection of extended versions of the best papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA / by: (Electronic resources)

Optimal design of distributed control and embedded systems by: (Electronic resources)

Body sensor networks by: (Electronic resources)

Digital signal processing with field programmable gate arrays by: (Electronic resources)

Embedded firmware solutionsdevelopment best practices for the internet of things / by: (Electronic resources)

Building your next big thing with Google cloud platforma guide for developers and enterprise architects / by: (Electronic resources)

Testing and validation of computer simulation modelsprinciples, methods and applications / by: (Electronic resources)

Real-Time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

Digital electronics for musicians by: (Electronic resources)

Embedded system technology13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers / by: (Electronic resources)

Building embedded systemsprogrammable hardware / by: (Electronic resources)

Theory of control systems described by differential inclusions by: (Electronic resources)

Real time control engineeringsystems and automation / by: (Electronic resources)

Learn electronics with Raspberry Piphysical computing with circuits, sensors, outputs, and projects / by: (Electronic resources)

Functional safety for road vehiclesnew challenges and solutions for e-mobility and automated driving / by: (Electronic resources)

Understanding control flowconcurrent programming using [mu]C++ / by: (Electronic resources)

Practical fashion techwearable technologies for costuming, cosplay, and everyday / by: (Electronic resources)

Beginning robotics programming in Java with LEGO Mindstorms by: (Electronic resources)

Cloud as a serviceunderstanding the service innovation ecosystem / by: (Electronic resources)

Analysis and synthesis of positive systems under l1 and L1 performance by: (Electronic resources)

Design of an intelligent embedded system for condition monitoring of an industrial robot by: (Electronic resources)

Prototyping of concurrent control systems implemented in FPGA devices by: (Electronic resources)

Machine learning control - taming nonlinear dynamics and turbulence by: (Electronic resources)

Deploying Raspberry Pi in the classroom by: (Electronic resources)

The use case and smart grid architecture model approachthe IEC 62559-2 use case template and the SGAM applied in various domains / by: (Electronic resources)

PLD based design with VHDLRTL design, synthesis and implementation / by: (Electronic resources)

Risk assessment and risk-driven quality assurance4th International Workshop, RISK 2016, held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016 : revised selected papers / by: (Electronic resources)

Constructive side-channel analysis and secure design8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017 : revised selected papers / by: (Electronic resources)

Programming in HTML and PHPcoding for scientists and engineers / by: (Electronic resources)

Expanding your Raspberry Pistorage, printing, peripherals, and network connections for your Raspberry Pi / by: (Electronic resources)

Selected areas in cryptography - SAC 201623rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers / by: (Electronic resources)

Mastering media with the Raspberry Pimedia centers, music, high end audio, video, and ultimate movie nights / by: (Electronic resources)

Critical information infrastructures security11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016 : revised selected papers / by: (Electronic resources)

Foundations of programming languages by: (Electronic resources)

Getting started with Tiva ARM Cortex M4 microcontrollersA lab manual for Tiva LaunchPad evaluation kit / by: (Electronic resources)

Hands-on experience with Altera FPGA development boards by: (Electronic resources)

VLSI designcircuits, systems and applications : select proceedings of ICNETS2.Volume V / by: (Electronic resources)

Intelligent engineering informaticsproceedings of the 6th International Conference on FICTA / by: (Electronic resources)

Real-Time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

Flight systems and controla practical approach / by: (Electronic resources)

Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (Electronic resources)

Introduction to parallel computingfrom algorithms to programming on state-of-the-art platforms / by: (Electronic resources)

On the physical security of physically unclonable functions by: (Electronic resources)

A tutorial introduction to VHDL programming by: (Electronic resources)

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

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

Constructive side-channel analysis and secure design10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3-5, 2019 : proceedings / by: (Electronic resources)

Radio navigation systems for airports and airways by: (Electronic resources)

Java in two semestersfeaturing JavaFX / by: (Electronic resources)

Emerging technologies for developing countriessecond EAI International Conference, AFRICATEK 2018, Cotonou, Benin, May 29-30, 2018 : proceedings / by: (Electronic resources)

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

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

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

Classical and modern controls with microcontrollersdesign, implementation, and applications / by: (Electronic resources)

Technological innovation for industry and service systems10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8-10, 2019 : proceedings / by: (Electronic resources)

Industrial applications of holonic and multi-agent systems8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings / by: (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (Electronic resources)

VLSI-SoCopportunities and challenges beyond the internet of things : 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017 : revised and extended selected papers / by: (Electronic resources)

Principles of radio navigation for ground and ship-based aircrafts by: (Electronic resources)

Cyber physical systemsmodel-based design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018 : revised selected papers / by: (Electronic resources)

Cloud computing and services science8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018 : revised selected papers / by: (Electronic resources)

Human activity sensingcorpus and applications / by: (Electronic resources)

Networked systems7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019 : revised selected papers / by: (Electronic resources)

Computational intelligence and optimization methods for control engineering by: (Electronic resources)

Model-based safety and assessment6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (Electronic resources)

Beginning x64 assembly programmingfrom novice to AVX professional / by: (Electronic resources)

Computer securityESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017 : revised selected papers / by: (Electronic resources)

Constructive side-channel analysis and secure design9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018 : proceedings / by: (Electronic resources)

Product-focused software process improvement19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018 : proceedings / by: (Electronic resources)

Computer engineering and technology23rd CCF Conference, NCCET 2019, Enshi, China, August 1-2, 2019 : revised selected papers / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings / by: (Electronic resources)

Supercomputing10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25-29, 2019 : revised selected papers / by: (Electronic resources)

Formal techniques for safety-critical systems7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (Electronic resources)

Programming languages and systems29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part II / by: (Electronic resources)

Fundamental approaches to software engineering23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (Electronic resources)

High performance computing6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25-27, 2019 : revised selected papers / by: (Electronic resources)

High performance computing systems19th Symposium, WSCAD 2018, Sao Paulo, Brazil, October 1-3, 2018 : revised selected papers / by: (Electronic resources)

Cyber physical systemsmodel-based design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019 : revised selected papers / by: (Electronic resources)

Model-driven engineering and software development7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers / by: (Electronic resources)

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

Air traffic control automated systems by: (Electronic resources)

Development of navigation technology for flight safety by: (Electronic resources)

A pipelined multi-core machine with operating system supporthardware implementation and correctness proof / by: (Electronic resources)

Rigorous state-based methods7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings / by: (Electronic resources)

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

Supercomputing frontiers6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020 : proceedings / by: (Electronic resources)

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

SystemVerilog for hardware descriptionRTL design and verification / by: (Electronic resources)

VLSI-SoCnew technology enabler : 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019 : revised and extended selected papers / by: (Electronic resources)

Large-scale disk failure predictionPAKDD 2020 Competition and Workshop, AI Ops 2020, February 7 - May 15, 2020 : revised selected papers / by: (Electronic resources)

Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (Electronic resources)

Euro-Par 2020parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings / by: (Electronic resources)

Trends in functional programming21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020 : revised selected papers / by: (Electronic resources)

Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (Electronic resources)

Advanced computer architecture13th Conference, ACA 2020, Kunming, China, August 13-15, 2020 : proceedings / by: (Electronic resources)

Software engineering and formal methodsSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (Electronic resources)

Search-based software engineering12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (Electronic resources)

Industrial applications of holonic and multi-agent systems9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019 : proceedings / by: (Electronic resources)

Supercomputing frontiers5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019 : proceedings / by: (Electronic resources)

Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings / by: (Electronic resources)

Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020 : revised selected papers / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 202017th International Colloquium, Macau, China, November 30 - December 4, 2020 : proceedings / by: (Electronic resources)

Smart card research and advanced applications18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019 : revised selected papers / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings / by: (Electronic resources)

Introduction to the theory of radiopolarimetric navigation systems by: (Electronic resources)

Verification, model checking, and abstract interpretation22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (Electronic resources)

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

Smart grid and innovative frontiers in telecommunications5th EAI International Conference, SmartGIFT 2020, Chicago, USA, December 12, 2020 : proceedings / by: (Electronic resources)

Accelerator programming using directives7th International Workshop, WACCPD 2020, virtual event, November 20, 2020 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part II / by: (Electronic resources)

Algorithm portfoliosadvances, applications, and challenges / by: (Electronic resources)

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

Robotic vehiclessystems and technology / by: (Electronic resources)

Mathematical modeling and supercomputer technologies20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020 : revised selected papers / by: (Electronic resources)

Parallel computational technologies15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021 : revised selected papers / by: (Electronic resources)

Structured object-oriented formal language and method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers / by: (Electronic resources)

Model and Data Engineering10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021 : proceedings / by: (Electronic resources)

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

Theory and applications of satisfiability testing - SAT 202124th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (Electronic resources)

VLSI-SoC design trends28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020 : revised and extended selected papers / by: (Electronic resources)

Real-time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (Electronic resources)

Data management technologies and applications9th International Conference, DATA 2020, virtual event, July 7-9, 2020 : revised selected papers / by: (Electronic resources)

Microelectronic devices, circuits and systemssecond International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021 : revised selected papers / by: (Electronic resources)

Cloud computing, big data & emerging topics9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 202118th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (Electronic resources)

Automated reasoning with analytic tableaux and related methods30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings / by: (Electronic resources)

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

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

Fundamentals of software engineering9th International Conference, FSEN 2021, virtual event, May 19-21, 2021 : revised selected papers / by: (Electronic resources)

Information security applications22nd International Conference, WISA 2021, Jeju Island, South Korea, August 11-13, 2021 : revised selected papers / by: (Electronic resources)

Supercomputing7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021 : revised selected papers / by: (Electronic resources)

Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (Electronic resources)

Stabilization, safety, and security of distributed systems23rd International Symposium, SSS 2021, virtual event, November 17-20, 2021 : proceedings / by: (Electronic resources)

Model checking, synthesis, and learningessays dedicated to Bengt Jonsson on the occasion of his 60th birthday / by: (Electronic resources)

A combined data and power management infrastructurefor small satellites / by: (Electronic resources)

Advanced robust nonlinear control approaches for quadrotor unmanned aerial vehicleroadmap to improve tracking-trajectory performance in the presence of external disturbances / by: (Electronic resources)

Renewable energy optimization, planning and controlproceedings of ICRTE 2021.Volume 1 / by: (Electronic resources)

The BOXES methodology second editionblack box control of ill-defined systems / by: (Electronic resources)

Smart structures in energy infrastructureproceedings of ICRTE 2021.Volume 2 / by: (Electronic resources)

High-performance computing systems and technologies in scientific research, automation of control and production11th International Conference, HPCST 2021, Barnaul, Russia, May 21-22, 2021 : revised selected papers / by: (Electronic resources)

Network and parallel computing18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021 : proceedings / by: (Electronic resources)

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

Embedded system design with Arm Cortex-M microcontrollersapplications with C, C++ and MicroPython / by: (Electronic resources)

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

Transactions on petri nets and other models of concurrency XVI by: (Electronic resources)

Accelerator programming using directives8th international workshop, WACCPD 2021, virtual event, November 14, 2021 : proceedings / by: (Electronic resources)

OpenSHMEM and related technologiesOpenSHMEM in the era of exascale and smart networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, virtual event, September 14-16, 2021 : revised selected papers / by: (Electronic resources)

Software verification13th 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: (Electronic resources)

Programming languages and systems31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (Electronic resources)

Fundamental approaches to software engineering25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.Part II / by: (Electronic resources)

Memristor computing systems by: (Electronic resources)

Software technologies16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / by: (Electronic resources)

Next generation arithmeticthird International Conference, CoNGA 2022, Singapore, March 1-3, 2022 : revised selected papers / by: (Electronic resources)

Euro-Par 2022parallel processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022 : proceedings / by: (Electronic resources)

Embedded computer systemsarchitectures, modeling, and simulation : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022 : proceedings / by: (Electronic resources)

Sensor networks9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28-29, 2020, and 10th International Conference, SENSORNETS 2021, virtual event, February 9-10, 2021 : revised selected papers / by: (Electronic resources)

Software engineering and formal methods20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings / by: (Electronic resources)

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

Progress in cryptology - AFRICACRYPT 202213th International Conference on Cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18-20, 2022 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationadaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part III / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I / by: (Electronic resources)

Introduction to mechatronicsan integrated approach / by: (Electronic resources)

Guide to computer processor architecturea RISC-V approach, with high-level synthesis / by: (Electronic resources)

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

Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (Electronic resources)

Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / by: (Electronic resources)

Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: (Electronic resources)

Constructive side-channel analysis and secure design14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (Electronic resources)

Parallel and distributed computing, applications and technologies23rd International Conference, PDCAT 2021, Guangzhou, China, December 7-9, 2022 : proceedings / by: (Electronic resources)

Renewable energy optimization, planning and controlproceedings of ICRTE 2022 / by: (Electronic resources)

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

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

OpenMP in a modern worldfrom multi-device support to meta programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022 : proceedings / by: (Electronic resources)

Pervasive computing technologies for healthcare16th EAI International Conference, Pervasive Health 2022, Thessaloniki, Greece, December 12-14, 2022 : proceedings / by: (Electronic resources)

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

Euro-Par 2023parallel processing : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023 : proceedings / by: (Electronic resources)

Trends in functional programming24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers / by: (Electronic resources)

Fundamentals of software engineering10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (Electronic resources)

OpenMP : advanced task-based, device and compiler programming19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings / by: (Electronic resources)

Emerging technologies for developing countries5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022 : proceedings / by: (Electronic resources)

Software technologies17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (Electronic resources)

Data management technologies and applications10th International Conference, DATA 2021, virtual event, July 6-8, 2021, and 11th International Conference, DATA 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (Electronic resources)

Parallel computational technologies17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023 : revised selected papers / by: (Electronic resources)

Progress in cryptology -- AFRICACRYPT 202314th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023 : proceedings / by: (Electronic resources)

Automated reasoning with analytic tableaux and related methods32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / by: (Electronic resources)

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

Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (Electronic resources)

Embedded computer systemsarchitectures, modeling, and simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023 : proceedings / by: (Electronic resources)

Supercomputing9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.Part I / by: (Electronic resources)

Supercomputing9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.Part II / by: (Electronic resources)

Emerging technologies for developing countries6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11-13, 2023 : proceedings / by: (Electronic resources)

Software technologies18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023 : revised selected papers / by: (Electronic resources)

Transactions on petri nets and other models of concurrency XVII by: (Electronic resources)

Engineering of computer-based systems8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II / by: (Language materials, printed)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part I / by: (Electronic resources)

Computer safety, reliability, and security42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (Electronic resources)

High performance computing10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023 : revised selected papers / by: (Electronic resources)

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

Constructive side-channel analysis and secure design15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems30th International Conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part III / by: (Electronic resources)

Fundamental approaches to software engineering27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings / by: (Electronic resources)

Understanding computer organizationa guide to principles across RISC-V, ARM Cortex, and Intel architectures / by: (Electronic resources)

Euro-Par 2024parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.Part I / by: (Electronic resources)

Euro-Par 2024parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.Part III / by: (Electronic resources)

Euro-Par 2024parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.Part II / by: (Electronic resources)

Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (Electronic resources)

Data management technologies and applications12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023 : revised selected papers / by: (Electronic resources)

Computer safety, reliability, and security43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024 : proceedings / by: (Electronic resources)

Advancing OpenMP for future accelerators20th International Workshop on OpenMP, IWOMP 2024. Perth, WA, Australia, September 23-25, 2024 : proceedings / by: (Electronic resources)

Digital electronics for musiciansbuild intuitive electronics and electroacoustic music interfaces / by: (Electronic resources)

Introduction to digital controlan integrated approach / by: (Electronic resources)

Parallel computational technologies18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024 : revised selected papers / by: (Electronic resources)

Progress in cryptology - AFRICACRYPT 202415th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.Part III / by: (Electronic resources)

Fundamental approaches to software engineering28th International Conference, FASE 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (Electronic resources)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part I / by: (Electronic resources)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationREoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part I / by: (Electronic resources)

Stabilization, safety, and security of distributed systems26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationsoftware engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part IV / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationrigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationapplication areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part V / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationspecification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part III / by: (Electronic resources)

Software engineering and formal methods22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings / by: (Electronic resources)

High performance computing. ISC High Performance 2024 International WorkshopsHamburg, Germany, May 12-16, 2024 : revised selected papers / by: (Electronic resources)

Job scheduling strategies for parallel processing27th International Workshop, JSSPP 2024. San Francisco, CA, USA, May 31, 2024 : revised selected papers / by: (Electronic resources)

High performance computing11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October, 2024 : revised selected papers / by: (Electronic resources)

Trends in functional programming25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024 : revised selected papers / by: (Electronic resources)

Embedded computer systemsarchitectures, modeling, and simulation : 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024 : proceedings.Part I / by: (Electronic resources)

Embedded computer systemsarchitectures, modeling, and simulation : 24th International Conference, SAMOS 2024 Samos, Greece, June 29 - July 4, 2024 : proceedings.Part II / by: (Electronic resources)

Supercomputing10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.Part I / by: (Electronic resources)

Supercomputing10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.Part II / by: (Electronic resources)

Fundamentals of software engineering11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings / by: (Electronic resources)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part I / by: (Electronic resources)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part II / by: (Electronic resources)

Parallel and distributed computing, applications and technologies25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024 : proceedings / by: (Electronic resources)

Euro-Par 2024parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.Part II / by: (Electronic resources)

Euro-Par 2024parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.Part I / by: (Electronic resources)

Control systems : a historical and philosophical perspectivehistory and philosophy of control systems / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.Part II / by: (Electronic resources)