First-Order Dynamic Logic (Lecture Notes in Computer Science)
This is a research monograph intended primarily for those researchers in
Theoretical Computer Science interested in the areas of logics of programs,
programming language semantics and program verification. It is also aimed at
mathematically-inclined researchers in Logic, Linguistics and Philosophy,
interested in a well-motivated... | | Digital Image Processing Using MATLAB(R)This is the first book that provides a balanced treatment of image processing basics and software principles used in the practical application of image processing. Working in the MATLAB computing environment, it provides a stable, well-supported set of software tools capable of addressing a broad spectrum of applications in digital image... | | |