Special purpose computers.

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

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

Social Robotics = 13th International Conference, ICSR 2021, Singapore, Singapore, November 10–13, 2021, Proceedings / by: (書目-語言資料,印刷品)

Systems Engineering and Artificial Intelligence by: (書目-語言資料,印刷品)

Towards Autonomous Robotic Systems = 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Equipment, Robots, and Vehicles = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Advances in Soft Computing = 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Smart Cities, Green Technologies, and Intelligent Transport Systems = 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Information and Communication Technologies for Ageing Well and e-Health = 6th International Conference, ICT4AWE 2020, Prague, Czech Republic, May 3–5, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 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: (書目-語言資料,印刷品)

Persuasive Technology = 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

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

Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Socio-Technical Aspects in Security and Trust = 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Advances in Model and Data Engineering in the Digitalization Era = MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings / by: (書目-語言資料,印刷品)

Financial Cryptography and Data Security. FC 2021 International Workshops = CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 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: (書目-語言資料,印刷品)

MultiMedia Modeling = 27th International Conference, MMM 2021, Prague, Czech Republic, June 22–24, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 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: (書目-語言資料,印刷品)

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

Industrial Networks and Intelligent Systems = 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings / by: (書目-語言資料,印刷品)

AIxIA 2020 – Advances in Artificial Intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Innovations for Community Services = 21st International Conference, I4CS 2021, Bamberg, Germany, May 26–28, 2021, Proceedings / by: (書目-語言資料,印刷品)

Reproducible Research in Pattern Recognition = Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

Applied Computer Sciences in Engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

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

Wearables in Healthcare = Second EAI International Conference, HealthWear 2020, Virtual Event, December 10-11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Fuzzy Logic = Recent Applications and Developments / by: (書目-語言資料,印刷品)

Deep Learning for Human Activity Recognition = Second International Workshop, DL-HAR 2020, Held in Conjunction with IJCAI-PRICAI 2020, Kyoto, Japan, January 8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Smart Cities, Green Technologies and Intelligent Transport Systems = 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Smart Card Research and Advanced Applications = 19th International Conference, CARDIS 2020, Virtual Event, November 18–19, 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: (書目-語言資料,印刷品)

Emerging Trends in ICT for Sustainable Development = The Proceedings of NICE2020 International Conference / by: (書目-語言資料,印刷品)

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

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 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: (書目-語言資料,印刷品)

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

Model-Based Engineering of Collaborative Embedded Systems = Extensions of the SPES Methodology / by: (書目-語言資料,印刷品)

Advances in Information Retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Smart Technologies for Precision Assembly = 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14–15, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII = International Workshops COIN 2017 and COINE 2020, Sao Paulo, Brazil, May 8-9, 2017 and Virtual Event, May 9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Sciences - Modelling, Computing and Soft Computing = First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web and Big Data. APWeb-WAIM 2020 International Workshops = KGMA 2020, SemiBDMA 2020, DeepLUDA 2020, Tianjin, China, September 18–20, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

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

Futuristic Trends in Network and Communication Technologies = Third International Conference, FTNCT 2020, Taganrog, Russia, October 14–16, 2020, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

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

Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

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

The Automated City = Internet of Things and Ubiquitous Artificial Intelligence / by: (書目-語言資料,印刷品)

Progress in Artificial Intelligence = 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Virtual Event, September 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

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

Advances in Service-Oriented and Cloud Computing = International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Design, Operation and Evaluation of Mobile Communications = Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Agents and Artificial Intelligence = 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Industrial IoT Technologies and Applications = 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Self Aware Security for Real Time Task Schedules in Reconfigurable Hardware Platforms by: (書目-語言資料,印刷品)

Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings / by: (書目-語言資料,印刷品)

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

Modelling and Simulation for Autonomous Systems = 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Benchmarking, Measuring, and Optimizing = Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Explainable and Transparent AI and Multi-Agent Systems = Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3–7, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Once-Only Principle = The TOOP Project / by: (書目-語言資料,印刷品)

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

HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Design Methods and User Experience = 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Supporting Everyday Life Activities = 7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

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

Data Science = 7th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2021, Taiyuan, China, September 17–20, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Machine Learning for Networking = Third International Conference, MLN 2020, Paris, France, November 24–26, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Automotive Software Architectures = An Introduction / by: (書目-語言資料,印刷品)

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

Mobile Web and Intelligent Information Systems = 17th International Conference, MobiWIS 2021, Virtual Event, August 23–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Access to Media, Learning and Assistive Environments = 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

6GN for Future Wireless Networks = Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings / by: (書目-語言資料,印刷品)

Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Distributed Computer and Communication Networks: Control, Computation, Communications = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Entertainment Computing – ICEC 2020 = 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10–13, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 Workshops = Glasgow, UK, August 23–28, 2020, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI = 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Mobile Networks and Management = 10th EAI International Conference, MONAMI 2020, Chiba, Japan, November 10–12, 2020, Proceedings / by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Web and Internet Economics = 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Chatbots = Aufbau und Anwendungsmöglichkeiten von autonomen Sprachassistenten / by: (書目-語言資料,印刷品)

Maschinenliebe = Liebespuppen und Sexroboter aus technischer, psychologischer und philosophischer Perspektive / by: (書目-語言資料,印刷品)

HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence = 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Towards Autonomous Robotic Systems = 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings / by: (書目-語言資料,印刷品)

Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Social Informatics = 12th International Conference, SocInfo 2020, Pisa, Italy, October 6–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

HCI International 2020 – Late Breaking Papers: Virtual and Augmented Reality = 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Intelligence = 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12–17, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Shape in Medical Imaging = International Workshop, ShapeMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Big Data, Machine Learning, and Applications = First International Conference, BigDML 2019, Silchar, India, December 16–19, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computers Helping People with Special Needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

The Multi-Agent Programming Contest 2019 = Agents Assemble – Block by Block to Victory / by: (書目-語言資料,印刷品)

Blockchain = Hype oder Innovation / by: (書目-語言資料,印刷品)

Distributed Artificial Intelligence = Second International Conference, DAI 2020, Nanjing, China, October 24–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Product Lifecycle Management Enabling Smart X = 17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5–8, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web Services – ICWS 2020 = 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection = International Workshops of PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing – CLOUD 2020 = 13th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence and Mobile Services – AIMS 2020 = 9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

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

Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Distributed Applications and Interoperable Systems = 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Wireless Algorithms, Systems, and Applications = 15th International Conference, WASA 2020, Qingdao, China, September 13–15, 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: (書目-語言資料,印刷品)

Augmented Reality in Education = A New Technology for Teaching and Learning / by: (書目-語言資料,印刷品)

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences = A Reference Model Guided Approach for Common Challenges / 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: (書目-語言資料,印刷品)

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

Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / by: (書目-語言資料,印刷品)

Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 / by: (書目-語言資料,印刷品)

Innovative Technologies and Learning = Third International Conference, ICITL 2020, Porto, Portugal, November 23–25, 2020, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence in Education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computers Helping People with Special Needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Smart Cities = Second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7–9, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Measurement, Modelling and Evaluation of Computing Systems = 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Environmental Software Systems. Data Science in Action = 13th IFIP WG 5.11 International Symposium, ISESS 2020, Wageningen, The Netherlands, February 5–7, 2020, Proceedings / by: (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Service-Oriented and Cloud Computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings / by: (書目-語言資料,印刷品)

Distributed, Ambient and Pervasive Interactions = 8th International Conference, DAPI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Dynamic Data Driven Applications Systems = Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / by: (書目-語言資料,印刷品)

Data Science = 6th International Conference, ICDS 2019, Ningbo, China, May 15–20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Human Interface and the Management of Information. Designing Information = Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Human Interface and the Management of Information. Interacting with Information = Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Cross-Cultural Design. Applications in Health, Learning, Communication, and Creativity = 12th International Conference, CCD 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Posture, Motion and Health = 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Technologies and Innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability. Case Studies in Public and Personal Interactive Systems = 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Human Values and Quality of Life = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Multimodal and Natural Interaction = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Design and User Experience = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Engineering Psychology and Cognitive Ergonomics. Mental Workload, Human Physiology, and Human Energy = 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Image Analysis and Recognition = 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24–26, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Pattern Recognition and Artificial Intelligence = Third Mediterranean Conference, MedPRAI 2019, Istanbul, Turkey, December 22–23, 2019, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems by: (書目-語言資料,印刷品)

Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Social Robotics = 12th International Conference, ICSR 2020, Golden, CO, USA, November 14–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part IV / by: (書目-語言資料,印刷品)

HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Connected Health in Smart Cities by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Parallel Architectures, Algorithms and Programming = 10th International Symposium, PAAP 2019, Guangzhou, China, December 12–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Real-time Linked Dataspaces = Enabling Data Ecosystems for Intelligent Systems / by: (書目-語言資料,印刷品)

Gestaltung vernetzt-flexibler Arbeit = Beiträge aus Theorie und Praxis für die digitale Arbeitswelt / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation: Applications = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Web and Wireless Geographical Information Systems = 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Science, Technology, Applications = 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Communication, Organization and Work = 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Autonomous control for a reliable internet of services = methods, models, approaches, techniques, algorithms, and tools / by: (書目-語言資料,印刷品)

Compressive sensing based algorithms for electronic defence by: (書目-語言資料,印刷品)

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

Human Centered Computing = First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings / by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings / by: (書目-語言資料,印刷品)

E-Voting and Identity = 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Ad Hoc Networks = 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings / by: (書目-語言資料,印刷品)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures = First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics / by: (書目-語言資料,印刷品)

Inclusive Smart Cities and e-Health = 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings / by: (書目-語言資料,印刷品)

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

Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / by: (書目-語言資料,印刷品)

Interaktive Systeme = Band 2: User Interface Engineering, 3D-Interaktion, Natural User Interfaces / by: (書目-語言資料,印刷品)

Smart Homes and Health Telematics = 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers / by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by: (書目-語言資料,印刷品)

Internet of Things. IoT Infrastructures = First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Enhanced Building Information Models = Using IoT Services and Integration Patterns / by: (書目-語言資料,印刷品)

Mit Scrum zum gewünschten System by: (書目-語言資料,印刷品)

Systemkonsolidierung und Datenmigration als Erfolgsfaktoren = HMD Best Paper Award 2014 / by: (書目-語言資料,印刷品)

Advances in Spatial Data Handling and Analysis = Select Papers from the 16th IGU Spatial Data Handling Symposium / by: (書目-語言資料,印刷品)

Practical Biometrics = From Aspiration to Implementation / by: (書目-語言資料,印刷品)

Energy Efficient Smart Phones for 5G Networks by: (書目-語言資料,印刷品)

Internet of Things. User-Centric IoT = First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings / by: (書目-語言資料,印刷品)

Computational Creativity Research: Towards Creative Machines by: (書目-語言資料,印刷品)

Advances in Wireless Sensor Networks = The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / by: (書目-語言資料,印刷品)

Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III / by: (書目-語言資料,印刷品)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

Marktplätze im Umbruch = Digitale Strategien für Services im Mobilen Internet / by: (書目-語言資料,印刷品)

Mobile Services for Toy Computing by: (書目-語言資料,印刷品)

Entwicklung mobiler Apps = Konzepte, Anwendungsbausteine und Werkzeuge im Business und E-Health / by: (書目-語言資料,印刷品)

Global Navigation Satellite Systems and Their Applications by: (書目-語言資料,印刷品)

The Visual Language of Technique = Volume 2 - Heritage and Expectations in Research / by: (書目-語言資料,印刷品)

Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Pervasive Computing Paradigms for Mental Health = 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Contemporary Consumer Health Informatics by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments by: (書目-語言資料,印刷品)

Cloud Computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems = 6th International Conference, PSATS 2014, Genoa, Italy, July 28–29, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Development of a Cyber Physical System for Fire Safety by: (書目-語言資料,印刷品)

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems = 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / by: (書目-語言資料,印刷品)

Industrial IoT Technologies and Applications = International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Internet of Things Technologies for HealthCare = Third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Human Centered Computing = Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Model-Based Engineering of Embedded Systems = Extensions of the SPES 2020 Methodology / by: (書目-語言資料,印刷品)

Leap Motion for Developers by: (書目-語言資料,印刷品)

Embedded Controller = Grundlagen und praktische Umsetzung für industrielle Anwendungen / by: (書目-語言資料,印刷品)

Inclusive Smart Cities and Digital Health = 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings / by: (書目-語言資料,印刷品)

Guide to Software Development = Designing and Managing the Life Cycle / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Methods, Techniques, and Best Practices = 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Beginning Samsung ARTIK = A Guide for Developers / by: (書目-語言資料,印刷品)

Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 / by: (書目-語言資料,印刷品)

Geo-Informatics in Resource Management and Sustainable Ecosystem = Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Introducing the Oscillations Based Paradigm = The Simulation of Agents and Social Systems / by: (書目-語言資料,印刷品)

The FLP Microsatellite Platform = Flight Operations Manual / by: (書目-語言資料,印刷品)

Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 / by: (書目-語言資料,印刷品)

Computer Engineering and Technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Oracle Application Express Administration = For DBAs and Developers / by: (書目-語言資料,印刷品)

Software Engineering and Methodology for Emerging Domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Internet Science = Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by: (書目-語言資料,印刷品)

Music, Mind, and Embodiment = 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Interaction Techniques and Environments = 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Visual Computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Reliable Software Technologies – Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Interactive Collaborative Robotics = First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Users and Context Diversity = 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III / by: (書目-語言資料,印刷品)

Serious Games = Foundations, Concepts and Practice / by: (書目-語言資料,印刷品)

Critical Systems: Formal Methods and Automated Verification = Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by: (書目-語言資料,印刷品)

Automatische Identifikation für Industrie 4.0 by: (書目-語言資料,印刷品)

Advances in Visual Computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Engineering and Technology = 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Intelligence = 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings / by: (書目-語言資料,印刷品)

Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Bioinformatics Research and Applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings / by: (書目-語言資料,印刷品)

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

Distributed, Ambient and Pervasive Interactions: Understanding Humans = 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Neural Networks – ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Interaction Technologies = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Security in Computer and Information Sciences = First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Case-Based Reasoning Research and Development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII = Special Issue on Database- and Expert-Systems Applications / by: (書目-語言資料,印刷品)

Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / by: (書目-語言資料,印刷品)

IoT as a Service = Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings / by: (書目-語言資料,印刷品)

Crowdsourced Data Management = Hybrid Machine-Human Computing / by: (書目-語言資料,印刷品)

Advances in Web-Based Learning – ICWL 2018 = 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings / by: (書目-語言資料,印刷品)

Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Innovative Technologies and Learning = First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Multi-Agent Systems and Agreement Technologies = 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Internet Multimedia Computing and Service = 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Green Energy Systems and Smart Grid = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Swarm Intelligence = 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings / by: (書目-語言資料,印刷品)

From Animals to Animats 15 = 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by: (書目-語言資料,印刷品)

Web and Big Data = APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Combinatorial Image Analysis = 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings / by: (書目-語言資料,印刷品)

Ambient Intelligence = 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Recent Trends and Future Technology in Applied Intelligence = 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Science, Technology, and Applications = 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Blended Learning. Enhancing Learning Success = 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings / by: (書目-語言資料,印刷品)

Internet of Vehicles. Technologies and Services Towards Smart City = 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Cooperative Design, Visualization, and Engineering = 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Theories, Methods, and Human Issues = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Building Information Modeling = Technology Foundations and Industry Practice / by: (書目-語言資料,印刷品)

AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Emerging Technologies in Computing = First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings / by: (書目-語言資料,印刷品)

Ad-hoc, Mobile, and Wireless Networks = 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Social Networks Science: Design, Implementation, Security, and Challenges = From Social Networks Analysis to Social Networks Intelligence / by: (書目-語言資料,印刷品)

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry = 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Virtual Reality and Augmented Reality = 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings / by: (書目-語言資料,印刷品)

Internet and Distributed Computing Systems = 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings / by: (書目-語言資料,印刷品)

Interactive Collaborative Robotics = Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users = 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cellular Automata = 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

RoboCup 2017: Robot World Cup XXI by: (書目-語言資料,印刷品)

Multi-disciplinary Trends in Artificial Intelligence = 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Persuasive Technology = 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation = 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Cross-Cultural Design. Methods, Tools, and Users = 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Programming with Actors = State-of-the-Art and Research Perspectives / by: (書目-語言資料,印刷品)

Wireless Indoor Localization = A Crowdsourcing Approach / by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / by: (書目-語言資料,印刷品)

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

Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Mobile Web and Intelligent Information Systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computing and Internet of Things = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Understanding Modern Dive Computers and Operation = Protocols, Models, Tests, Data, Risk and Applications / by: (書目-語言資料,印刷品)

Machine Learning and Intelligent Communications = Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Handbook of Dynamic Data Driven Applications Systems by: (書目-語言資料,印刷品)

Smart Secure Systems – IoT and Analytics Perspective = Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings / by: (書目-語言資料,印刷品)

Advances in Soft Computing = 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis = First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Recent Advances in Intelligent Manufacturing = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Social Robotics = 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings / by: (書目-語言資料,印刷品)

Queueing Theory and Network Applications = 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

KI 2018: Advances in Artificial Intelligence = 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / by: (書目-語言資料,印刷品)

ICT Innovations 2018. Engineering and Life Sciences = 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXVIII by: (書目-語言資料,印刷品)

Smart Societies, Infrastructure, Technologies and Applications = First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Interaction in Context = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Wireless Mobile Communication and Healthcare = 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings / by: (書目-語言資料,印刷品)

Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Intelligence Science II = Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings / by: (書目-語言資料,印刷品)

ICT Systems Security and Privacy Protection = 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Information and Communication Technologies for Ageing Well and e-Health = Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computers Helping People with Special Needs = 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

GNSS for Rail Transportation = Challenges and Opportunities / by: (書目-語言資料,印刷品)

Internet and Distributed Computing Systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Entertainment Computing – ICEC 2018 = 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Engineering and Technology = 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II / by: (書目-語言資料,印刷品)

Implantable Sensors and Systems = From Theory to Practice / by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings / by: (書目-語言資料,印刷品)

5G for Future Wireless Networks = First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings / by: (書目-語言資料,印刷品)

Smart Technology = First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings / by: (書目-語言資料,印刷品)

Smartphone-Based Indoor Map Construction = Principles and Applications / by: (書目-語言資料,印刷品)

On the Move to Meaningful Internet Systems. OTM 2017 Workshops = Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

MultiMedia Modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Ad Hoc Networks = 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings / by: (書目-語言資料,印刷品)

Mobile Networks and Management = 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings / by: (書目-語言資料,印刷品)

Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Symbiotic Interaction = 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web Engineering = 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Science, Technology, and Applications = 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / by: (書目-語言資料,印刷品)

Autonomous Control for a Reliable Internet of Services = Methods, Models, Approaches, Techniques, Algorithms, and Tools / by: (書目-語言資料,印刷品)

Global Thoughts, Local Designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Hybrid Artificial Intelligent Systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Smart Objects and Technologies for Social Good = Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings / by: (書目-語言資料,印刷品)

Technological Innovation for Resilient Systems = 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence and Mobile Services – AIMS 2018 = 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing – CLOUD 2018 = 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Big Data – BigData 2018 = 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Emerging Technologies for Developing Countries = First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings / by: (書目-語言資料,印刷品)

Love and Sex with Robots = Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Smart STEM-Driven Computer Science Education = Theory, Methodology and Robot-based Practices / by: (書目-語言資料,印刷品)

e-Infrastructure and e-Services for Developing Countries = 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Cloud Infrastructures, Services, and IoT Systems for Smart Cities = Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings / by: (書目-語言資料,印刷品)

Wireless Internet = 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings / by: (書目-語言資料,印刷品)

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence = 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Context-Aware Systems and Applications, and Nature of Computation and Communication = 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings / by: (書目-語言資料,印刷品)

Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

e-Learning, e-Education, and Online Training = 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings / by: (書目-語言資料,印刷品)

Articulated Motion and Deformable Objects = 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings / by: (書目-語言資料,印刷品)

Communications and Networking = 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Communications and Networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Information Security Theory and Practice = 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings / by: (書目-語言資料,印刷品)

Biomedical Engineering Systems and Technologies = 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Ubiquitous Communications and Network Computing = First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings / by: (書目-語言資料,印刷品)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures = Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings / by: (書目-語言資料,印刷品)

MultiMedia Modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living = 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Biomimetic and Biohybrid Systems = 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management = 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Human Interface and the Management of Information. Interaction, Visualization, and Analytics = 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments = 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Distributed, Ambient and Pervasive Interactions: Technologies and Contexts = 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: Designing Interactions = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: Theory and Practice = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: Users, Contexts and Case Studies = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Wireless Algorithms, Systems, and Applications = 15th International Conference, WASA 2020, Qingdao, China, September 13–15, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Bioinspired Optimization Methods and Their Applications = 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

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

Financial Cryptography and Data Security = 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020 Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced API Security = OAuth 2.0 and Beyond / by: (書目-語言資料,印刷品)

Artificial Intelligence in Education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Digitalisierung der Arbeit in der Langzeitpflege als Veränderungsprojekt by: (書目-語言資料,印刷品)

HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

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

Design, Operation and Evaluation of Mobile Communications = First International Conference, MOBILE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 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: (書目-語言資料,印刷品)

The Impact of Digital Technologies on Public Health in Developed and Developing Countries = 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings / by: (書目-語言資料,印刷品)

Innovations for Community Services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12–14, 2020, Proceedings / by: (書目-語言資料,印刷品)

Industrial IoT = Challenges, Design Principles, Applications, and Security / by: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = 6th International Conference, MESAS 2019, Palermo, Italy, October 29–31, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

HCI International 2020 - Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Tools and Techniques for High Performance Computing = Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Passive and Active Measurement = 21st International Conference, PAM 2020, Eugene, Oregon, USA, March 30–31, 2020, Proceedings / by: (書目-語言資料,印刷品)

Internet of Things. A Confluence of Many Disciplines = Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Telematics and Computing = 9th International Congress, WITCOM 2020, Puerto Vallarta, Mexico, November 2–6, 2020, Proceedings / by: (書目-語言資料,印刷品)

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

Tactile Perception by Electrovibration by: (書目-語言資料,印刷品)

Robotic Grasping and Manipulation = First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers / by: (書目-語言資料,印刷品)

Digital Marketplaces Unleashed by: (書目-語言資料,印刷品)

Artificial Intelligence in Health = First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

RoboCup 2018: Robot World Cup XXII by: (書目-語言資料,印刷品)

Transactions on Pattern Languages of Programming IV by: (書目-語言資料,印刷品)

Mobile Web and Intelligent Information Systems = 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Mobile, Secure, and Programmable Networking = 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23–24, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human Interface and the Management of Information. Visual Information and Knowledge Management = Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

People, Personal Data and the Built Environment by: (書目-語言資料,印刷品)

Distributed Computing by Mobile Entities = Current Research in Moving and Computing / by: (書目-語言資料,印刷品)

5G for Future Wireless Networks = Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings / by: (書目-語言資料,印刷品)

Interactive Collaborative Robotics = 4th International Conference, ICR 2019, Istanbul, Turkey, August 20–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Economics of Grids, Clouds, Systems, and Services = 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Machine Learning for Networking = First International Conference, MLN 2018, Paris, France, November 27–29, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

HCI in Mobility, Transport, and Automotive Systems = First International Conference, MobiTAS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human Interface and the Management of Information. Information in Intelligent Systems = Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Intelligence = Second CCF International Conference, ICAI 2019, Xuzhou, China, August 22-23, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Advances in Soft Computing = 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings / by: (書目-語言資料,印刷品)

Gerontechnology = First International Workshop, IWoG 2018, Cáceres, Spain, and Évora, Portugal, 14 and 17 December, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cyber Physical Systems. Design, Modeling, and Evaluation = 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Supported Cooperative Work and Social Computing = 14th CCF Conference, ChineseCSCW 2019, Kunming, China, August 16–18, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration = 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence and Mobile Services – AIMS 2019 = 8th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Perspectives on Design = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Artificial Intelligence in Education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Artificial Intelligence in Education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

The Multi-Agent Programming Contest 2018 = Agents Teaming Up in an Urban Environment / by: (書目-語言資料,印刷品)

Physiological Computing Systems = International Conferences, PhyCS 2016, Lisbon, Portugal, July 27–28, 2016, PhyCS 2017, Madrid, Spain, July 27–28, 2017, PhyCS 2018, Seville, Spain, September 19–21, 2018, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Analysis of Images and Patterns = 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Explainable, Transparent Autonomous Agents and Multi-Agent Systems = First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Personas - User Focused Design by: (書目-語言資料,印刷品)

Wired/Wireless Internet Communications = 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17–18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Mobile, Secure, and Programmable Networking = 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications = 6th International Conference, CompIMAGE 2018, Cracow, Poland, July 2–5, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Green, Pervasive, and Cloud Computing = 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Communication Systems and Networks = 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Robot Intelligence Technology and Applications = 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16–18, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Systems Security = 15th International Conference, ICISS 2019, Hyderabad, India, December 16–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Databases Theory and Applications = 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 – February 1, 2019, Proceedings / by: (書目-語言資料,印刷品)

Image Analysis and Processing – ICIAP 2019 = 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Precision Assembly in the Digital Age = 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Supported Cooperative Work and Social Computing = 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web and Wireless Geographical Information Systems = 17th International Symposium, W2GIS 2019, Kyoto, Japan, May 16–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Towards Integrated Web, Mobile, and IoT Technology = Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018 / by: (書目-語言資料,印刷品)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

How AI Impacts Urban Living and Public Health = 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings / by: (書目-語言資料,印刷品)

Entertainment Computing and Serious Games = First IFIP TC 14 Joint International Conference, ICEC-JCSG 2019, Arequipa, Peru, November 11–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

New Trends in Image Analysis and Processing – ICIAP 2019 = ICIAP International Workshops, BioFor, PatReCH, e-BADLE, DeepRetail, and Industrial Session, Trento, Italy, September 9–10, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

CyberParks – The Interface Between People, Places and Technology = New Approaches and Perspectives / by: (書目-語言資料,印刷品)

Semantic Systems. The Power of AI and Knowledge Graphs = 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human-Centered Software Engineering = 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Explosives Detection = Sensors, Electronic Systems and Data Processing / by: (書目-語言資料,印刷品)

Social Robotics = 11th International Conference, ICSR 2019, Madrid, Spain, November 26–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Supercomputing = 9th International Conference, ISUM 2018, Mérida, Mexico, March 5–9, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / by: (書目-語言資料,印刷品)

Security and Quality in Cyber-Physical Systems Engineering = With Forewords by Robert M. Lee and Tom Gilb / by: (書目-語言資料,印刷品)

HCI International 2019 – Late Breaking Posters = 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Praxishandbuch JIT/JIS mit SAP® = Die Just-in-Time und Just-in-Sequence Abwicklung mit SAP® / by: (書目-語言資料,印刷品)

Information Technology in Disaster Risk Reduction = Third IFIP TC 5 DCITDRR International Conference, ITDRR 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20–21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Green, Pervasive, and Cloud Computing = 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

Innovative Technologies and Learning = Second International Conference, ICITL 2019, Tromsø, Norway, December 2–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion = 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare Applications = 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Design Practice in Contemporary Societies = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Recognition and Interaction Technologies = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability. Design Philosophy and Theory = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Ad-Hoc, Mobile, and Wireless Networks = 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings / by: (書目-語言資料,印刷品)

Virtual Reality and Augmented Reality = 16th EuroVR International Conference, EuroVR 2019, Tallinn, Estonia, October 23–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Emerging Technologies in Computing = Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Cryptology and Network Security = 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings / by: (書目-語言資料,印刷品)

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

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Distributed Applications and Interoperable Systems = 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability. User Experience in Advanced Technological Environments = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Automotive Systems and Software Engineering = State of the Art and Future Trends / by: (書目-語言資料,印刷品)

Communication Technologies for Vehicles = 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Intelligent Computing Methodologies = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Learning and Collaboration Technologies. Designing Learning Experiences = 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments = 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Dementia Lab 2019. Making Design Work: Engaging with Dementia in Context = 4th Conference, D-Lab 2019, Eindhoven, The Netherlands, October 21–22, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human Work Interaction Design. Designing Engaging Automation = 5th IFIP WG 13.6 Working Conference, HWID 2018, Espoo, Finland, August 20 - 21, 2018, Revised Selected Papers / 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: (書目-語言資料,印刷品)

Technology and Innovation in Learning, Teaching and Education = First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Image Analysis and Processing – ICIAP 2019 = 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer and Computing Technologies in Agriculture XI = 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings, Part II / by: (書目-語言資料,印刷品)

Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health = International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Blockchain und maschinelles Lernen = Wie das maschinelle Lernen und die Distributed-Ledger-Technologie voneinander profitieren / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part V / by: (書目-語言資料,印刷品)

Cognitive Systems and Signal Processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Cognitive Systems and Signal Processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Wireless Sensor Networks = 13th China Conference, CWSN 2019, Chongqing, China, October 12–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

ICT Unbounded, Social Impact of Bright ICT Adoption = IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2019, Accra, Ghana, June 21–22, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer and Computing Technologies in Agriculture XI = 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings, Part I / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Dependability in Sensor, Cloud, and Big Data Systems and Applications = 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Internet of Things. Information Processing in an Increasingly Connected World = First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Web-Based Learning – ICWL 2019 = 18th International Conference, Magdeburg, Germany, September 23–25, 2019, Proceedings / by: (書目-語言資料,印刷品)