Catalog > Ciência > Ciência da Computação > Ciência da Computação > 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

Apoio

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

€57.88

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783540302063 ● Editor Yassine Lakhnech & Sergio Yovine ● Editora Springer Berlin Heidelberg ● Publicado 2004 ● Carregável 3 vezes ● Moeda EUR ● ID 6316270 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Yassine Lakhnech Sergio Yovine

16.580 Ebooks nesta categoria

Capa do 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 …

Capa do Swapnali Joshi Naik: Think AI

Swapnali Joshi Naik: Think AI

"Think AI" is a rapid-learning book that covers a wide range of Artificial Intelligence topics, including Machine Learning, Deep Learning, Computer Vision, and Natural Language Processing. …

Capa do Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

The Future of the Artificial Mind is about the social and technological challenges posed by the new wave of artificial intelligence, both from a technical and a cognitive perspective. Deep neural net …

Capa do Maanak Gupta & Anuj Kumar Yadav: Future Connected Technologies

Maanak Gupta & Anuj Kumar Yadav: Future Connected Technologies

The main aim of the book is to familiarize readers with the concepts of convergence of different connected and smart domains that are assisted by Cloud Computing, core technologies behind Cloud Compu …

Capa do Divit Gupta & Anushree Srivastava: Potential of Generative AI

Divit Gupta & Anushree Srivastava: Potential of Generative AI

The Potential of Generative AI invites you for a captivating journey into the revolutionary technology, where machines become co-creators and the line between imagination and reality blurs. You will …

Capa do 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 …

Capa do Suman Dutta: Immersive Realm of Extended Reality

Suman Dutta: Immersive Realm of Extended Reality

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

Capa do 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. …

Capa do Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Capa do 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 …

Próxima página >>>