Building Search Applications

In this book, readers will learn about the Mesos architecture, developer APIs, and design principals. They’ll learn how to compose those concepts and apply them towards building their own distributed

Master the XML Programming Features in Oracle Database 11gDevelop, debug, and administer data-backed XML applications using the expert instruction and best practices in this Oracle Press guide. Oracle

Himself a designer of social web products, Bell explains how to create a web site that supports social human behaviors in order attract and hold a virtual community. He strongly suggests that readers

When you want to build your mental muscle, these 188 word search puzzles are just what you need.Every search centers on a theme. Know all about music? Try "Rock & Roll Greats," "Golden Oldies," "T

Kubernetes is becoming the de-facto standard for container orchestration and distributed applications management across a microservices framework. With this practical cookbook, you’ll learn hand

Get introduced to the world of artificial intelligence with this accessible and practical guide. Build applications that make intelligent use of language and user interaction to better compete in toda

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

LINKEDIN: JOB SEARCH AND CAREER BUILDINGHow to Use LinkedIn for Employment and Career BrandingDiscover the Linkedin lessons from this book that can transform your career and change your work life!Bein

Design, architect, and build a dynamic web application using Knockout.js, the open source JavaScript library that helps you to create rich, responsive display and editor user interfaces with a clean u

If you are an experienced Python developer who wants to create your own geospatial applications with minimum fuss, this is the book for you. While some familiarity with mapping applications would be a

This is the first book that shows how to take advantage of both your photos and Flickr's enormous cache, to create new and compelling extensions to the Flickr platform. You’ll discover how to take adv

Information on pinpoint locations can be extremely useful for mobile application developers, but that precise level of detail is difficult to achieve, especially indoors, where GPS signals and cellula

This Oracle Press guide provides expert tips and techniques for building more secure Java-based Web applications. Iron-Clad Java: Building Secure Web Applications describes the use of several OWASP, O

Ember.js provides a framework that uses the MVC (Model-View-Controller) model to make web applications easier to create, test, and maintain. This guide provides example-driven instructions on how to d

Discusses the job opportunities available in the SEO field and provides advice on cultivating the skills necessary to pursue a career in the industry.