Computers, Special purpose.

Pattern recognition and machine intelligence = 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part III / by: (書目-語言資料,印刷品)

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

Computational Advances in Bio and Medical Sciences = 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings / by: (書目-語言資料,印刷品)

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

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Mobile, Secure, and Programmable Networking = 6th International Conference, MSPN 2020, Paris, France, October 28–29, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Modelling, Analysis, and Simulation of Computer and Telecommunication Systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Retrieval = 27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, Proceedings / by: (書目-語言資料,印刷品)

Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / 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: (書目-語言資料,印刷品)

End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

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

Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings / by: (書目-語言資料,印刷品)

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

Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 16–17, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Psychology, Learning, Technology = First International Conference, PLT 2022, Foggia, Italy, January 19–21, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cyber Warfare, Security and Space Research = First International Conference, SpacSec 2021, Jaipur, India, December 9–10, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Towards Autonomous Robotic Systems = 23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Virtual Reality and Mixed Reality = 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14–16, 2022, Proceedings / by: (書目-語言資料,印刷品)

Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / by: (書目-語言資料,印刷品)

Dependable Computing – EDCC 2022 Workshops = SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 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: (書目-語言資料,印刷品)

Real-Time Systems = Design Principles for Distributed Embedded Applications / by: (書目-語言資料,印刷品)

Explainable and Transparent AI and Multi-Agent Systems = 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III / by: (書目-語言資料,印刷品)

Smart Cities, Green Technologies, and Intelligent Transport Systems = 10th International Conference, SMARTGREENS 2021, and 7th International Conference, VEHITS 2021, Virtual Event, April 28–30, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Intelligence, Cyber Security and Computational Models. Recent Trends in Computational Models, Intelligent and Secure Systems = 5th International Conference, ICC3 2021, Coimbatore, India, December 16–18, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

HCI International 2022 – Late Breaking Papers: HCI for Health, Well-being, Universal Access and Healthy Aging = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by: (書目-語言資料,印刷品)

Computational Advances in Bio and Medical Sciences = 11th International Conference, ICCABS 2021, Virtual Event, December 16–18, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Internet of Things. IoT through a Multi-disciplinary Perspective = 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, The Netherlands, October 27–28, 2022, Proceedings / 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. Software Engineering = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / 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: (書目-語言資料,印刷品)

Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXXVIII / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Computing = 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22–26, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Engineering Software for Modern Challenges = First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV = International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Biomimetic and Biohybrid Systems = 11th International Conference, Living Machines 2022, Virtual Event, July 19–22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings / by: (書目-語言資料,印刷品)

Interactive Collaborative Robotics = 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings / by: (書目-語言資料,印刷品)

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

Human Aspects of IT for the Aged Population. Technology in Everyday Living = 8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence / by: (書目-語言資料,印刷品)

Innovations for Community Services = 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13–15, 2022, Proceedings / by: (書目-語言資料,印刷品)

Wireless Mobile Communication and Healthcare = 10th EAI International Conference, MobiHealth 2021, Virtual Event, November 13–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / by: (書目-語言資料,印刷品)

Social Computing and Social Media: Design, User Experience and Impact = 14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities = 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: UX Research, Design, and Assessment = 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Technologies = 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III / by: (書目-語言資料,印刷品)

Engineering Psychology and Cognitive Ergonomics = 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by: (書目-語言資料,印刷品)

HCI International 2022 Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Human-Computer Interaction. User Experience and Behavior = Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III / by: (書目-語言資料,印刷品)

HCI International 2022 Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

IoT and Big Data Technologies for Health Care = Second EAI International Conference, IoTCare 2021, Virtual Event, October 18-19, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

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

Agents and Artificial Intelligence = 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Supported Cooperative Work and Social Computing = 16th CCF Conference, ChineseCSCW 2021, Xiangtan, China, November 26–28, 2021, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

DevOps for Airborne Software = Exploring Modern Approaches / by: (書目-語言資料,印刷品)

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

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part III / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Edge Computing – EDGE 2021 = 5th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Smart Card Research and Advanced Applications = 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11–12, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Intelligent Computing Methodologies = 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part III / by: (書目-語言資料,印刷品)

Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation = 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Well-Being in the Information Society: When the Mind Breaks = 9th International Conference, WIS 2022, Turku, Finland, August 25–26, 2022, Proceedings / by: (書目-語言資料,印刷品)

Parallel and Distributed Computing, Applications and Technologies = 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Hybrid Dynamical Systems = Fundamentals and Methods / by: (書目-語言資料,印刷品)

Passive and Active Measurement = 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing = 11th EAI International Conference, CloudComp 2021, Virtual Event, December 9–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Kompatibilitätsverfahren für Profinet-Hardware mit Ethernet Time Sensitive Networks by: (書目-語言資料,印刷品)

Cognitive Systems and Information Processing = 6th International Conference, ICCSIP 2021, Suzhou, China, November 20–21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Mobile Networks and Management = 11th EAI International Conference, MONAMI 2021, Virtual Event, October 27-29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Internet of Things. Technology and Applications = 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4–5, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Smart Cities = 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Handbook of dynamic data driven applications systems.. Volume 2 by: (書目-語言資料,印刷品)

Blockchain, metaverse and trustworthy systems = 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)