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)
€57.35
วิธีการชำระเงิน
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● ISBN 9783540300809 ● บรรณาธิการ Marco Bernardo & Flavio Corradini ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2004 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6316224 ● ป้องกันการคัดลอก Adobe DRM
ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Marco BernardoFlavio Corradini

16,501 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ 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
ปกของ 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
ปกของ 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
ปกของ 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
ปกของ 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
ปกของ 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
ปกของ 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
ปกของ 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
ปกของ 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
ปกของ 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
หน้าต่อไป >>>