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

This volume contains 28 papers including 4 keynote papers presented at the 10th IFIP WG7.5 Working Conference, focusing on the reliability and optimization of structural …

This volume contains information offered at the international conference held in Curacao, Netherlands Antilles. It presents the latest developments in the most active areas of abelian groups, …

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

This book aims to develop models and modeling techniques that are useful when applied to all complex systems. It adopts both analytic tools and computer simulation. The book is intended for students …

This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form. It is helpful for high school teachers who are interested …

Abstract Calculus: A Categorical Approach provides an abstract approach to calculus. It is intended for graduate students pursuing Ph Ds in pure mathematics but junior and senior researchers in basic …

This book introduces a new method based on algebraic inequalities for optimising engineering systems and processes, with applications in mechanical engineering, materials science, electrical engineer …

‘Integrates and summarizes the most significant developments made by Chinese mathematicians in rings, groups, and algebras since the 1950s. Presents both survey articles and recent research results. …

The study of animal movement has always been a key element in ecological science, because it is inherently linked to critical processes that scale from individuals to populations and communities to e …

Designing structures using composite materials poses unique challenges, especially due to the need for concurrent design of both material and structure. Students are faced with two options: textbooks …