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

Stöd
Omslag till Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems (PDF)
€57.35
Betalningsmetoder
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● ISBN 9783540300809 ● Redaktör Marco Bernardo & Flavio Corradini ● Utgivare Springer Berlin Heidelberg ● Publicerad 2004 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6316224 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Marco BernardoFlavio Corradini

16 501 E-böcker i denna kategori

Omslag till 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
Omslag till 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
Omslag till 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
Omslag till 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
Omslag till 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
Omslag till 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
Omslag till 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
Omslag till 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
Omslag till 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
Omslag till 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ästa sida >>>