Home | Amazing | Today | Tags | Publishers | Years | Search 
Concrete Semantics: With Isabelle/HOL
Concrete Semantics: With Isabelle/HOL

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

Java 8 Recipes
Java 8 Recipes

Java 8 Recipes offers solutions to common programming problems encountered while developing Java-based applications. Fully updated with the newest features and techniques available, Java 8 Recipes provides code examples involving Lambdas, embedded scripting with Nashorn, the new date-time API, stream support, functional...

New Techniques in Uroradiology
New Techniques in Uroradiology

This comprehensive reference discusses the use of ultrasound, computed tomography (CT), magnetic resonance imaging (MRI), and radioisotopes in the imaging of the adult and pediatric urinary tract. With contributions by leading authorities in the field, this source covers a wide array of uroradiological topics ranging from the use of MRI or...

Practical Software Development Techniques: Tools and Techniques for Building Enterprise Software
Handbook of Herbs and Spices: Volume 2
Handbook of Herbs and Spices: Volume 2

Herbs and spices are among the most versatile and widely used ingredients in food processing. As well as their traditional role in flavouring and colouring foods, they have increasingly been used as natural preservatives and for their potential health-promoting properties. The Handbook of Herbs and Spices Volume 2 provides an essential...

Building Web and Mobile ArcGIS Server Applications with JavaScript
Building Web and Mobile ArcGIS Server Applications with JavaScript

Improve your knowledge and career prospects in web or mobile application development with this step-by-step practical guide to ArcGIS Server. Gives a good grounding in everything from creating maps to network analysis.

Overview

  • Develop ArcGIS Server applications with JavaScript, both for traditional web...
Transportation Management with SAP TM 9: A Hands-on Guide to Configuring, Implementing, and Optimizing SAP TM
Transportation Management with SAP TM 9: A Hands-on Guide to Configuring, Implementing, and Optimizing SAP TM

The implementation of a TMS solution is a highly complex and mission critical project. If executed correctly a good TMS can deliver a number of benefits to the organization in terms of optimization, greater efficiency, reduced errors and improved revenue through accurate invoicing. However a number of projects fail to realize these...

Microcontrollers: High-Performance Systems and Programming
Microcontrollers: High-Performance Systems and Programming

Focusing on the line of high-performance microcontrollers offered by Microchip, Microcontrollers: High-Performance Systems and Programming discusses the practical factors that make the high-performance PIC series a better choice than their mid-range predecessors for most systems. However, one consideration in favor of the mid-range...

C++ All-in-One For Dummies (For Dummies (Computer/Tech))
C++ All-in-One For Dummies (For Dummies (Computer/Tech))

Get ahead of the C++ curve to stay in the game

C++ is the workhorse of programming languages and remains one of the most widely used programming languages today. It's cross-platform, multi-functional, and updates are typically open-source. The language itself is object-oriented, offering you the utmost control over data...

Transparent Oxide Electronics: From Materials to Devices
Transparent Oxide Electronics: From Materials to Devices

Transparent electronics is emerging as one of the most promising technologies for the next generation of electronic products, away from the traditional silicon technology. It is essential for touch display panels, solar cells, LEDs and antistatic coatings.

The book describes the concept of transparent electronics, passive and...

Clojure Cookbook: Recipes for Functional Programming
Clojure Cookbook: Recipes for Functional Programming

With more than 150 detailed recipes, this cookbook shows experienced Clojure developers how to solve a variety of programming tasks with this JVM language. The solutions cover everything from building dynamic websites and working with databases to network communication, cloud computing, and advanced testing strategies. And more than...

Relationship Economics: Transform Your Most Valuable Business Contacts Into Personal and Professional Success
Relationship Economics: Transform Your Most Valuable Business Contacts Into Personal and Professional Success

"If a man is judged by the company he keeps, David Nour's Relationship Economics provides a systematic approach to building value in that judgment. The concepts reach well beyond networking to building lasting and productive relationships."
—Dennis Sadlowski, President and CEO, Siemens Energy and Automation,
...

Result Page: 110 109 108 107 106 105 104 103 102 101 100 99 98 97 96 95 94 93 92 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy