Christel Baier & Boudewijn R. Haverkort 
Validation of Stochastic Systems [PDF ebook] 
A Guide to Current Research

Introduction to Radar Analysis, Second Edition is a major revision of the popular textbook. It is written within the context of communication theory as well as the theory of signals and noise. By emp …

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part …

Higher-Order Differential Equations and Elasticity is the third book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the fo …

With Chromatic Graph Theory, Second Edition , the authors present various fundamentals of graph theory that lie outside of graph colorings, including basic terminology and results, trees and connecti …

This Research Note presents some recent advances in various important domains of partial differential equations and applied mathematics including equations and systems of elliptic and parabolic type …

Typically, undergraduates see real analysis as one of the most difficult courses that a mathematics major is required to take. The main reason for this perception is twofold: Students must comprehend n …

This textbook is based on lectures and tutorials given for several years at the Physics Department of Novosibirsk State University. It is constructed as a set of problems followed by detailed …

The theme of inserting new digital technologies into the teaching and learning of mathematics from primary and secondary schools has provoked a wide and interesting debate. One such debate is the …

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