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 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...
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...
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...
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...
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...
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++ 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 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...
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...
"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,...