 |
|
 Reasoning About Program TransformationsThe motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the flow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. Indeed, we face a paradoxical situation where, on the one hand, a typical program spends most of its... |  |  Developing USB PC Peripherals Using Intel 8X930AX USB MicrocontrollerUniversal Serial Bus (USB) is one of the most important developments in PC peripheral interconnect technology since the introduction of serial and parallel ports in the early 1980's. It is fast becoming the port of choice for many new digital video conferencing cameras, scanners, monitors, PC telephony equipment, and Human Interface Devices such as... |  |  UNIX: The Complete Reference, Second EditionGet cutting-edge coverage of the newest releases of UNIX--including Solaris 10, all Linux distributions, HP-UX, AIX, and FreeBSD--from this thoroughly revised, one-stop resource for users at all experience levels. Written by UNIX experts with many years of experience starting with Bell Laboratories, UNIX: The Complete Reference, Second... |
|
|
 AdvancED DOM Scripting: Dynamic Web Design TechniquesDocument Object Model (DOM) scripting is often misrepresented as any sort of scripting on the Web, but pure DOM scripting includes only those features and methods incorporated into a W3C DOM specification—that means no proprietary browser features. In a perfect world, we could follow the standards, ignore proprietary features, and finish with... |  |  Concurrent and Real-Time Programming in AdaAda is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking... |  |  Professional Apache Tomcat 6 (WROX Professional Guides)With this comprehensive resource, you'll uncover the ins-and-outs of installing, configuring, and running the Apache Tomcat server. This book not only provides a line-by-line analysis of configuration options, but also explores the features and capabilities of Tomcat. You'll then gain the skills to solve the type of problems that arise during all... |
|
|
| Result Page: 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 |