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

Ondersteuning
Hoes van Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems (PDF)
€57.35
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● ISBN 9783540300809 ● Editor Marco Bernardo & Flavio Corradini ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2004 ● Downloadbare 3 keer ● Valuta EUR ● ID 6316224 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Marco BernardoFlavio Corradini

16.501 E-boeken in deze categorie

Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Volgende pagina >>>