Automated Reasoning Lecture Notes in Artificial Intelligence
Christoph Benzmüller
ISTQB Certified Tester Foundation Level
Lucjan Stapp
Machine Learning and Data Mining For Sports Analytics
MLSA
Enterprise Design, Operations, and Computing - EDOC 2022 Workshops
International Conference on En
Current Trends in Web Engineering
Giuseppe Agapito
Emerging Technologies in Computing
International Conference on Em
Human-Computer Interaction
HCI-COLLAB
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production
HPCST
Advances in Service-Oriented and Cloud Computing
Christian Zirpins
Applications and Usability of Interactive TV
jAUTI
Cloud Computing and Services Science
International Conference on Cl
The Practice of Enterprise Modeling
Balbir S. Barn
Information Technologies and Intelligent Decision Making Systems
ITIDMS
Information and Communication Technologies in Education, Research, and Industrial Applications
ICTERI
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
Developing Information Systems Accurately
Bert de Brock
Embedded Computer Systems
SAMOS
