Catalog > Sains > Sains Komputer > Sains Komputer > Yassine Lakhnech & Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (PDF)

Yassine Lakhnech & Sergio Yovine
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [PDF ebook]
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Sokongan

perlindungan daripada Yassine Lakhnech & Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (PDF)

€57.88

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● ISBN 9783540302063 ● Penyunting Yassine Lakhnech & Sergio Yovine ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2004 ● Muat turun 3 kali ● Mata wang EUR ● ID 6316270 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Yassine Lakhnech Sergio Yovine

16,795 Ebooks dalam kategori ini

perlindungan daripada 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 …

perlindungan daripada Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

This volume provides a comprehensive introduction to foundational topics in sound design for linear media, such as listening and recording; audio postproduction; key musical concepts and forms such a …

perlindungan daripada 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 concep …

perlindungan daripada Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …

perlindungan daripada Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

perlindungan daripada Sharon Yull: BTEC National for IT Practitioners: Business units

Sharon Yull: BTEC National for IT Practitioners: Business units

BTEC National for IT Practitioners: Business Units has been written specifically to cover the business pathway of the BTEC National specifications. This book caters for one of the most popular pathwa …

perlindungan daripada Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

perlindungan daripada 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 a …

perlindungan daripada 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 …

perlindungan daripada Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions

Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions

This book approaches data science solution building using a principled framework and case studies with extensive hands-on guidance. It will teach the readers optimization at each step, whether it is …

Muka surat seterusnya >>>