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
Embedded Computer Systems
SAMOS
Brain Informatics
International Conference on Br
Computer Algebra in Scientific Computing
International Workshop on Comp
Mobile Web and Intelligent Information Systems
MobiWIS
The History of the GPU
Jon Peddie
Data Analytics and Management in Data Intensive Domains
International Conference on Da
Real-Time Systems
Hermann Kopetz
Automata Theory and Formal Languages
A. Pettorossi
Introduction To Combinatorial Optimization
Dingzhu Du
Software Technologies
ICSOFT
Advances in Computer Games
Advances in Computer Games
The History of the GPU
Jon Peddie
Computing Science, Communication and Security
COMS2
Understanding Computation
Arnold L. Rosenberg
Computational Neuroscience
Latin American Workshop on Com
