Електронна книга > Наука > Математика > Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata (PDF)

Wojciech Penczek & Agata Polrola
Advances in Verification of Time Petri Nets and Timed Automata [PDF ebook]
A Temporal Logic Approach

Підтримка

Обкладинка Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata (PDF)

€166.82

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● ISBN 9783540328704 ● Видавець Springer Berlin Heidelberg ● Опубліковано 2007 ● Завантажувані 6 разів ● Валюта EUR ● Посвідчення особи 6316782 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Wojciech Penczek Agata Polrola

50 053 Електронні книги в цій категорі

Обкладинка 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 …

Обкладинка Virgil Anderson & Thomas Lorenzen: Design of Experiments

Virgil Anderson & Thomas Lorenzen: Design of Experiments

Presents a novel approach to the statistical design of experiments, offering a simple way to specify and evaluate all possible designs without restrictions to classes of named designs. The work also …

Обкладинка Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Elementary Differential Equations, Second Edition is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculat …

Обкладинка J. Malek & J. Necas: Weak and Measure-Valued Solutions to Evolutionary PDEs

J. Malek & J. Necas: Weak and Measure-Valued Solutions to Evolutionary PDEs

This book provides a concise treatment of the theory of nonlinear evolutionary partial differential equations. It provides a rigorous analysis of non-Newtonian fluids, and outlines its results for ap …

Обкладинка Fernanda De Bastiani & Gillian Z. (Department of Statistics, Faculty of Science and Enginerring, Macquarie University, Australia) Heller: Distributions for Modeling Location, Scale, and Shape

Fernanda De Bastiani & Gillian Z. (Department of Statistics, Faculty of Science and Enginerring, Macquarie University, Australia) Heller: Distributions for Modeling Location, Scale, and Shape

This is a book about statistical distributions, their properties, and their application to modelling the dependence of the location, scale, and shape of the distribution of a response variable on exp …

Обкладинка Fischer: Chaos, Fractals, and Dynamics

Fischer: Chaos, Fractals, and Dynamics

This book contains eighteen papers, all more-or-less linked to the theory of dynamical systems together with related studies of chaos and fractals. It shows many fractal configurations that were gene …

Обкладинка Nicholas T. Longford: Statistics for Making Decisions

Nicholas T. Longford: Statistics for Making Decisions

Making decisions is a ubiquitous mental activity in our private and professional or public lives. It entails choosing one course of action from an available shortlist of options. Statistics for Makin …

Обкладинка Luis Barreira: Introduction to Smooth Ergodic Theory

Luis Barreira: Introduction to Smooth Ergodic Theory

This book is the first comprehensive introduction to smooth ergodic theory. It consists of two parts: the first introduces the core of the theory and the second discusses more advanced topics. In par …

Обкладинка Matthew Watkins: Useful Formulae

Matthew Watkins: Useful Formulae

Equations are the magical invocations of millions of modern mathemagicians. Have you ever needed one fast? Circles. Triangles. Spaceships. Mechanics. Trigonometry. Statistics. Areas. Liquids. Gases. …

Обкладинка Joseph Conlon: Why String Theory?

Joseph Conlon: Why String Theory?

Provides the only modern, popular science account of string theory accessible to a general audience
Covers a wide range of contemporary mathematics and describes the big picture of …

Наступна сторінка >>>