Catalog > Sains > Sains Komputer > Sains Komputer > Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems (PDF)

Marco Bernardo & Flavio Corradini
Formal Methods for the Design of Real-Time Systems [PDF ebook]
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

Sokongan

perlindungan daripada Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems (PDF)

€58.19

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● ISBN 9783540300809 ● Penyunting Marco Bernardo & Flavio Corradini ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2004 ● Muat turun 3 kali ● Mata wang EUR ● ID 6316224 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Marco Bernardo Flavio Corradini

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

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

Sharon Yull: BTEC National for IT Practitioners: Core units

BTEC National for IT Practitioners has been written specifically to cover the compulsory core units and selected specialist units of the BTEC National specifications. This book provides core unit cov …

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

perlindungan daripada Tony (Microsoft Research) Hey: Feynman Lectures on Computation

Tony (Microsoft Research) Hey: Feynman Lectures on Computation

Updated anniversary edition of previous edition from 1996
Contains three new invited chapters and three ‘Reminiscences’ on memories of Richard Feynman
Demonstrates Richard …

perlindungan daripada Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

perlindungan daripada Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Neural Network Computer Vision with Open CV equips you with professional skills and knowledge to build intelligent vision systems using Open CV. It creates a sequential pathway for understanding morp …

perlindungan daripada Pratheerth Padman: Learn Data Science from Scratch

Pratheerth Padman: Learn Data Science from Scratch

Learn Data Science from Scratch equips you with the essential tools and techniques, from Python libraries to machine learning algorithms, to tackle real-world problems and make informed decisions.Thi …

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 …

Muka surat seterusnya >>>