Catalog > Nauka > Matematyka > 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

Wsparcie

Pokrywa Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata (PDF)

€166.82

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9783540328704 ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2007 ● Do pobrania 6 czasy ● Waluta EUR ● ID 6316782 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Wojciech Penczek Agata Polrola

50 053 Ebooki w tej kategorii

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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. …

Pokrywa 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 …

Następna strona >>>