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

‘Presents a theory of difference and functional equations with continuous argument based on a generalization of the Riemann integral introduced by N.E. Norlund, allowing differentation with respect t …

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel”s Incompleteness Theorems to extensive introductions to set theory, mo …

With very few books adequately addressing ASME Boiler & Pressure Vessel Code, and other international code issues, Pressure Vessels: Design and Practice provides a comprehensive, in-depth guide on ev …

This pocket book serves as an immediate reference for the various formulae encountered in linear systems, control systems, probability, communication engineering, signal processing, quantum mechanics …

Design Theory, Second Edition presents some of the most important techniques used for constructing combinatorial designs. It augments the descriptions of the constructions with many figures to help s …

Updated throughout for the second edition, Introduction to Mechanical Engineering: Part 1 continues to be the essential text for all first-year undergraduate students, alongside those studying for fo …

Among all aspects of engineering, design is the most important step in developing a new product. A systematic approach to managing design issues can only be accomplished by applying mathematical opti …

This book covers topics including the Redei-Reichardt theorem, automorphs of ternary quadratic forms, facts concerning rational matrices leading to integral ternary forms representing zero, character …

Concise Handbook of Mathematics and Physics presents a unified and coherent treatment of all the major aspects of modern elementary physics and mathematics. This complete text/reference includes defi …