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

الدعم
غلاف Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems (PDF)
€58.19
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● ISBN 9783540300809 ● محرر Marco Bernardo & Flavio Corradini ● الناشر Springer Berlin Heidelberg ● نشرت 2004 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6316224 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Marco BernardoFlavio Corradini

16٬795 كتب إلكترونية في هذه الفئة

غلاف 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 …
EPUB
Adobe DRM
€153.76
غلاف 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 …
EPUB
Adobe DRM
€25.29
غلاف 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 …
EPUB
Adobe DRM
€59.05
غلاف 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 …
EPUB
Adobe DRM
€25.37
غلاف Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions
Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions
This book approaches data science solution building using a principled framework and case studies with extensive hands-on guidance. It will teach the readers optimization at each step, whether it is …
EPUB
Adobe DRM
€25.49
غلاف 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 …
EPUB
Adobe DRM
€49.08
غلاف 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 …
EPUB
Adobe DRM
€59.17
غلاف 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 …
EPUB
Adobe DRM
€64.05
غلاف 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 …
EPUB
Adobe DRM
€25.37
غلاف Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media
Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media
This volume provides a comprehensive introduction to foundational topics in sound design for linear media, such as listening and recording; audio postproduction; key musical concepts and forms such a …
EPUB
Adobe DRM
€61.61
الصفحة التالية >>>