Ebook > 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.28

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 523 Ebooks dans cette catégorie

Couverture du Ahmed Banafa: Quantum Computing and Other Transformative Technologies

Ahmed Banafa: Quantum Computing and Other Transformative Technologies

This book explores quantum computing as a transformative technology and its applications in communications, cryptography, teleportation, Io T, AI, and blockchain, in addition to the revolutionary con …

Couverture du Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the …

Couverture du Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …

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 Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

Couverture du Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Couverture du H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

Couverture du Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

This book researches the intricate world of generative Artificial Intelligence, offering readers an extensive understanding of various components and applications in this field.The book begins with …

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 …

Couverture du Leon Kappelman: The SIM Guide to Enterprise Architecture

Leon Kappelman: The SIM Guide to Enterprise Architecture

Enterprise architecture is leading IT »s way to the executive boardroom, as CIOs are now taking their place at the management table. Organizations investing their time, money, and talent in …

Page suivante >>>