|
|
|
|
Programmable Logic Controllers, Sixth Edition
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 one manufacturer or another. Extensive examples and chapter ending problems utilize several popular PLCs, highlighting understanding of fundamentals that can be used regardless... | | A Complete Guide to Quality in Small-Scale Wine Making
As the wine industry has experienced a period of rapid global expansion, there is a renewed emphasis on quality and consistency even within the small winery industry. Written for the small production program, A Complete Guide to Quality in Small-Scale Wine Making is for the novice to intermediate level winemaker seeking... | | Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and... |
|
|
|
Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... | | | | Adobe Muse: Classroom in a Book
Those creative professionals seeking the fastest, easiest, most comprehensive way to learn Adobe Muse choose Adobe Muse Classroom in a Book from the Adobe Creative Team at Adobe Press. The 10 project-based lessons in this book show readers step-by-step the key techniques for working in Muse.
... |
|
|
Result Page: 285 284 283 282 281 280 279 278 277 276 275 274 273 272 271 270 269 268 267 |