E-kitap > Bilim > Bilgisayar Bilimi > Bilgisayar Bilimi > 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

Destek

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

€57.88

Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!

Dil İngilizce ● Biçim PDF ● ISBN 9783540302063 ● Editör Yassine Lakhnech & Sergio Yovine ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2004 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 6316270 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Yassine Lakhnech Sergio Yovine

16.580 Bu kategorideki e-kitaplar

Örtmek 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 …

Örtmek 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. …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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. …

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

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

Örtmek 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 …

Sonraki Sayfa >>>