Catalog > Naturwissenschaft > Informatik > Ana Rosa Cavalli & Anna Kalenkova: Tools and Methods of Program Analysis (ePUB)

Ana Rosa Cavalli & Anna Kalenkova
Tools and Methods of Program Analysis [EPUB ebook]
6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Support

Cover von Ana Rosa Cavalli & Anna Kalenkova: Tools and Methods of Program Analysis (ePUB)

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25-27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.

€70.59

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● ISBN 9783031504235 ● Herausgeber Ana Rosa Cavalli & Anna Kalenkova ● Verlag Springer Nature Switzerland ● Erscheinungsjahr 2024 ● herunterladbar 3 mal ● Währung EUR ● ID 9300528 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Ana Rosa Cavalli Anna Kalenkova Rostislav Yavorskiy

74.541 Ebooks in dieser Kategorie

Cover von Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

The AWS Dev Ops Engineer Professional Certification Guide is highly challenging and can significantly boost one’s career. It features scenario-based questions with lengthy descriptions, making compre …

Cover von El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide – An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner“s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Cover von Sergey Balandin & Alexey Kashevnik: Novel Design and the Applications of Smart-M3 Platform in the Internet of Things: Emerging Research and Opportunities

Sergey Balandin & Alexey Kashevnik: Novel Design and the Applications of Smart-M3 Platform in the Internet of Things: Emerging Research and Opportunities

Cover von Nidhi Arora: Trackpad Ver. 2.0 Class 3

Nidhi Arora: Trackpad Ver. 2.0 Class 3

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover von Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover von Otavio Santana: Java Persistence with NoSQL

Otavio Santana: Java Persistence with NoSQL

Java Persistence with No SQL is a comprehensive guide that offers a unique blend of theoretical knowledge and practical implementation, making it an invaluable resource for those seeking to excel in …

Cover von John M. Quick: Learn to Implement Games with Code

John M. Quick: Learn to Implement Games with Code

Game development is one of the most rewarding crafts of modern times. Not only is making games a wonderful lifelong hobby, but employment opportunities exist at many levels. Learn to Implement Games …

Cover von Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks

Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks

This book introduces different interconnection networks applied to different systems. Interconnection networks are used to communicate processing units in a multi-processor system, routers in communi …

Cover von Jeffrey S. (Oak Ridge National Laboratory, Tennessee, USA) Vetter: Contemporary High Performance Computing

Jeffrey S. (Oak Ridge National Laboratory, Tennessee, USA) Vetter: Contemporary High Performance Computing

Contemporary High Performance Computing: From Petascale toward Exascale focuses on the ecosystems surrounding the world’s leading centers for high performance computing (HPC). It covers many of the i …

Cover von Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

Mateo Marin: 2019 Standard Catalog of Cryptocurrencies

nächste Seite >>>