Catalog > Ciência > Ciência da Computação > Ciência da Computação > 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

Apoio

Capa do 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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783031177156 ● Editor Zhiming Liu & Corina S. Pasareanu ● Editora Springer International Publishing ● Publicado 2022 ● Carregável 3 vezes ● Moeda EUR ● ID 8679208 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

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

16.570 Ebooks nesta categoria

Capa do 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 …

Capa do Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Capa do 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 …

Capa do 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 …

Capa do 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. …

Capa do 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 …

Capa do Divit Gupta & Anushree Srivastava: Potential of Generative AI

Divit Gupta & Anushree Srivastava: Potential of Generative AI

The Potential of Generative AI invites you for a captivating journey into the revolutionary technology, where machines become co-creators and the line between imagination and reality blurs. You will …

Capa do Martin Krist: Effective Use of Teams for IT Audits

Martin Krist: Effective Use of Teams for IT Audits

Most organizations find that an empowered team will improve the effectiveness of the IT auditing function. Such a team has the appropriate authority, resources, and skills to perform a project, deter …

Capa do 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 …

Capa do Dinesh C. Verma: Federated AI for Real-World Business Scenarios

Dinesh C. Verma: Federated AI for Real-World Business Scenarios

This book provides an overview of Federated Learning and how it can be used to build real-world AI-enabled applications. Real-world AI applications frequently have training data distributed in many d …

Próxima página >>>