Ebook > Sains > Kejuruteraan / Teknikal > Elektronik, Kejuruteraan Elektrik > Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

Georgiana Caltais & Christian Schilling
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Sokongan

perlindungan daripada Georgiana Caltais & Christian Schilling: Model Checking Software (ePUB)

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

€62.76

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783031321573 ● Penyunting Georgiana Caltais & Christian Schilling ● Penerbit Springer Nature Switzerland ● Diterbitkan 2023 ● Muat turun 3 kali ● Mata wang EUR ● ID 9010023 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Georgiana Caltais Christian Schilling

17,868 Ebooks dalam kategori ini

perlindungan daripada Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

perlindungan daripada M.A. Matin: Handbook of Research on Progressive Trends in Wireless Communications and Networking

M.A. Matin: Handbook of Research on Progressive Trends in Wireless Communications and Networking

perlindungan daripada Pradeep Kumar (IIT Roorkee, India.) Garg & Lavanya (Amity university, Noida, India.) Sharma: Artificial Intelligence

Pradeep Kumar (IIT Roorkee, India.) Garg & Lavanya (Amity university, Noida, India.) Sharma: Artificial Intelligence

Artificial Intelligence: Technologies, Applications, and Challenges is an invaluable resource for readers to explore the utilization of Artificial Intelligence, applications, challenges, and its unde …

perlindungan daripada Korhan (Istinye University, Istanbul) Cengiz & Sachin (Panipat Inst of Engg and Tech, India) Dhawan: Advanced Sensing in Image Processing and IoT

Korhan (Istinye University, Istanbul) Cengiz & Sachin (Panipat Inst of Engg and Tech, India) Dhawan: Advanced Sensing in Image Processing and IoT

The book provides future research directions in Io T and image processing based Energy, Industry, and Healthcare domain and explores the different applications of its associated technologies. However …

perlindungan daripada Stepan Bilan & Sergey Yuzhakov: Image Processing and Pattern Recognition Based on Parallel Shift Technology

Stepan Bilan & Sergey Yuzhakov: Image Processing and Pattern Recognition Based on Parallel Shift Technology

This book describes the methods and algorithms for image pre-processing and recognition. These methods are based on a parallel shift technology of the imaging copy, as well as simple mathematical ope …

perlindungan daripada Stephen Sangwine: Electronic Components and Technology

Stephen Sangwine: Electronic Components and Technology

Most introductory textbooks in electronics focus on the theory while leaving the practical aspects to be covered in laboratory courses. However, the sooner such matters are introduced, the better …

perlindungan daripada Richard C. (University of California, Davis, USA) Dorf: Circuits, Signals, and Speech and Image Processing

Richard C. (University of California, Davis, USA) Dorf: Circuits, Signals, and Speech and Image Processing

In two editions spanning more than a decade, The Electrical Engineering Handbook stands as the definitive reference to the multidisciplinary field of electrical engineering. Our knowledge continues …

perlindungan daripada King-Sun Fu: Applications of Pattern Recognition

King-Sun Fu: Applications of Pattern Recognition

This monograph is intended to cover several major applications of pattern recognition. After a brief introduction to pattern recognition in Chapter 1, the two major approaches, statistical approach …

perlindungan daripada R.P. Donovan: Particle Control for Semiconductor Manufacturing

R.P. Donovan: Particle Control for Semiconductor Manufacturing

There is something Alice-in-Wonderlandish about powerful and vital computer systems being shut down by a microscopic mote that a hay-feverist wouldn”t sneeze at, but as computer chips get smaller, …

perlindungan daripada Himansu (Kalinga Institute of Industrial Technology, Odisha, India) Das & Nilanjan (Dept of Information Technology, Techno India College of Technology, India) Dey: Applied Intelligent Decision Making in Machine Learning

Himansu (Kalinga Institute of Industrial Technology, Odisha, India) Das & Nilanjan (Dept of Information Technology, Techno India College of Technology, India) Dey: Applied Intelligent Decision Making in Machine Learning

The objective of this edited book is to share the outcomes from various research domains to develop efficient, adaptive, and intelligent models to handle the challenges related to decision making. It …

Muka surat seterusnya >>>