Concurrent Programs are notoriously difficult to get right. This book provides a systematic and practical approach to designing, analyzing and implementing concurrent programs. Concurrency concepts and techniques are introduced and illustrated using both state models and Java programs. The design models enable concurrent behavior to be...

Chapters in the first part address the position of fuzzy systems in control...

Adobe Flash Professional CS5 is the latest version of the enormously popular web design tool. In its original incarnation, Flash gave web designers an efficient way to send artwork and animation over limitedbandwidth connections. Flash’s claim to fame was its ability to deliver vector images over the web, making download times shorter....

Remotely-sensed images of the Earth's surface provide a valuable source of information about the geographical distribution and properties of natural and cultural features. This fully revised and updated edition of a highly regarded textbook deals with the mechanics of processing remotely-senses images. Presented in an accessible manner,...

This book is designed for an introductory course in discrete mathematics that serves a variety of majors, including mathematics, computer science, and engineering. The book is the outgrowth of a course at Portland State University that has evolved over 15 years from a course for upper-division students into a course for sophomores. The book...

Software components and component-based software development (CBSD) are acknowledged as the best approach for constructing quality software at reasonable cost. Composing Software Components: A Software-testing Perspective describes a 10-year investigation into the underlying principles of CBSD. By restricting attention to the simplest cases,...

The aim of this book is to provide an introduction to the principles...

This book provides a foundation in digital design for students in computer engineering, electrical engineering and computer science courses. It deals with digital design as an activity in a larger systems design context. Instead of focusing on gate-level design and aspects of digital design that have diminishing relevance in a real-world...

Presents a thorough overview of the major topics of digital image processing, beginning with the basic mathematical tools needed for the subject. Includes a comprehensive chapter on stochastic models for digital image processing. Covers aspects of image representation including luminance, color, spatial and temporal properties of vision, and...

“This excellent work fills the need for an upper-level graduate course resource that examines the latest biochemical, biophysical, and molecular biological methods for analyzing the structures and physical properties of biomolecules… This reviewer showed [the book] to several of his senior graduate students, and they...

Using Silverlight 4, you can build richer and more powerful applications than ever before, and deploy them seamlessly in browsers, on desktop...