Catalog > Științe > Math > 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

Ajutor

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

€166.82

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9783540328704 ● Editura Springer Berlin Heidelberg ● Publicat 2007 ● Descărcabil 6 ori ● Valută EUR ● ID 6316782 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Wojciech Penczek Agata Polrola

49.595 Ebooks din această categorie

Copertina de Alexander D. Kolesnik: Markov Random Flights

Alexander D. Kolesnik: Markov Random Flights

Markov Random Flights is the first systematic presentation of the theory of Markov random flights in the Euclidean spaces of different dimensions. Markov random flights is a stochastic dynamic system …

Copertina de William O. Bray: Fourier Analysis

William O. Bray: Fourier Analysis

Providing complete expository and research papers on the geometric and analytic aspects of Fourier analysis, this work discusses new approaches to classical problems in the theory of trigonometric se …

Copertina de Weinan E: Applied Stochastic Analysis

Weinan E: Applied Stochastic Analysis

This is a textbook for advanced undergraduate students and beginning graduate students in applied mathematics. It presents the basic mathematical foundations of stochastic analysis (probability theor …

Copertina de Mateusz Michalek: Invitation to Nonlinear Algebra

Mateusz Michalek: Invitation to Nonlinear Algebra

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and computat …

Copertina de David (Senior Data Science Expert, Novartis, Switzerland) Granjon: Outstanding User Interfaces with Shiny

David (Senior Data Science Expert, Novartis, Switzerland) Granjon: Outstanding User Interfaces with Shiny

Outstanding User Interfaces with Shiny provides the reader with necessary knowledge to develop beautiful and highly interactive user interfaces. It gives the minimum requirements in HTML/Java Script …

Copertina de Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Flight Mechanics Modeling and Analysis comprehensively covers flight mechanics and flight dynamics using a systems approach. This book focuses on applied mathematics and control theory in its discuss …

Copertina de Ben Krause: Discrete Analogues in Harmonic Analysis

Ben Krause: Discrete Analogues in Harmonic Analysis

This timely book explores certain modern topics and connections at the interface of harmonic analysis, ergodic theory, number theory, and additive combinatorics. The main ideas were pioneered by Bour …

Copertina de Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real a …

Copertina de Bruce E Sagan: Combinatorics

Bruce E Sagan: Combinatorics

This book is a gentle introduction to the enumerative part of combinatorics suitable for study at the advanced undergraduate or beginning graduate level. In addition to covering all the standard tech …

Copertina de Gregory J. (University of North Carolina, Charlotte, USA) Gbur: Singular Optics

Gregory J. (University of North Carolina, Charlotte, USA) Gbur: Singular Optics

‘This engagingly written text provides a useful pedagogical introduction to an extensive class of geometrical phenomena in the optics of polarization and phase, including simple explanations of much …

Pagina următoare >>>