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

Destek

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

€58.19

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

Dil İngilizce ● Biçim PDF ● ISBN 9783540300809 ● Editör Marco Bernardo & Flavio Corradini ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2004 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 6316224 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

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

Marco Bernardo Flavio Corradini

16.603 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 David J. Eck: The Most Complex Machine

David J. Eck: The Most Complex Machine

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

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

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

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

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

Sonraki Sayfa >>>