Catalog > Sciences > Math > Nathalie Bertrand & Luca Bortolussi: Quantitative Evaluation of Systems (ePUB)

Nathalie Bertrand & Luca Bortolussi
Quantitative Evaluation of Systems [EPUB ebook]
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Support

Cover of Nathalie Bertrand & Luca Bortolussi: Quantitative Evaluation of Systems (ePUB)

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.

€57.50

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783319663357 ● Editor Nathalie Bertrand & Luca Bortolussi ● Publisher Springer International Publishing ● Published 2017 ● Downloadable 3 times ● Currency EUR ● ID 6210733 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Nathalie Bertrand Luca Bortolussi

42,398 Ebooks in this category

Cover of S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

Optimal control deals with the problem of finding a control law for a given system such that a certain optimality criterion is achieved. An optimal control is a set of differential equations describi …

Cover of Brian Albright & William P Fox: Mathematical Modeling with Excel

Brian Albright & William P Fox: Mathematical Modeling with Excel

This text presents a wide variety of common types of models found in other mathematical modeling texts, as well as some new types. However, the models are presented in a very unique format. A typical …

Cover of Michael (University of Nottingham, UK) Clifford: Statistical Inference via Data Science: A ModernDive into R and the Tidyverse

Michael (University of Nottingham, UK) Clifford: Statistical Inference via Data Science: A ModernDive into R and the Tidyverse

Statistical Inference via Data Science: A Modern Dive into R and the Tidyverse provides a pathway for learning about statistical inference using data science tools widely used in industry, academia, …

Cover of Hugo D. (The George Washington University, Washington, D.C., USA) Junghenn: Principles of Analysis

Hugo D. (The George Washington University, Washington, D.C., USA) Junghenn: Principles of Analysis

Principles of Analysis: Measure, Integration, Functional Analysis, and Applications prepares readers for advanced courses in analysis, probability, harmonic analysis, and applied mathematics at the d …

Cover of Michal Ceppan & Marek Liska: Applications of Numerical Methods in Molecular Spectroscopy

Michal Ceppan & Marek Liska: Applications of Numerical Methods in Molecular Spectroscopy

Applications of Numerical Methods in Molecular Spectroscopy provides a mathematical background, theoretical perspective, and review of spectral data processing methods. The book discusses methods of …

Cover of Narenda Govil & Ram N. Mohapatra: Approximation Theory

Narenda Govil & Ram N. Mohapatra: Approximation Theory

‘Contains the contributions of 45 internationally distinguished mathematicians covering all areas of approximation theory-written in honor of the pioneering work of Arun K. Varma to the fields of int …

Cover of Guillermo Gonzalez: Advanced Electromagnetic Wave Propagation Methods

Guillermo Gonzalez: Advanced Electromagnetic Wave Propagation Methods

This textbook provides a solid foundation into many approaches that are used in the analysis of advanced electromagnetic wave propagation problems. The techniques discussed are essential to obtain cl …

Cover of Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Lattice theory extends into virtually every branch of mathematics, ranging from measure theory and convex geometry to probability theory and topology. A more recent development has been the rapid esc …

Cover of E. Shashi Menon: Liquid Pipeline Hydraulics

E. Shashi Menon: Liquid Pipeline Hydraulics

Avoiding lengthy mathematical discussions, this reference specifically addresses issues affecting the day-to-day practices of those who design, operate, and purchase liquid pipelines in the oil, wate …

Cover of Hung Vinh Tran: Hamilton-Jacobi Equations

Hung Vinh Tran: Hamilton-Jacobi Equations

This book gives an extensive survey of many important topics in the theory of Hamilton-Jacobi equations with particular emphasis on modern approaches and viewpoints. Firstly, the basic well-posedness …