Catalog > Wetenschappen > Wiskunde > 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

Ondersteuning

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

€166.82

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat PDF ● ISBN 9783540328704 ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2007 ● Downloadbare 6 keer ● Valuta EUR ● ID 6316782 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Wojciech Penczek Agata Polrola

50.053 E-boeken in deze categorie

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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 …

Hoes van 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. …

Hoes van 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 …

Volgende pagina >>>