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

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

Finite Geometries stands out from recent textbooks about the subject of finite geometries by having a broader scope. The authors thoroughly explain how the subject of finite geometries is a central p …

What is a mathematical function? Why are they so important? How does plotting the graph of a function help us understand it? And where do gradients, differentials and calculus fit in? In this unique …

Advanced R helps you understand how R works at a fundamental level. It is designed for R programmers who want to deepen their understanding of the language, and programmers experienced in other langu …

This book attempts to put together the works of a wide range of mathematical scientists. It consists of the proceedings of the Seventh Conference on ‚Nonlinear Analysis and Applications‘ including pa …

Prime numbers have fascinated mathematicians since the time of Euclid. This book presents some of our best tools to capture the properties of these fundamental objects, beginning with the most basic …

This book gives an extensive survey of many important topics in the theory of Hamilton-Jacobi equations with particular emphasis on modern approaches and viewpoints. Firstly, the basic well-posedness …

Since 1973, Galois theory has been educating undergraduate students on Galois groups and classical Galois theory. In Galois Theory, Fifth Edition , mathematician and popular science author Ian Stewar …

Thermodynamics in Materials Science, Second Edition is a clear presentation of how thermodynamic data is used to predict the behavior of a wide range of materials, a crucial component in the decision …