Control Structures and Microprogramming.

Embedded microcontroller interfacingdesigning integrated projects / by: (書目-電子資源)

Enterprise MAC managed preferences by: (書目-電子資源)

Advances in power electronics and instrumentation engineeringsecond international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (書目-電子資源)

Unmanned rotorcraft systems by: (書目-電子資源)

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: (書目-電子資源)

Thinkquest~2010international conference on Contours of Computing Technology on 13th and 14th March, 2010 / by: (書目-電子資源)

An investigation into the detection and mitigation of denial of service (DoS) attackscritical information infrastructure protection / by: (書目-電子資源)

Microelectronic systemscircuits, systems and applications / by: (書目-電子資源)

Dependable and historic computingessays dedicated to Brian Randell on the occasion of his 75th birthday / by: (書目-電子資源)

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: (書目-電子資源)

The BOXES methodologyblack box dynamic control / by: (書目-電子資源)

Body sensor networks by: (書目-語言資料,印刷品)

Reflections on the history of computingpreserving memories and sharing stories / by: (書目-電子資源)

Generative and transformational techniques in software engineering IIinternational summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (書目-電子資源)

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: (書目-電子資源)

Optimal design of distributed control and embedded systems by: (書目-電子資源)

Body sensor networks by: (書目-電子資源)

Digital signal processing with field programmable gate arrays by: (書目-電子資源)

Embedded firmware solutionsdevelopment best practices for the internet of things / by: (書目-電子資源)

Building your next big thing with Google cloud platforma guide for developers and enterprise architects / by: (書目-電子資源)

Testing and validation of computer simulation modelsprinciples, methods and applications / by: (書目-電子資源)

Real-Time C++efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Digital electronics for musicians by: (書目-電子資源)

Embedded system technology13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers / by: (書目-電子資源)

Building embedded systemsprogrammable hardware / by: (書目-電子資源)

Theory of control systems described by differential inclusions by: (書目-電子資源)

Real time control engineeringsystems and automation / by: (書目-電子資源)

Learn electronics with Raspberry Piphysical computing with circuits, sensors, outputs, and projects / by: (書目-電子資源)

Functional safety for road vehiclesnew challenges and solutions for e-mobility and automated driving / by: (書目-電子資源)

Understanding control flowconcurrent programming using [mu]C++ / by: (書目-電子資源)

Practical fashion techwearable technologies for costuming, cosplay, and everyday / by: (書目-電子資源)

Beginning robotics programming in Java with LEGO Mindstorms by: (書目-電子資源)

Cloud as a serviceunderstanding the service innovation ecosystem / by: (書目-電子資源)

Analysis and synthesis of positive systems under l1 and L1 performance 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: (書目-電子資源)

Deploying Raspberry Pi in the classroom by: (書目-電子資源)

The use case and smart grid architecture model approachthe IEC 62559-2 use case template and the SGAM applied in various domains / by: (書目-電子資源)

PLD based design with VHDLRTL design, synthesis and implementation / by: (書目-電子資源)

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: (書目-電子資源)

Constructive side-channel analysis and secure design8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017 : revised selected papers / by: (書目-電子資源)

Programming in HTML and PHPcoding for scientists and engineers / by: (書目-電子資源)

Expanding your Raspberry Pistorage, printing, peripherals, and network connections for your Raspberry Pi / by: (書目-電子資源)

Selected areas in cryptography - SAC 201623rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers / by: (書目-電子資源)

Mastering media with the Raspberry Pimedia centers, music, high end audio, video, and ultimate movie nights / by: (書目-電子資源)

Critical information infrastructures security11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016 : revised selected papers / by: (書目-電子資源)

Foundations of programming languages by: (書目-電子資源)

Getting started with Tiva ARM Cortex M4 microcontrollersA lab manual for Tiva LaunchPad evaluation kit / by: (書目-電子資源)

Hands-on experience with Altera FPGA development boards by: (書目-電子資源)

VLSI designcircuits, systems and applications : select proceedings of ICNETS2.Volume V / by: (書目-電子資源)

Intelligent engineering informaticsproceedings of the 6th International Conference on FICTA / by: (書目-電子資源)

Real-Time C++efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Flight systems and controla practical approach / by: (書目-電子資源)

Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (書目-電子資源)

Introduction to parallel computingfrom algorithms to programming on state-of-the-art platforms / by: (書目-電子資源)

On the physical security of physically unclonable functions by: (書目-電子資源)

A tutorial introduction to VHDL programming by: (書目-電子資源)

Test generation of crosstalk delay faults in VLSI circuits by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers V by: (書目-電子資源)

Constructive side-channel analysis and secure design10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3-5, 2019 : proceedings / by: (書目-電子資源)

Radio navigation systems for airports and airways by: (書目-電子資源)

Java in two semestersfeaturing JavaFX / by: (書目-電子資源)

Emerging technologies for developing countriessecond EAI International Conference, AFRICATEK 2018, Cotonou, Benin, May 29-30, 2018 : proceedings / by: (書目-電子資源)

Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers / by: (書目-電子資源)

Accelerator programming using Directives5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018 : proceedings / by: (書目-電子資源)

Advanced HDL synthesis and SOC prototypingRTL design using verilog / by: (書目-電子資源)

Classical and modern controls with microcontrollersdesign, implementation, and applications / by: (書目-電子資源)

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: (書目-電子資源)

Industrial applications of holonic and multi-agent systems8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings / by: (書目-電子資源)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Principles of radio navigation for ground and ship-based aircrafts by: (書目-電子資源)

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: (書目-電子資源)

Cloud computing and services science8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018 : revised selected papers / by: (書目-電子資源)

Human activity sensingcorpus and applications / by: (書目-電子資源)

Networked systems7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019 : revised selected papers / by: (書目-電子資源)

Computational intelligence and optimization methods for control engineering by: (書目-電子資源)

Model-based safety and assessment6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Beginning x64 assembly programmingfrom novice to AVX professional / by: (書目-電子資源)

Computer securityESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017 : revised selected papers / by: (書目-電子資源)

Constructive side-channel analysis and secure design9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018 : proceedings / by: (書目-電子資源)

Product-focused software process improvement19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018 : proceedings / by: (書目-電子資源)

Computer engineering and technology23rd CCF Conference, NCCET 2019, Enshi, China, August 1-2, 2019 : revised selected papers / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings / by: (書目-電子資源)

Supercomputing10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25-29, 2019 : revised selected papers / by: (書目-電子資源)

Formal techniques for safety-critical systems7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

High performance computing6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25-27, 2019 : revised selected papers / by: (書目-電子資源)

High performance computing systems19th Symposium, WSCAD 2018, Sao Paulo, Brazil, October 1-3, 2018 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Model-driven engineering and software development7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers / by: (書目-電子資源)

Logic synthesis and SOC prototypingRTL design using VHDL / by: (書目-電子資源)

Air traffic control automated systems by: (書目-電子資源)

Development of navigation technology for flight safety by: (書目-電子資源)

A pipelined multi-core machine with operating system supporthardware implementation and correctness proof / by: (書目-電子資源)

Rigorous state-based methods7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings / by: (書目-電子資源)

Euro-Par 2019parallel processing workshops : Euro-Par 2019 International Workshops, Gottingen, Germany, August 26-30, 2019 : revised selected papers / by: (書目-電子資源)

Supercomputing frontiers6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020 : proceedings / by: (書目-電子資源)

Accelerator programming using directives6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019 : revised selected papers / by: (書目-電子資源)

SystemVerilog for hardware descriptionRTL design and verification / by: (書目-電子資源)

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: (書目-電子資源)

Large-scale disk failure predictionPAKDD 2020 Competition and Workshop, AI Ops 2020, February 7 - May 15, 2020 : revised selected papers / by: (書目-電子資源)

Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (書目-電子資源)

Euro-Par 2020parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings / by: (書目-電子資源)

Trends in functional programming21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (書目-電子資源)

Advanced computer architecture13th Conference, ACA 2020, Kunming, China, August 13-15, 2020 : proceedings / by: (書目-電子資源)

Software engineering and formal methodsSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (書目-電子資源)

Search-based software engineering12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Industrial applications of holonic and multi-agent systems9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019 : proceedings / by: (書目-電子資源)

Supercomputing frontiers5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019 : proceedings / by: (書目-電子資源)

Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings / by: (書目-電子資源)

Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020 : revised selected papers / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 202017th International Colloquium, Macau, China, November 30 - December 4, 2020 : proceedings / by: (書目-電子資源)

Smart card research and advanced applications18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019 : revised selected papers / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings / by: (書目-電子資源)

Introduction to the theory of radiopolarimetric navigation systems by: (書目-電子資源)

Verification, model checking, and abstract interpretation22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (書目-電子資源)

ASIC design and synthesisRTL design using Verilog / by: (書目-電子資源)

Smart grid and innovative frontiers in telecommunications5th EAI International Conference, SmartGIFT 2020, Chicago, USA, December 12, 2020 : proceedings / by: (書目-電子資源)

Accelerator programming using directives7th International Workshop, WACCPD 2020, virtual event, November 20, 2020 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Algorithm portfoliosadvances, applications, and challenges / by: (書目-電子資源)

High performance computing7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020 : revised selected papers / by: (書目-電子資源)

Robotic vehiclessystems and technology / by: (書目-電子資源)

Mathematical modeling and supercomputer technologies20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020 : revised selected papers / by: (書目-電子資源)

Parallel computational technologies15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021 : revised selected papers / by: (書目-電子資源)

Structured object-oriented formal language and method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers / by: (書目-電子資源)

Model and Data Engineering10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021 : proceedings / by: (書目-電子資源)

Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 202124th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Real-time C++efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Data management technologies and applications9th International Conference, DATA 2020, virtual event, July 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Microelectronic devices, circuits and systemssecond International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021 : revised selected papers / by: (書目-電子資源)

Cloud computing, big data & emerging topics9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 202118th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and securitySAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings / by: (書目-電子資源)

Parallel computing technologies16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing24th international workshop, JSSPP 2021, virtual event, May 21, 2021 : revised selected papers / by: (書目-電子資源)

Fundamentals of software engineering9th International Conference, FSEN 2021, virtual event, May 19-21, 2021 : revised selected papers / by: (書目-電子資源)

Information security applications22nd International Conference, WISA 2021, Jeju Island, South Korea, August 11-13, 2021 : revised selected papers / by: (書目-電子資源)

Supercomputing7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems23rd International Symposium, SSS 2021, virtual event, November 17-20, 2021 : proceedings / by: (書目-電子資源)

Model checking, synthesis, and learningessays dedicated to Bengt Jonsson on the occasion of his 60th birthday / by: (書目-電子資源)

A combined data and power management infrastructurefor small satellites / by: (書目-電子資源)

Advanced robust nonlinear control approaches for quadrotor unmanned aerial vehicleroadmap to improve tracking-trajectory performance in the presence of external disturbances / by: (書目-電子資源)

Renewable energy optimization, planning and controlproceedings of ICRTE 2021.Volume 1 / by: (書目-電子資源)

The BOXES methodology second editionblack box control of ill-defined systems / by: (書目-電子資源)

Smart structures in energy infrastructureproceedings of ICRTE 2021.Volume 2 / by: (書目-電子資源)

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: (書目-電子資源)

Network and parallel computing18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021 : proceedings / by: (書目-電子資源)

Digital design techniques and exercisesa practice book for digital logic design / by: (書目-電子資源)

Embedded system design with Arm Cortex-M microcontrollersapplications with C, C++ and MicroPython / by: (書目-電子資源)

High performance computing8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6-8, 2021 : revised selected papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency XVI by: (書目-電子資源)

Accelerator programming using directives8th international workshop, WACCPD 2021, virtual event, November 14, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Memristor computing systems by: (書目-電子資源)

Software technologies16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / by: (書目-電子資源)

Next generation arithmeticthird International Conference, CoNGA 2022, Singapore, March 1-3, 2022 : revised selected papers / by: (書目-電子資源)

Euro-Par 2022parallel processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022 : proceedings / by: (書目-電子資源)

Embedded computer systemsarchitectures, modeling, and simulation : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Software engineering and formal methods20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings / by: (書目-電子資源)

Software defined chips.Volume I by: (書目-電子資源)

Progress in cryptology - AFRICACRYPT 202213th International Conference on Cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18-20, 2022 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I / by: (書目-電子資源)

Introduction to mechatronicsan integrated approach / by: (書目-電子資源)

Guide to computer processor architecturea RISC-V approach, with high-level synthesis / by: (書目-電子資源)

Job scheduling strategies for parallel processing25th International Workshop, JSSPP 2022, virtual event, June 3, 2022 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / by: (書目-電子資源)

Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: (書目-電子資源)

Constructive side-channel analysis and secure design14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023 : proceedings / by: (書目-電子資源)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies23rd International Conference, PDCAT 2021, Guangzhou, China, December 7-9, 2022 : proceedings / by: (書目-電子資源)

Renewable energy optimization, planning and controlproceedings of ICRTE 2022 / by: (書目-電子資源)

Digital design from the VLSI perspectiveconcepts for VLSI beginners / by: (書目-電子資源)

Software defined chips.Volume II by: (書目-電子資源)

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: (書目-電子資源)

Pervasive computing technologies for healthcare16th EAI International Conference, Pervasive Health 2022, Thessaloniki, Greece, December 12-14, 2022 : proceedings / by: (書目-電子資源)

Parallel computing technologies17th International Conference, PaCT 2023, Almaty, Kazakhstan, August 21-25, 2023 : proceedings / by: (書目-電子資源)

Euro-Par 2023parallel processing : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023 : proceedings / by: (書目-電子資源)

Trends in functional programming24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023 : revised selected papers / by: (書目-電子資源)

Fundamentals of software engineering10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (書目-電子資源)

OpenMP : advanced task-based, device and compiler programming19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings / by: (書目-電子資源)

Emerging technologies for developing countries5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022 : proceedings / by: (書目-電子資源)

Software technologies17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Parallel computational technologies17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023 : revised selected papers / by: (書目-電子資源)

Progress in cryptology -- AFRICACRYPT 202314th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing26th Workshop, JSSPP 2023, St. Petersburg, Fl, USA, May 19, 2023 : revised selected papers / by: (書目-電子資源)

Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (書目-電子資源)

Embedded computer systemsarchitectures, modeling, and simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023 : proceedings / by: (書目-電子資源)

Supercomputing9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.Part I / by: (書目-電子資源)

Supercomputing9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.Part II / by: (書目-電子資源)

Emerging technologies for developing countries6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11-13, 2023 : proceedings / by: (書目-電子資源)

Software technologies18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023 : revised selected papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency XVII by: (書目-電子資源)

Engineering of computer-based systems8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part I / by: (書目-電子資源)

Computer safety, reliability, and security42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (書目-電子資源)

High performance computing10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023 : revised selected papers / by: (書目-電子資源)

Active object languagescurrent research trends / by: (書目-電子資源)

Constructive side-channel analysis and secure design15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Understanding computer organizationa guide to principles across RISC-V, ARM Cortex, and Intel architectures / by: (書目-電子資源)

Euro-Par 2024parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.Part I / by: (書目-電子資源)

Euro-Par 2024parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.Part III / by: (書目-電子資源)

Euro-Par 2024parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.Part II / by: (書目-電子資源)

Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (書目-電子資源)

Data management technologies and applications12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024 : proceedings / by: (書目-電子資源)

Advancing OpenMP for future accelerators20th International Workshop on OpenMP, IWOMP 2024. Perth, WA, Australia, September 23-25, 2024 : proceedings / by: (書目-電子資源)

Digital electronics for musiciansbuild intuitive electronics and electroacoustic music interfaces / by: (書目-電子資源)

Introduction to digital controlan integrated approach / by: (書目-電子資源)

Parallel computational technologies18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024 : revised selected papers / by: (書目-電子資源)

Progress in cryptology - AFRICACRYPT 202415th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part I / by: (書目-電子資源)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part II / by: (書目-電子資源)

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: (書目-電子資源)

Stabilization, safety, and security of distributed systems26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Leveraging applications of formal methods, verification and validationapplication areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part V / by: (書目-電子資源)

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: (書目-電子資源)

Software engineering and formal methods22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings / by: (書目-電子資源)

High performance computing. ISC High Performance 2024 International WorkshopsHamburg, Germany, May 12-16, 2024 : revised selected papers / by: (書目-電子資源)

Job scheduling strategies for parallel processing27th International Workshop, JSSPP 2024. San Francisco, CA, USA, May 31, 2024 : revised selected papers / by: (書目-電子資源)

High performance computing11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October, 2024 : revised selected papers / by: (書目-電子資源)

Trends in functional programming25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024 : revised selected papers / by: (書目-電子資源)

Embedded computer systemsarchitectures, modeling, and simulation : 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024 : proceedings.Part I / by: (書目-電子資源)

Embedded computer systemsarchitectures, modeling, and simulation : 24th International Conference, SAMOS 2024 Samos, Greece, June 29 - July 4, 2024 : proceedings.Part II / by: (書目-電子資源)

Supercomputing10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.Part I / by: (書目-電子資源)

Supercomputing10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024 : revised selected papers.Part II / by: (書目-電子資源)

Fundamentals of software engineering11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings / by: (書目-電子資源)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part I / by: (書目-電子資源)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part II / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024 : proceedings / by: (書目-電子資源)

Euro-Par 2024parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.Part II / by: (書目-電子資源)

Euro-Par 2024parallel processing workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024 : proceedings.Part I / by: (書目-電子資源)

Control systems : a historical and philosophical perspectivehistory and philosophy of control systems / by: (書目-電子資源)

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: (書目-電子資源)