Kategoria BISAC: Computers >> Programming - Compilers

With Beginning Arduino Programming, you'll get the knowledge you...

Die "Notizen zu C++" richten sich an den erfahrenen C++ Software-Entwickler. Sie erlautern fur zahlreiche komplexe Problemstellungen, die sich dem Software-Entwickler bei der taglichen Arbeit stellen, wie die optimale Losung aussieht. Dazu wird in praziser und kompakter Form erklart, warum der aufgezeigte Weg optimal ist. Die jeweils vorgeschlagene Losung wird an Code-Beispielen fundiert umgesetzt. Oft munden die Schlussfolgerungen in einem pragnanten Merksatz, der dann auch die Uberschrift des entsprechenden Kapitels bildet. Der Aufbau dieses Werkes ist den Bedurfnissen von...

Iterating Infusion: Clearer Views of Objects, Classes, and Systems is a one-of-a-kind book, not dependent on any single technology. Rather, it provides a way to integrate the most efficient techniques from a variety of programming methods, in a manner that makes designing and programming software look easy.

Iterating Infusion presents comprehensive tools for you to best manage and work with object orientation. These include simplified fundamental concepts, popular language comparisons, advanced designing strategies, a broad usage progression, thorough design...

HTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in an online environment.

This easy-to-read, informative guide/reference will enable readers to quickly develop a working knowledge of HTML, JavaScript and PHP - a valuable skill for any scientist or engineer. Updating and expanding upon the author's previous Springer titles, An Introduction to HTML and JavaScript and An Introduction to PHP, the text emphasizes a hands-on approach to learning and makes extensive use of examples throughout the book. A detailed...

Manage your Angular development using Reactive programming. Growing in popularity and now an essential part of any professional web developer's toolkit, Reactive programming can enrich your development and make your code more efficient.

Featuring a core application to explore and build yourself, this book shows you how to utilize ngrx/store as a state management with Redux pattern, and how to utilize ngrx/effects to define a better and more robust application architecture. Through working code examples, you will understand every aspect of Reactive programming with Angular so that...

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.
The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.