Catalog > Sains > Ilmu Komputer > Silvia Bonfanti & Angelo Gargantini: Rigorous State-Based Methods (ePUB)

Silvia Bonfanti & Angelo Gargantini
Rigorous State-Based Methods [EPUB ebook]
10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Dukung

Sampul Silvia Bonfanti & Angelo Gargantini: Rigorous State-Based Methods (ePUB)

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

€83.45

Beli ebook ini dan dapatkan 1 lagi GRATIS!

Bahasa Inggris ● Format EPUB ● ISBN 9783031637902 ● Editor Silvia Bonfanti & Angelo Gargantini ● Penerbit Springer Nature Switzerland ● Diterbitkan 2024 ● Diunduh 3 kali ● Mata uang EUR ● ID 9512239 ● Perlindungan salinan Adobe DRM

Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

Silvia Bonfanti Angelo Gargantini Michael Leuschel Elvinia Riccobene Patrizia Scandurra

74,319 Ebooks dalam kategori ini

Sampul Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Unlock the full potential of your i Phone with i Phone for Seniors in easy steps, 11th edition. This guide shows how to:Navigate your i Phone with confidence.Stay connected with family and friends th …

Sampul Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Android Phones for Seniors in easy steps, 3rd edition unravels the world of Android smartphones. It provides an overview of the popular models, and then shows how to:Customize your phone to suit your …

Sampul Team Orange: Artificial Intelligence Class 2

Team Orange: Artificial Intelligence Class 2

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …

Sampul Team Orange: Touchpad Play Ver 2.0 Class 3

Team Orange: Touchpad Play Ver 2.0 Class 3

Computer Science Textbook Windows 10 & MS Office 2016 KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

Sampul Rohit Ranjan: Microservices for Machine Learning

Rohit Ranjan: Microservices for Machine Learning

Explore the link between microservices and ML in Microservices for Machine Learning. Through this book, you will learn to build scalable systems by understanding modular software construction princip …

Sampul Arndt von Koenigsmarck: Cinema 4D 11 Workshop

Arndt von Koenigsmarck: Cinema 4D 11 Workshop

Model, texture and animate with Cinema 4D 11 using the techniques and tips provided in Cinema 4D 11 Workshop. Starting with all of the basic concepts, functions, and tools – follow along to the works …

Sampul Geeta Zunjani: Artificial Intelligence Class 5

Geeta Zunjani: Artificial Intelligence Class 5

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …

Sampul author Matthew Bennett: Comptia Network+ V6 Study Guide - Indie Copy

author Matthew Bennett: Comptia Network+ V6 Study Guide – Indie Copy

The Network+ certification is an internationally recognized validation of the technical knowledge required of foundation-level IT network practitioners. If you are studying with a view to taking the …

Sampul Theodor Richardson: Microsoft PowerPoint 2013/365

Theodor Richardson: Microsoft PowerPoint 2013/365

As part of the new Pocket Primer series, this book provides an overview of the major and tutorial videos to use Power Point. The book serves as a starting point for deeper exploration of Power Point. …

Sampul (ISC)² Corporate: Official (ISC)2® Guide to the ISSAP® CBK

(ISC)² Corporate: Official (ISC)2® Guide to the ISSAP® CBK

Candidates for the CISSP-ISSAP professional certification need to not only demonstrate a thorough understanding of the six domains of the ISSAP CBK, but also need to have the ability to apply this in …

Halaman selanjutnya >>>