หนังสือดิจิตอล > วิทยาศาสตร์ > วิทยาศาสตร์คอมพิวเตอร์ > วิทยาศาสตร์คอมพิวเตอร์ > Marco Bernardo & Jane Hillston: Formal Methods for Performance Evaluation (PDF)

Marco Bernardo & Jane Hillston
Formal Methods for Performance Evaluation [PDF ebook]
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

สนับสนุน

ปกของ Marco Bernardo & Jane Hillston: Formal Methods for Performance Evaluation (PDF)

€57.91

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783540725220 ● บรรณาธิการ Marco Bernardo & Jane Hillston ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2007 ● ที่สามารถดาวน์โหลดได้ 6 ครั้ง ● เงินตรา EUR ● ID 6320028 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

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

Marco Bernardo Jane Hillston

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 …

ปกของ Leonardo Gabrielli: Developing Virtual Synthesizers with VCV Rack

Leonardo Gabrielli: Developing Virtual Synthesizers with VCV Rack

Developing Virtual Synthesizers with VCV Rack takes the reader step by step through the process of developing synthesizer modules, beginning with the elementary and leading up to more engaging exampl …

ปกของ 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 …

ปกของ Francisco J. Garcia-Penalvo: Information Technology Trends for a Global and Interdisciplinary Research Community

Francisco J. Garcia-Penalvo: Information Technology Trends for a Global and Interdisciplinary Research Community

Data is the base for information, information is needed to have knowledge, and knowledge is used to make decisions and manage 21st century businesses and organizations. Thus, it is imperative to rema …

ปกของ 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 …

ปกของ Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

ปกของ Dinesh C. Verma: Federated AI for Real-World Business Scenarios

Dinesh C. Verma: Federated AI for Real-World Business Scenarios

This book provides an overview of Federated Learning and how it can be used to build real-world AI-enabled applications. Real-world AI applications frequently have training data distributed in many d …

ปกของ Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras

Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras

Build cutting edge machine and deep learning systems for the lab, production, and mobile devices. Purchase of the print or Kindle book includes a free e Book in PDF format. Key Features

Unde …

ปกของ 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 …

ปกของ 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 …

หน้าต่อไป >>>