Catalog > Science > Informatique > Informatique > Zhiming Liu & Corina S. Pasareanu: Theoretical Aspects of Computing - ICTAC 2022 (ePUB)

Zhiming Liu & Corina S. Pasareanu
Theoretical Aspects of Computing – ICTAC 2022 [EPUB ebook]
19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Support

Couverture du Zhiming Liu & Corina S. Pasareanu: Theoretical Aspects of Computing - ICTAC 2022 (ePUB)

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

€57.89

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format EPUB ● ISBN 9783031177156 ● Éditeur Zhiming Liu & Corina S. Pasareanu ● Maison d’édition Springer International Publishing ● Publié 2022 ● Téléchargeable 3 fois ● Devise EUR ● ID 8679208 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Zhiming Liu Corina S. Păsăreanu Helmut Seidl

16 615 Ebooks dans cette catégorie

Couverture du Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Couverture du Swapnali Joshi Naik: Think AI

Swapnali Joshi Naik: Think AI

"Think AI" is a rapid-learning book that covers a wide range of Artificial Intelligence topics, including Machine Learning, Deep Learning, Computer Vision, and Natural Language Processing. …

Couverture du Pratheerth Padman: Learn Data Science from Scratch

Pratheerth Padman: Learn Data Science from Scratch

Learn Data Science from Scratch equips you with the essential tools and techniques, from Python libraries to machine learning algorithms, to tackle real-world problems and make informed decisions.Thi …

Couverture du Suman Dutta: Immersive Realm of Extended Reality

Suman Dutta: Immersive Realm of Extended Reality

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

Couverture du Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Couverture du David J. Eck: The Most Complex Machine

David J. Eck: The Most Complex Machine

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

Couverture du Raman Jhajj: Mastering MLOps Architecture

Raman Jhajj: Mastering MLOps Architecture

MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …

Couverture du Sanket Subhash Khandare: Mastering Large Language Models

Sanket Subhash Khandare: Mastering Large Language Models

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and implementi …

Couverture du Dr. Harsh Bhasin: Machine Learning for Beginners - 2nd Edition

Dr. Harsh Bhasin: Machine Learning for Beginners – 2nd Edition

The second edition of "Machine Learning for Beginners" addresses key concepts and subjects in machine learning. The book begins with an introduction to the foundational principles of machin …

Couverture du Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

This book covers a wide range of topics starting with the introduction of web applications, including client-side and server-side scripting, different categories of web applications, and the installa …