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 Marcia J. (University of California, Los Angeles, CA, USA) Bates: Understanding Information Retrieval Systems

Marcia J. (University of California, Los Angeles, CA, USA) Bates: Understanding Information Retrieval Systems

In order to be effective for their users, information retrieval (IR) systems should be adapted to the specific needs of particular environments. The huge and growing array of types of information ret …

Pokrywa Simeon Berman: Sojourns And Extremes of Stochastic Processes

Simeon Berman: Sojourns And Extremes of Stochastic Processes

Sojourns and Extremes of Stochastic Processes is a research monograph in the area of probability theory. During the past thirty years Berman has made many contributions to the theory of the extreme v …

Pokrywa Schweitzer: Corrosion and Corrosion Protection Handbook

Schweitzer: Corrosion and Corrosion Protection Handbook

Continuing to provide excellent, state-of-the-art information on corrosion and practicalsolutions for reducing corrosion, the Second Edition contains valuable suggestionson how to select the best con …

Pokrywa S. B. Chae: Holomorphy and Calculus in Normed SPates

S. B. Chae: Holomorphy and Calculus in Normed SPates

This book presents a systematic introduction to the theory of holomorphic mappings in normed spaces which has been scattered throughout the literature. It gives the necessary, elementary background f …

Pokrywa Daniel Lesnic: Inverse Problems with Applications in Science and Engineering

Daniel Lesnic: Inverse Problems with Applications in Science and Engineering

Driven by the advancement of industrial mathematics and the need for impact case studies, Inverse Problems with Applications in Science and Engineering thoroughly examines the state-of-the-art of som …

Pokrywa David L. Jagerman: Difference Equations with Applications to Queues

David L. Jagerman: Difference Equations with Applications to Queues

’Presents a theory of difference and functional equations with continuous argument based on a generalization of the Riemann integral introduced by N.E. Norlund, allowing differentation with respect t …

Pokrywa J.P Abraham & J. M. (University of Minnesota, Department of Mechanical Engineering, Minneapolis, USA) Gorman: Numerical Simulation of Heat Exchangers

J.P Abraham & J. M. (University of Minnesota, Department of Mechanical Engineering, Minneapolis, USA) Gorman: Numerical Simulation of Heat Exchangers

This book deals with certain aspects of material science, particularly with the release of thermal energy associated with bond breaking. It clearly establishes the connection between heat transfer ra …

Pokrywa S. C. Woodhouse: Human Rights Discourse in North Korea

S. C. Woodhouse: Human Rights Discourse in North Korea

This unique book examines the conceptual development of human rights in North Korea from historical, political and cultural perspectives. Dr Jiyoung Song explains how North Korea has understood the c …

Pokrywa Russell L. Herman: An Introduction to Fourier Analysis

Russell L. Herman: An Introduction to Fourier Analysis

This book helps students explore Fourier analysis and its related topics, helping them appreciate why it pervades many fields of mathematics, science, and engineering. This introductory textbook was …

Pokrywa Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

Następna strona >>>