M. Broy & Gunther Schmidt 
Theoretical Foundations of Programming Methodology [PDF ebook] 
Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Actions and Invariants of Algebraic Groups, Second Edition presents a self-contained introduction to geometric invariant theory starting from the basic theory of affine algebraic groups and proceedin …

Uses state-of-the-art computer technology to formulate displacement method with matrix algebra. Facilitates analysis of structural dynamics and applications to earthquake engineering and UBC and IBC …

In knot theory, diagrams of a given canonical genus can be described by means of a finite number of patterns (‘generators’). Diagram Genus, Generators and Applications presents a self-contained accou …

Presents the statistical analysis of morphological filters and their automatic optical design, the development of morphological features for image signatures, and the design of efficient morphologica …

Includes current work of 38 renowned contributors that details the diversity of thought in the fields of commutative algebra and multiplicative ideal theory. Summarizes recent findings on classes of …

Amidst tightening requirements for eliminating CFC»s, HCFC»s, halons, and HFC»s from use in air conditioning and heat pumps, the search began for replacements that are environmentally benign, non- …

Robust Regression: Analysis and Applications characterizes robust estimators in terms of how much they weight each observation discusses generalized properties of Lp-estimators. Includes an algorithm …

Ever since the groundbreaking work of J.J. Kohn in the early 1960s, there has been a significant interaction between the theory of partial differential equations and the function theory of several co …

Of the two primary approaches to the classic source separation problem, only one does not impose potentially unreasonable model and likelihood constraints: the Bayesian statistical approach. Bayesian …

Lattice Point Identities and Shannon-Type Sampling demonstrates that significant roots of many recent facets of Shannon»s sampling theorem for multivariate signals rest on basic number-theoretic res …