Control Structures and Microprogramming.
Overview
| Works: | 301 works in 105 publications in 105 languages | |
|---|---|---|
Titles
Legal Programming = Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond /
by:
(Language materials, printed)
Embedded firmware solutions = development best practices for the internet of things /
by:
(Language materials, printed)
Distributed Embedded Control Systems = Improving Dependability with Coherent Design /
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)
An investigation into the detection and mitigation of denial of service (DoS) attacks = critical information infrastructure protection /
by:
(Language materials, printed)
VLSI-SoC = technologies 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:
(Language materials, printed)
Thinkquest~2010 = international conference on Contours of Computing Technology on 13th and 14th March, 2010 /
by:
(Language materials, printed)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(Language materials, printed)
Testing and validation of computer simulation models = principles, methods and applications /
by:
(Language materials, printed)
Embedded system technology = 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers /
by:
(Language materials, printed)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(Language materials, printed)
A combined data and power management infrastructure = for small satellites /
by:
(Language materials, printed)
VLSI-SoC: Advanced Topics on Systems on a Chip = a 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:
(Language materials, printed)
Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
(Language materials, printed)
Reflections on the history of computing = preserving memories and sharing stories /
by:
(Language materials, printed)
Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday /
by:
(Language materials, printed)
VLSI-SoC: Forward-Looking Trends in IC and Systems Design = 18th 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:
(Language materials, printed)
Introduction to embedded system design using field programmable gate arrays
by:
(Language materials, printed)
Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings /
by:
(Language materials, printed)
Learn electronics with Raspberry Pi = physical computing with circuits, sensors, outputs, and projects /
by:
(Language materials, printed)
Functional safety for road vehicles = new challenges and solutions for e-mobility and automated driving /
by:
(Language materials, printed)
Understanding control flow = concurrent programming using [mu]C++ /
by:
(Language materials, printed)
Practical fashion tech = wearable technologies for costuming, cosplay, and everyday /
by:
(Language materials, printed)
Cloud as a service = understanding the service innovation ecosystem /
by:
(Language materials, printed)
Risk assessment and risk-driven quality assurance = 4th International Workshop, RISK 2016, held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016 : revised selected papers /
by:
(Language materials, printed)
Selected areas in cryptography - SAC 2016 = 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers /
by:
(Language materials, printed)
Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights /
by:
(Language materials, printed)
Critical information infrastructures security = 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016 : revised selected papers /
by:
(Language materials, printed)
Constructive side-channel analysis and secure design = 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017 : revised selected papers /
by:
(Language materials, printed)
Programming in HTML and PHP = coding for scientists and engineers /
by:
(Language materials, printed)
Expanding your Raspberry Pi = storage, printing, peripherals, and network connections for your Raspberry Pi /
by:
(Language materials, printed)
Intelligent engineering informatics = proceedings of the 6th International Conference on FICTA /
by:
(Language materials, printed)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(Language materials, printed)
Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
(Language materials, printed)
Introduction to parallel computing = from algorithms to programming on state-of-the-art platforms /
by:
(Language materials, printed)
Technological innovation for industry and service systems = 10th 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:
(Language materials, printed)
Industrial applications of holonic and multi-agent systems = 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings /
by:
(Language materials, printed)
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
by:
(Language materials, printed)
VLSI-SoC = opportunities 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:
(Language materials, printed)
Principles of radio navigation for ground and ship-based aircrafts
by:
(Language materials, printed)
Cyber physical systems = model-based design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018 : revised selected papers /
by:
(Language materials, printed)
Design of an intelligent embedded system for condition monitoring of an industrial robot
by:
(Language materials, printed)
Prototyping of concurrent control systems implemented in FPGA devices
by:
(Language materials, printed)
Machine learning control - taming nonlinear dynamics and turbulence
by:
(Language materials, printed)
PLD based design with VHDL = RTL design, synthesis and implementation /
by:
(Language materials, printed)
The use case and smart grid architecture model approach = the IEC 62559-2 use case template and the SGAM applied in various domains /
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Testing and Validation of Computer Simulation Models = Principles, Methods and Applications /
by:
(Language materials, printed)
Building Your Next Big Thing with Google Cloud Platform = A Guide for Developers and Enterprise Architects /
by:
(Language materials, printed)
Embedded System Technology = 13th National Conference, ESTC 2015, Beijing, China, October 10–11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Embedded Firmware Solutions = Development Best Practices for the Internet of Things /
by:
(Language materials, printed)
Learn Electronics with Raspberry Pi = Physical Computing with Circuits, Sensors, Outputs, and Projects /
by:
(Language materials, printed)
Practical Fashion Tech = Wearable Technologies for Costuming, Cosplay, and Everyday /
by:
(Language materials, printed)
Cloud as a Service = Understanding the Service Innovation Ecosystem /
by:
(Language materials, printed)
Functional Safety for Road Vehicles = New Challenges and Solutions for E-mobility and Automated Driving /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
by:
(Language materials, printed)
Introduction to Parallel Computing = From Algorithms to Programming on State-of-the-Art Platforms /
by:
(Language materials, printed)
Intelligent Engineering Informatics = Proceedings of the 6th International Conference on FICTA /
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Getting Started with Tiva ARM Cortex M4 Microcontrollers = A Lab Manual for Tiva LaunchPad Evaluation Kit /
by:
(Language materials, printed)
VLSI Design: Circuits, Systems and Applications = Select Proceedings of ICNETS2, Volume V /
by:
(Language materials, printed)
Computer Security = ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Supercomputing Frontiers = 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings /
by:
(Language materials, printed)
Supercomputing = 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Computational Intelligence and Optimization Methods for Control Engineering
by:
(Language materials, printed)
Beginning x64 Assembly Programming = From Novice to AVX Professional /
by:
(Language materials, printed)
Transactions on High-Performance Embedded Architectures and Compilers V
by:
(Language materials, printed)
Industrial Applications of Holonic and Multi-Agent Systems = 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings /
by:
(Language materials, printed)
Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advanced HDL Synthesis and SOC Prototyping = RTL Design Using Verilog /
by:
(Language materials, printed)
Classical and Modern Controls with Microcontrollers = Design, Implementation and Applications /
by:
(Language materials, printed)
Cloud Computing and Services Science = 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings /
by:
(Language materials, printed)
Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings /
by:
(Language materials, printed)
Emerging Technologies for Developing Countries = Second EAI International Conference, AFRICATEK 2018, Cotonou, Benin, May 29–30, 2018, Proceedings /
by:
(Language materials, printed)
Technological Innovation for Industry and Service Systems = 10th 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:
(Language materials, printed)
Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computer Engineering and Technology = 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Principles of Radio Navigation for Ground and Ship-Based Aircrafts
by:
(Language materials, printed)
VLSI-SoC: Opportunities 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:
(Language materials, printed)
Programming Languages and Systems = 29th 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:
(Language materials, printed)
Supercomputing Frontiers = 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings /
by:
(Language materials, printed)
SystemVerilog for Hardware Description = RTL Design and Verification /
by:
(Language materials, printed)
Smart Card Research and Advanced Applications = 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11–13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Large-Scale Disk Failure Prediction = PAKDD 2020 Competition and Workshop, AI Ops 2020, February 7 – May 15, 2020, Revised Selected Papers /
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)
Introduction to the Theory of Radiopolarimetric Navigation Systems
by:
(Language materials, printed)
Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Model-Driven Engineering and Software Development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advanced Computer Architecture = 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings /
by:
(Language materials, printed)
Cyber Physical Systems. Model-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:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers /
by:
(Language materials, printed)
A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof /
by:
(Language materials, printed)
Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
VLSI-SoC: New 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:
(Language materials, printed)
Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 26th 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:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 26th 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:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 23rd 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:
(Language materials, printed)
High Performance Computing = 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Trends in Functional Programming = 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Cloud Computing, Big Data & Emerging Topics = 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
VLSI-SoC: Design Trends = 28th 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:
(Language materials, printed)
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 27th 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:
(Language materials, printed)
Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
by:
(Language materials, printed)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 27th 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:
(Language materials, printed)
Data Management Technologies and Applications = 9th International Conference, DATA 2020, Virtual Event, July 7–9, 2020, Revised Selected Papers /
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)
Microelectronic Devices, Circuits and Systems = Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Information Security Applications = 22nd International Conference, WISA 2021, Jeju Island, South Korea, August 11–13, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(Language materials, printed)
Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings /
by:
(Language materials, printed)
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 27th 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:
(Language materials, printed)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 27th 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:
(Language materials, printed)
Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings /
by:
(Language materials, printed)
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(Language materials, printed)
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
(Language materials, printed)
Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers /
by:
(Language materials, printed)
A Combined Data and Power Management Infrastructure = For Small Satellites /
by:
(Language materials, printed)
OpenMP in a Modern World: From Multi-device Support to Meta Programming = 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
(Language materials, printed)
Sensor Networks = 9th 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:
(Language materials, printed)
Progress in Cryptology - AFRICACRYPT 2022 = 13th International Conference on Cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18–20, 2022, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Practice = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Network and Parallel Computing = 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings /
by:
(Language materials, printed)
Supercomputing = 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Microelectronic Devices, Circuits and Systems = Third International Conference, ICMDCS 2022, Vellore, India, August 11–13, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings /
by:
(Language materials, printed)
Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Renewable Energy Optimization, Planning and Control = Proceedings of ICRTE 2021, Volume 1 /
by:
(Language materials, printed)
Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2022: Parallel Processing = 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. OpenSHMEM 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:
(Language materials, printed)
Advanced Robust Nonlinear Control Approaches for Quadrotor Unmanned Aerial Vehicle = Roadmap to Improve Tracking-Trajectory Performance in the Presence of External Disturbances /
by:
(Language materials, printed)
The BOXES Methodology Second Edition = Black Box Control of Ill-defined Systems /
by:
(Language materials, printed)
Smart Structures in Energy Infrastructure = Proceedings of ICRTE 2021, Volume 2 /
by:
(Language materials, printed)
Programming Languages and Systems = 31st 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:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 25th 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:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 28th 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:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 28th 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:
(Language materials, printed)
Digital Design Techniques and Exercises = A Practice Book for Digital Logic Design /
by:
(Language materials, printed)
Embedded System Design with ARM Cortex-M Microcontrollers = Applications with C, C++ and MicroPython /
by:
(Language materials, printed)
Network and Parallel Computing = 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3–5, 2021, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers /
by:
(Language materials, printed)
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production = 11th International Conference, HPCST 2021, Barnaul, Russia, May 21–22, 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)
Pervasive computing technologies for healthcare = 16th EAI International Conference, Pervasive Health 2022, Thessaloniki, Greece, December 12-14, 2022 : proceedings /
by:
(Language materials, printed)
OpenMP in a modern world = from multi-device support to meta programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022 : proceedings /
by:
(Language materials, printed)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
(Language materials, printed)
OpenMP : advanced task-based, device and compiler programming = 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings /
by:
(Language materials, printed)
Parallel computing technologies = 17th International Conference, PaCT 2023, Almaty, Kazakhstan, August 21-25, 2023 : proceedings /
by:
(Language materials, printed)
Euro-Par 2023 = parallel processing : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023 : proceedings /
by:
(Language materials, printed)
Trends in functional programming = 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 26th Workshop, JSSPP 2023, St. Petersburg, Fl, USA, May 19, 2023 : revised selected papers /
by:
(Language materials, printed)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(Language materials, printed)
Embedded computer systems = architectures, modeling, and simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023 : proceedings /
by:
(Language materials, printed)
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part I /
by:
(Language materials, printed)
Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part II /
by:
(Language materials, printed)
Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
by:
(Language materials, printed)
Understanding computer organization = a guide to principles across RISC-V, ARM Cortex, and Intel architectures /
by:
(Language materials, printed)
Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings /
by:
(Language materials, printed)
Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Parallel computational technologies = 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024 : revised selected papers /
by:
(Language materials, printed)
Data management technologies and applications = 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023 : revised selected papers /
by:
(Language materials, printed)
Computer safety, reliability, and security = 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024 : proceedings /
by:
(Language materials, printed)
Advancing OpenMP for future accelerators = 20th International Workshop on OpenMP, IWOMP 2024. Perth, WA, Australia, September 23-25, 2024 : proceedings /
by:
(Language materials, printed)
Digital electronics for musicians = build intuitive electronics and electroacoustic music interfaces /
by:
(Language materials, printed)
Progress in cryptology - AFRICACRYPT 2024 = 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024 : proceedings /
by:
(Language materials, printed)
Euro-Par 2024 = parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Euro-Par 2024 = parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Control systems : a historical and philosophical perspective = history and philosophy of control systems /
by:
(Language materials, printed)
Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Stabilization, safety, and security of distributed systems = 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = specification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part III /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = software engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part IV /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = rigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = application areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part V /
by:
(Language materials, printed)
Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings /
by:
(Language materials, printed)
High performance computing. ISC High Performance 2024 International Workshops = Hamburg, Germany, May 12-16, 2024 : revised selected papers /
by:
(Language materials, printed)
Job scheduling strategies for parallel processing = 27th International Workshop, JSSPP 2024. San Francisco, CA, USA, May 31, 2024 : revised selected papers /
by:
(Language materials, printed)
High performance computing = 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October, 2024 : revised selected papers /
by:
(Language materials, printed)
Trends in functional programming = 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024 : revised selected papers /
by:
(Language materials, printed)
Embedded computer systems = architectures, modeling, and simulation : 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Embedded computer systems = architectures, modeling, and simulation : 24th International Conference, SAMOS 2024 Samos, Greece, June 29 - July 4, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Supercomputing = 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.. Part I /
by:
(Language materials, printed)
Supercomputing = 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.. Part II /
by:
(Language materials, printed)
Fundamentals of software engineering = 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings /
by:
(Language materials, printed)
Network and parallel computing = 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.. Part I /
by:
(Language materials, printed)
Network and parallel computing = 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.. Part II /
by:
(Language materials, printed)
Parallel and distributed computing, applications and technologies = 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 31st 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:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 31st 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:
(Language materials, printed)
Show more
Fewer
Subjects