Catalog > Științe > Informatică > Calculatoare > 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

Ajutor

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

€57.88

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9783540302063 ● Editor Yassine Lakhnech & Sergio Yovine ● Editura Springer Berlin Heidelberg ● Publicat 2004 ● Descărcabil 3 ori ● Valută EUR ● ID 6316270 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Yassine Lakhnech Sergio Yovine

16.570 Ebooks din această categorie

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de S. Asha & A. Roshni: Progressions made in Cyber-Security World

S. Asha & A. Roshni: Progressions made in Cyber-Security World

SERI-2021 was a success with the presence of our valuable Guest Speakers who lead the discussion in various session in just the right direction showering the audiences with their esteemed valuable kn …

Copertina de 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 …

Copertina de R.W Hockney & C.R Jesshope: Parallel Computers 2

R.W Hockney & C.R Jesshope: Parallel Computers 2

Since the publication of the first edition, parallel computing technology has gained considerable momentum. A large proportion of this has come from the improvement in VLSI techniques, offering one t …

Copertina de 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. …

Copertina de Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

Copertina de Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

The research and exploitation of optoelectronic properties in the industrial branch of electronics is becoming more popular each day due to the important role they play in the development of a large …

Pagina următoare >>>