Didier Bert & Jonathan P. Bowen 
ZB 2002: Formal Specification and Development in Z and B [PDF ebook] 
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Algebraic Methods in Quantum Chemistry and Physics provides straightforward presentations of selected topics in theoretical chemistry and physics, including Lie algebras and their applications, harmo …

This volume is an outcome of the EQUADIFF 87 conference in Greece. It addresses a wide spectrum of topics in the theory and applications of differential equations, ordinary, partial, and functional. …

Providing complete expository and research papers on the geometric and analytic aspects of Fourier analysis, this work discusses new approaches to classical problems in the theory of trigonometric se …

Data Analytics: A Small Data Approach is suitable for an introductory data analytics course to help students understand some main statistical learning models. It has many small datasets to guide stud …

Including the latest theories and applications of time series modelling, this book is intended for students, faculties and professionals with a background in multivariate statistics. Highlighting lin …

Fads are as common in mathematics as in any other human activity, and it is always difficult to separate the enduring from the ephemeral in the achievements of one’s own time. An unfortunate effect o …

This volume contains papers presented at the 27th Taniguchi International Symposium, held in Sanda, Japan – focusing on the study of moduli spaces of various geometric objects such as Einstein metric …

This important new book bridges the gap between works on classical control and process control, and those dealing with HVAC control at a more elementary level, which generally adopt a qualitative and …