Control Structures and Microprogramming.

Logic synthesis for FSM-based control units by: (書目-語言資料,印刷品)

Flying Insects and Robots by: (書目-語言資料,印刷品)

Microelectronic systems = circuits, systems and applications / by: (書目-語言資料,印刷品)

An investigation into the detection and mitigation of denial of service (DoS) attacks = critical information infrastructure protection / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Thinkquest~2010 = international conference on Contours of Computing Technology on 13th and 14th March, 2010 / by: (書目-語言資料,印刷品)

Digital electronics for musicians by: (書目-語言資料,印刷品)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (書目-語言資料,印刷品)

Testing and validation of computer simulation models = principles, methods and applications / by: (書目-語言資料,印刷品)

Embedded system technology = 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (書目-語言資料,印刷品)

A combined data and power management infrastructure = for small satellites / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (書目-語言資料,印刷品)

Reflections on the history of computing = preserving memories and sharing stories / by: (書目-語言資料,印刷品)

Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

The BOXES methodology = black box dynamic control / by: (書目-語言資料,印刷品)

Introduction to embedded system design using field programmable gate arrays by: (書目-語言資料,印刷品)

Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (書目-語言資料,印刷品)

Creating cool MINDSTORMS NXT robots by: (書目-語言資料,印刷品)

Optimal design of distributed control and embedded systems by: (書目-語言資料,印刷品)

Building embedded systems = programmable hardware / by: (書目-語言資料,印刷品)

Theory of control systems described by differential inclusions by: (書目-語言資料,印刷品)

Real time control engineering = systems and automation / by: (書目-語言資料,印刷品)

Learn electronics with Raspberry Pi = physical computing with circuits, sensors, outputs, and projects / by: (書目-語言資料,印刷品)

Functional safety for road vehicles = new challenges and solutions for e-mobility and automated driving / by: (書目-語言資料,印刷品)

Understanding control flow = concurrent programming using [mu]C++ / by: (書目-語言資料,印刷品)

Practical fashion tech = wearable technologies for costuming, cosplay, and everyday / by: (書目-語言資料,印刷品)

Beginning robotics programming in Java with LEGO Mindstorms by: (書目-語言資料,印刷品)

Cloud as a service = understanding the service innovation ecosystem / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Selected areas in cryptography - SAC 2016 = 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights / by: (書目-語言資料,印刷品)

Critical information infrastructures security = 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Foundations of programming languages by: (書目-語言資料,印刷品)

Constructive side-channel analysis and secure design = 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Programming in HTML and PHP = coding for scientists and engineers / by: (書目-語言資料,印刷品)

Expanding your Raspberry Pi = storage, printing, peripherals, and network connections for your Raspberry Pi / by: (書目-語言資料,印刷品)

Intelligent engineering informatics = proceedings of the 6th International Conference on FICTA / by: (書目-語言資料,印刷品)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (書目-語言資料,印刷品)

Flight systems and control = a practical approach / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

Introduction to parallel computing = from algorithms to programming on state-of-the-art platforms / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Industrial applications of holonic and multi-agent systems = 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Principles of radio navigation for ground and ship-based aircrafts by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Design of an intelligent embedded system for condition monitoring of an industrial robot by: (書目-語言資料,印刷品)

Prototyping of concurrent control systems implemented in FPGA devices by: (書目-語言資料,印刷品)

Machine learning control - taming nonlinear dynamics and turbulence by: (書目-語言資料,印刷品)

PLD based design with VHDL = RTL design, synthesis and implementation / by: (書目-語言資料,印刷品)

Deploying Raspberry Pi in the classroom by: (書目-語言資料,印刷品)

The use case and smart grid architecture model approach = the IEC 62559-2 use case template and the SGAM applied in various domains / by: (書目-語言資料,印刷品)

Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming / by: (書目-語言資料,印刷品)

Testing and Validation of Computer Simulation Models = Principles, Methods and Applications / by: (書目-語言資料,印刷品)

Building Your Next Big Thing with Google Cloud Platform = A Guide for Developers and Enterprise Architects / by: (書目-語言資料,印刷品)

Digital Electronics for Musicians by: (書目-語言資料,印刷品)

Embedded System Technology = 13th National Conference, ESTC 2015, Beijing, China, October 10–11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Embedded Firmware Solutions = Development Best Practices for the Internet of Things / by: (書目-語言資料,印刷品)

Theory of Control Systems Described by Differential Inclusions by: (書目-語言資料,印刷品)

Learn Electronics with Raspberry Pi = Physical Computing with Circuits, Sensors, Outputs, and Projects / by: (書目-語言資料,印刷品)

Understanding Control Flow = Concurrent Programming Using μC++ / by: (書目-語言資料,印刷品)

Practical Fashion Tech = Wearable Technologies for Costuming, Cosplay, and Everyday / by: (書目-語言資料,印刷品)

Building Embedded Systems = Programmable Hardware / by: (書目-語言資料,印刷品)

Beginning Robotics Programming in Java with LEGO Mindstorms by: (書目-語言資料,印刷品)

Cloud as a Service = Understanding the Service Innovation Ecosystem / by: (書目-語言資料,印刷品)

Real Time Control Engineering = Systems And Automation / by: (書目-語言資料,印刷品)

Frontier Computing = Theory, Technologies and Applications / by: (書目-語言資料,印刷品)

Functional Safety for Road Vehicles = New Challenges and Solutions for E-mobility and Automated Driving / by: (書目-語言資料,印刷品)

Constructive Side-Channel Analysis and Secure Design = 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings / by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Hands-on Experience with Altera FPGA Development Boards by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Introduction to Parallel Computing = From Algorithms to Programming on State-of-the-Art Platforms / by: (書目-語言資料,印刷品)

Das Raspberry Pi Kompendium by: (書目-語言資料,印刷品)

Intelligent Engineering Informatics = Proceedings of the 6th International Conference on FICTA / by: (書目-語言資料,印刷品)

Flight Systems and Control = A Practical Approach / by: (書目-語言資料,印刷品)

Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming / by: (書目-語言資料,印刷品)

Getting Started with Tiva ARM Cortex M4 Microcontrollers = A Lab Manual for Tiva LaunchPad Evaluation Kit / by: (書目-語言資料,印刷品)

VLSI Design: Circuits, Systems and Applications = Select Proceedings of ICNETS2, Volume V / by: (書目-語言資料,印刷品)

Computer Security = ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Human Activity Sensing = Corpus and Applications / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computational Intelligence and Optimization Methods for Control Engineering by: (書目-語言資料,印刷品)

A Tutorial Introduction to VHDL Programming by: (書目-語言資料,印刷品)

Java in Two Semesters = Featuring JavaFX / by: (書目-語言資料,印刷品)

Beginning x64 Assembly Programming = From Novice to AVX Professional / by: (書目-語言資料,印刷品)

Test Generation of Crosstalk Delay Faults in VLSI Circuits by: (書目-語言資料,印刷品)

Radio Navigation Systems for Airports and Airways by: (書目-語言資料,印刷品)

Transactions on High-Performance Embedded Architectures and Compilers V by: (書目-語言資料,印刷品)

Industrial Applications of Holonic and Multi-Agent Systems = 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced HDL Synthesis and SOC Prototyping = RTL Design Using Verilog / by: (書目-語言資料,印刷品)

Classical and Modern Controls with Microcontrollers = Design, Implementation and Applications / by: (書目-語言資料,印刷品)

Cloud Computing and Services Science = 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Constructive Side-Channel Analysis and Secure Design = 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Emerging Technologies for Developing Countries = Second EAI International Conference, AFRICATEK 2018, Cotonou, Benin, May 29–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer Engineering and Technology = 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Principles of Radio Navigation for Ground and Ship-Based Aircrafts by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

On the Physical Security of Physically Unclonable Functions by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Supercomputing Frontiers = 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

SystemVerilog for Hardware Description = RTL Design and Verification / by: (書目-語言資料,印刷品)

Smart Card Research and Advanced Applications = 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11–13, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Logic Synthesis and SOC Prototyping = RTL Design using VHDL / by: (書目-語言資料,印刷品)

Large-Scale Disk Failure Prediction = PAKDD 2020 Competition and Workshop, AI Ops 2020, February 7 – May 15, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Introduction to the Theory of Radiopolarimetric Navigation Systems by: (書目-語言資料,印刷品)

Air Traffic Control Automated Systems by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Computer Architecture = 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Development of Navigation Technology for Flight Safety by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

High Performance Computing = 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cloud Computing, Big Data & Emerging Topics = 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / by: (書目-語言資料,印刷品)

Robotic Vehicles: Systems and Technology by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Algorithm Portfolios = Advances, Applications, and Challenges / by: (書目-語言資料,印刷品)

Data Management Technologies and Applications = 9th International Conference, DATA 2020, Virtual Event, July 7–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Smart Grid and Innovative Frontiers in Telecommunications = 5th EAI International Conference, SmartGIFT 2020, Chicago, USA, December 12, 2020, Proceedings / by: (書目-語言資料,印刷品)

Microelectronic Devices, Circuits and Systems = Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by: (書目-語言資料,印刷品)

ASIC Design and Synthesis = RTL Design Using Verilog / by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Security Applications = 22nd International Conference, WISA 2021, Jeju Island, South Korea, August 11–13, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

A Combined Data and Power Management Infrastructure = For Small Satellites / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Progress in Cryptology - AFRICACRYPT 2022 = 13th International Conference on Cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18–20, 2022, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Practice = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Software Defined Chips = Volume I / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Microelectronic Devices, Circuits and Systems = Third International Conference, ICMDCS 2022, Vellore, India, August 11–13, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Memristor Computing Systems by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Renewable Energy Optimization, Planning and Control = Proceedings of ICRTE 2021, Volume 1 / by: (書目-語言資料,印刷品)

Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2022: Parallel Processing = 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings / by: (書目-語言資料,印刷品)

Embedded Computer Systems: Architectures, Modeling, and Simulation = 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Advanced Robust Nonlinear Control Approaches for Quadrotor Unmanned Aerial Vehicle = Roadmap to Improve Tracking-Trajectory Performance in the Presence of External Disturbances / by: (書目-語言資料,印刷品)

The BOXES Methodology Second Edition = Black Box Control of Ill-defined Systems / by: (書目-語言資料,印刷品)

Smart Structures in Energy Infrastructure = Proceedings of ICRTE 2021, Volume 2 / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Digital Design Techniques and Exercises = A Practice Book for Digital Logic Design / by: (書目-語言資料,印刷品)

Embedded System Design with ARM Cortex-M Microcontrollers = Applications with C, C++ and MicroPython / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3–5, 2021, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on Petri Nets and Other Models of Concurrency XVI by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Pervasive computing technologies for healthcare = 16th EAI International Conference, Pervasive Health 2022, Thessaloniki, Greece, December 12-14, 2022 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

OpenMP : advanced task-based, device and compiler programming = 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings / by: (書目-語言資料,印刷品)

Parallel computing technologies = 17th International Conference, PaCT 2023, Almaty, Kazakhstan, August 21-25, 2023 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2023 = parallel processing : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023 : proceedings / by: (書目-語言資料,印刷品)

Trends in functional programming = 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Automated reasoning with analytic tableaux and related methods = 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing = 26th Workshop, JSSPP 2023, St. Petersburg, Fl, USA, May 19, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (書目-語言資料,印刷品)

Embedded computer systems = architectures, modeling, and simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023 : proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Understanding computer organization = a guide to principles across RISC-V, ARM Cortex, and Intel architectures / by: (書目-語言資料,印刷品)

Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Introduction to digital control = an integrated approach / by: (書目-語言資料,印刷品)

Parallel computational technologies = 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Data management technologies and applications = 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024 : proceedings / by: (書目-語言資料,印刷品)

Advancing OpenMP for future accelerators = 20th International Workshop on OpenMP, IWOMP 2024. Perth, WA, Australia, September 23-25, 2024 : proceedings / by: (書目-語言資料,印刷品)

Digital electronics for musicians = build intuitive electronics and electroacoustic music interfaces / by: (書目-語言資料,印刷品)

Progress in cryptology - AFRICACRYPT 2024 = 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2024 = parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Euro-Par 2024 = parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Control systems : a historical and philosophical perspective = history and philosophy of control systems / by: (書目-語言資料,印刷品)

Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Formal methods = 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Stabilization, safety, and security of distributed systems = 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings / by: (書目-語言資料,印刷品)

High performance computing. ISC High Performance 2024 International Workshops = Hamburg, Germany, May 12-16, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing = 27th International Workshop, JSSPP 2024. San Francisco, CA, USA, May 31, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

High performance computing = 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Trends in functional programming = 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Embedded computer systems = architectures, modeling, and simulation : 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Embedded computer systems = architectures, modeling, and simulation : 24th International Conference, SAMOS 2024 Samos, Greece, June 29 - July 4, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Supercomputing = 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Supercomputing = 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings / by: (書目-語言資料,印刷品)

Network and parallel computing = 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Network and parallel computing = 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Parallel and distributed computing, applications and technologies = 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 28th 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: (書目-語言資料,印刷品)