หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > 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)

€165.39

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783540328704 ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2007 ● ที่สามารถดาวน์โหลดได้ 6 ครั้ง ● เงินตรา EUR ● ID 6316782 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Wojciech Penczek Agata Polrola

48,795 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ 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 …

ปกของ Marius Durea & Radu Strugariu: An Introduction to Nonlinear Optimization Theory

Marius Durea & Radu Strugariu: An Introduction to Nonlinear Optimization Theory

The goal of this book is to present the main ideas and techniques in the field of continuous smooth and nonsmooth optimization. Starting with the case of differentiable data and the classical results …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

หน้าต่อไป >>>