Wojciech Penczek & Agata Polrola 
Advances in Verification of Time Petri Nets and Timed Automata [PDF ebook] 
A Temporal Logic Approach

An “enjoyable [and] painlessly instructive” guide to probability, full of examples drawn from daily life and history (The Skeptic). Our lives are governed by chance. But what, exactly, is chance? In …

This reference – based on the Conference on Differential Equations, held in Bologna – provides information on current research in parabolic and hyperbolic differential equations. Presenting methods a …

Mathematical Methods in Chemical and Biological Engineering describes basic to moderately advanced mathematical techniques useful for shaping the model-based analysis of chemical and biological engin …

This book gives a comprehensive introduction to the theory of smooth manifolds, maps, and fundamental associated structures with an emphasis on "bare hands" approaches, combining differenti …

The precise mathematical investigation of various natural phenomena is an old and difficult problem. This book is the first to deal systematically with the general non-selfadjoint problems in mechani …

This monograph is devoted to the construction of optimal estimates of values of linear functionals on solutions to Cauchy and two-point boundary value problems for systems of linear first-order ordin …

‘ 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 …

This book introduces multi-objective design methods to solve multi-objective optimization problems (MOPs) of linear/nonlinear dynamic systems under intrinsic random fluctuation and external disturban …

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

This book focuses on solutions of second order, linear, parabolic, partial differentialequations on an infinite strip-emphasizing their integral representation, their initialvalues in several senses, …