-
Artificial Intelligence A Modern Approach /
-
Dynamic Spectrum Management : From Cognitive Radio to Blockchain and Artificial Intelligence
-
How AI Impacts Urban Living and Public Health : 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
-
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
-
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
-
Handbook on Craniofacial Superimposition : The MEPROCS Project
-
Knowledge Graphs and Big Data Processing
-
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
-
Artificial Intelligence in Oncology Drug Discovery and Development
-
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
-
Workshops in International Conference on Social Robotics
-
Automated Machine Learning : Methods, Systems, Challenges
-
Rights for Robots : Artificial Intelligence, Animal and Environmental Law
-
AI based Robot Safe Learning and Control
-
Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2018
-
Enhanced Living Environments : Algorithms, Architectures, Platforms, and Systems
-
Anti-fragile ICT Systems
-
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
-
Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019
-
Entity-Oriented Search
-
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
-
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I