This new graduate textbook in computer engineering offers a modern, up-to-date look at computer aided design of VLSI circuits at the functional and logic level by addressing an interesting topic in CAD for digital circuits: design synthesis of detailed specifications from abstract models. Topics covered include hardware modeling, compilation...

This book builds a novel bridge from molecular research to clinical therapy. This approach reveals the functional features of neurons and glia in the particular context of vulnerability and self-protection, intracellular properties and extracellular matrix. Arising from this platform, this volume unfolds the molecular and systemic processes...

This Short Cut is an introduction to building automated web tests using two tools, twill and Selenium. twill is a simple web scripting language that can be used to automate web tests, while Selenium is a web testing framework that runs in any browser and can be used to test complex web sites that make extensive use of...

In this section you will learn to build a Flex application. You will discover that Macromedia Flex Markup Language (MXML) is a great markup language to quickly create a working application. The application will load data from RSS and will display information accordingly. To get to this result, we need some theory about the Flex framework and...

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented...

This book is a step-by-step guide for...

Software continues to become more and more complex, while software consumers’ expectations for performance, reliability, functionality, and speed-to-market are also growing exponentially. H. S. Lahman shows how...

This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational...

This new volume of Methods in Cell Biology looks at methods for analyzing of golgi complex function. Chapters cover such topics as in vitro reconstitution systems, fluorescence-based analysis of trafficking in mammalian cells and high content screening. With cutting-edge material, this comprehensive collection is intended to guide...