This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting …
This textbook presents the fundamental concepts and methods for understanding and working with images and video in an unique, easy-to-read style which ensures the material is …
This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise …