Sách điện tử > Khoa học > Toán > 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

Ủng hộ

Bìa của Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata (PDF)

€165.39

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783540328704 ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2007 ● Có thể tải xuống 6 lần ● Tiền tệ EUR ● TÔI 6316782 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Wojciech Penczek Agata Polrola

48.795 Ebooks trong thể loại này

Bìa của Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

‘ Exploring commutative algebra”s connections with and applications to topological algebra and algebraic geometry, Commutative Ring Theory covers the spectra of rings chain conditions, dimension the …

Bìa của Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell'Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell’Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear syste …

Bìa của John A. Cornell & Andre I. Khuri: Response Surfaces: Designs and Analyses

John A. Cornell & Andre I. Khuri: Response Surfaces: Designs and Analyses

Response Surfaces: Designs and Analyses; Second Edition presents techniques for designing experiments that yield adequate and reliable measurements of one or several responses of interest, fitting an …

Bìa của Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Based on the proceedings of the International Conference on Stochastic Partial Differential Equations and Applications-V held in Trento, Italy, this illuminating reference presents applications in fi …

Bìa của Richard A. Mollin: Quadratics

Richard A. Mollin: Quadratics

The first thing you will find out about this book is that it is fun to read. It is meant for the browser, as well as for the student and for the specialist wanting to know about the area. The footnot …

Bìa của Peter B. (University of Oregon, Eugene, USA) Gilkey: Invariance Theory

Peter B. (University of Oregon, Eugene, USA) Gilkey: Invariance Theory

This book treats the Atiyah-Singer index theorem using the heat equation, which gives a local formula for the index of any elliptic complex. Heat equation methods are also used to discuss Lefschetz f …

Bìa của V. Balakrishnan: Network Optimization

V. Balakrishnan: Network Optimization

Problems in network optimization arise in all areas of technology and industrial management. The topic of network flows has applications in diverse fields such as chemistry, engineering, management s …

Bìa của Jeffrey Holt: Linear Algebra

Jeffrey Holt: Linear Algebra

Now in its 2nd edition, Linear Algebra with Applications blends computational and conceptual topics to prepare students for the rigors of conceptual thinking in an abstract setting. The early treatme …

Bìa của Marica (University of Brescia, Italy) Manisera & Paola (University of Brescia, Italy) Zuccolotto: Basketball Data Science

Marica (University of Brescia, Italy) Manisera & Paola (University of Brescia, Italy) Zuccolotto: Basketball Data Science

Using data from one season of NBA games, Basketball Data Science: With Applications in R is the perfect book for anyone interested in learning and applying data analytics in basketball. Whether asses …

Bìa của Shih-I Pai: Theoretical Computational Dynamics

Shih-I Pai: Theoretical Computational Dynamics

This book gives an introduction to the theoretical and computational fluid dynamics of a compressible fluid. It focuses on the basic assumptions and the formulation of the theory of compressible flow …

Trang tiếp theo >>>