Showing: 1-10 results of 7143

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that... more...

Summary CoreOS in Action is a clear tutorial for deploying container-based systems on CoreOS Container Linux. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. About the Technology Traditional Linux server distributions include every component required for anything you might be hosting, most of which you don't need if you've... more...

Writing Linux Device Drivers is designed to show experienced programmers how to develop device drivers for Linux systems, and give them a basic understanding and familiarity with the Linux kernel. Upon mastering this material, you will be familiar with the different kinds of device drivers used under Linux, and know the appropriate API's through which devices (both hard and soft) interface with the kernel. The purpose is to get you into coding as... more...

Over 100 recipes to help you overcome your difficulties with C++ programming and gain a deeper understanding of the working of modern C++ About This Book Explore the most important language and library features of C++17, including containers, algorithms, regular expressions, threads, and more, Get going with unit testing frameworks Boost.Test, Google Test and Catch, Extend your C++ knowledge and take your development... more...

Peeling Data Structures and Algorithms [re-printed on 19-August-2016]: Table of Contents: goo.gl/hMYJGq Sample Chapter: goo.gl/DqVs8p Source Code: goo.gl/e3imfV Videos: goo.gl/BcHq74 A handy guide of sorts for any computer science professional, Data Structures And Algorithms Made Easy in Java: Data Structure And Algorithmic Puzzles is a solution... more...


Write code that can adapt to changes.   By applying this book’s principles, you can create code that accommodates new requirements and unforeseen scenarios without significant rewrites. Gary McLean Hall describes Agile best practices, principles, and patterns for designing and writing code that can evolve more quickly and easily, with fewer errors, because it doesn’t impede change.   Now revised, updated, and... more...

Move into iOS development by getting a firm grasp of its fundamentals, including the Xcode 9 IDE, Cocoa Touch, and the latest version of Apple’s acclaimed programming language, Swift 4. With this thoroughly updated guide, you’ll learn the Swift language, understand Apple’s Xcode development tools, and discover the Cocoa framework. Explore Swift’s object-oriented concepts Become familiar with... more...

ng-book. The in-depth, complete, and up-to-date book on Angular 4. Become an Angular 4 expert today. Updated for Angular 4, Angular CLI, and Community Style Guide Ready to master Angular 4? What if you could master the entire framework - with solid foundations - in less time without beating your head against a wall? Imagine how quickly you could work if you knew the best practices and the best tools? Stop wasting your time... more...

While most developers today use object-oriented languages, the full power of objects is available only to those with a deep understanding of the object paradigm. How to Use Objects will help you gain that understanding, so you can write code that works exceptionally well in the real world.   Author Holger Gast focuses on the concepts that have repeatedly proven most valuable and shows how to render those concepts in concrete... more...

Fully updated coverage of PCB design and construction with EAGLE This thoroughly revised, easy-to-follow guide shows, step-by-step, how to create your own professional-quality PCBs using the latest versions of EAGLE. Make Your Own PCBs with EAGLE: From Schematic Designs to Finished Boards, Second Edition, guides you through the process of developing a schematic, transforming it into a PCB layout, and submitting Gerber files to a... more...