Електронна книга > Наука > Математика > 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 Електронні книги в цій категорі

Обкладинка A. M. Polyakov: Gauge Fields and Strings

A. M. Polyakov: Gauge Fields and Strings

Based on his own work, the author synthesizes the most promising approaches and ideals in field theory today. He presents such subjects as statistical mechanics, quantum field theory and their interr …

Обкладинка Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Many mathematical problems in science and engineering are defined by ordinary or partial differential equations with appropriate initial-boundary conditions. Among the various methods, boundary integ …

Обкладинка Friedrich (University of Natural Resources and Life Sciences, Institute of Applied Statistics and Computing, Vienna, Austria) Leisch & Roger D. (Johns Hopkins University, Baltimore, Maryland, USA) Peng: Implementing Reproducible Research

Friedrich (University of Natural Resources and Life Sciences, Institute of Applied Statistics and Computing, Vienna, Austria) Leisch & Roger D. (Johns Hopkins University, Baltimore, Maryland, USA) Peng: Implementing Reproducible Research

In computational science, reproducibility requires that researchers make code and data available to others so that the data can be analyzed in a similar manner as in the original publication. Code mu …

Обкладинка Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

Обкладинка R.L. Weber: More Random Walks in Science

R.L. Weber: More Random Walks in Science

More Random Walks in Science is an anthology of fascinating and frequently amusing anecdotes, quotations, illustrations, articles, and reviews that reflect the more lighthearted aspects of the scient …

Обкладинка Sujaul (Shahjalal Univ.) Chowdhury & Ponkog Kumar (Shahjalal Univ.) Das: Numerical Solutions of Boundary Value Problems of Non-linear Differential Equations

Sujaul (Shahjalal Univ.) Chowdhury & Ponkog Kumar (Shahjalal Univ.) Das: Numerical Solutions of Boundary Value Problems of Non-linear Differential Equations

The book presents in comprehensive detail numerical solutions to boundary value problems of a number of non-linear differential equations. Replacing derivatives by finite difference approximations in …

Обкладинка Ioannis K. Argyros: Polynomial Operator Equations in Abstract Spaces and Applications

Ioannis K. Argyros: Polynomial Operator Equations in Abstract Spaces and Applications

Polynomial operators are a natural generalization of linear operators. Equations in such operators are the linear space analog of ordinary polynomials in one or several variables over the fields of r …

Обкладинка Stephen Kokoska & Daniel Zwillinger: CRC Standard Probability and Statistics Tables and Formulae, Student Edition

Stephen Kokoska & Daniel Zwillinger: CRC Standard Probability and Statistics Tables and Formulae, Student Edition

Users of statistics in their professional lives along with statistics students will welcome the CRC Standard Probability and Statistics Tables and Formulae, a concise, easy-to-use reference for basic …

Обкладинка David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

Обкладинка Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

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