Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design...
This volume contains the proceedings of Analysis and Design of Hybrid Systems 2006: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems...
A number of important issues form the basis of this book: How can the Information Technology (IT) standardization process, leading to unified products...
This textbook, now in its sixth edition, continues to be straightforward and easy-to-read, presenting the principles of PLCs while not tying itself to...
Precharge logic is used by a variety of industries in applications where processor speed is the primary goal, such as VLSI (very large systems...
The divide between UX and Web development can be stifling. Bridging UX and Web Development prepares you to break down those walls by teaching you how...
Configuring Citrix Metaframe for Windows 2000 Terminal Services describes all the means in using both Microsoft Windows 2000 Terminal Services and...
Since the publication of the first edition of The Designer's Guide to VHDL in 1996, digital electronic systems have increased exponentially in their...
MCSE Exam 70-296 Study Guide & DVD Training System: Planning, Implementing and Maintaining a Windows Server 2003 Environment for an MCSE Certified on...
Implementing cryptography requires integers of significant magnitude to resist cryptanalytic attacks. Modern programming languages only provide...