Technologies and Innovation
CITI
Advances in Computing
Colombian Congress on Advances
Artificial General Intelligence
AGI
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Tiziana Margaria
System Design For Epidemics Using Machine Learning and Deep Learning
G. R. Kanagachidambaresan
Advances in Computational Intelligence Part I
Mexican International Conferen
Brain Informatics
International Conference on Br
Computer Algebra in Scientific Computing
International Workshop on Comp
Mobile Web and Intelligent Information Systems
MobiWIS
Data Analytics and Management in Data Intensive Domains
International Conference on Da
Real-Time Systems
Hermann Kopetz
Software Technologies
ICSOFT
Advances in Computer Games
Advances in Computer Games
Computing Science, Communication and Security
COMS2
Computational Neuroscience
Latin American Workshop on Com
Pattern Recognition
Mexican Conference on Pattern
Robotics, Vision and Control
Peter I. Corke
Recent Trends in Image Processing and Pattern Recognition
International Conference on Re
Robotics, Vision and Control
Peter I. Corke
Distributed, Ambient and Pervasive Interactions
DAPI
