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

Support
Cover von Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems (PDF)
€57.35
Zahlungsmethoden
Dieses Ebook kaufen – und ein weitere GRATIS erhalten!
Sprache Englisch ● Format PDF ● ISBN 9783540300809 ● Herausgeber Marco Bernardo & Flavio Corradini ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2004 ● herunterladbar 3 mal ● Währung EUR ● ID 6316224 ● Kopierschutz Adobe DRM
erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Marco BernardoFlavio Corradini

16.501 Ebooks in dieser Kategorie

Cover von 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
Cover von Douglas Self: Self on Audio
Douglas Self: Self on Audio
Self on Audio: The collected audio design articles of Douglas Self, Third Edition is the most comprehensive collection of significant articles in the technical audio press. This third edition feature …
EPUB
Adobe DRM
€93.00
Cover von Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales
Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales
An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …
EPUB
Adobe DRM
€64.11
Cover von Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python
Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python
"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …
EPUB
Adobe DRM
€25.37
Cover von Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends
Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends
EPUB
Adobe DRM
€598.38
Cover von Chao-Yuan Tien & Jiann-Ming Wu: MatConvNet Deep Learning and iOS Mobile App Design for Pattern Recognition: Emerging Research and Opportunities
Chao-Yuan Tien & Jiann-Ming Wu: MatConvNet Deep Learning and iOS Mobile App Design for Pattern Recognition: Emerging Research and Opportunities
Deep learning has become a trending area of research due to its adaptive characteristics and high levels of applicability. In recent years, researchers have begun applying deep learning strategies to …
EPUB
Adobe DRM
€249.04
Cover von Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation
Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation
Build a continuously learning and adapting organization that can extract increasing levels of business, customer and operational value from the amalgamation of data and advanced analytics such as AI …
EPUB
Adobe DRM
€35.85
Cover von 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.38
Cover von 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 …
EPUB
Adobe DRM
€142.12
Cover von Tony (Microsoft Research Connections, Redmond, Washington, USA) Hey: Feynman Lectures on Computation
Tony (Microsoft Research Connections, Redmond, Washington, USA) 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.33
nächste Seite >>>