Xamarin Mobile Application Development is a hands-on Xamarin.Forms primer and a cross-platform reference for building native Android, iOS, and Windows Phone apps using C# and .NET. This book explains how to use Xamarin.Forms, Xamarin.Android, and Xamarin.iOS to build business apps for your customers and consumer apps for Google Play and the iTunes App Store. Learn how to leverage Xamarin.For…
This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015. The 86 revised full papers presented together with two invited lectures were carefully reviewed and selected from 320 initial submissions: 71 out of 261 in Track A, Design and Analysis, and 15 out of 59 in Track B, Eng…
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. This is a practical reference for industry engineers using MATLAB to solve everyday problems. With MATLAB Recipes: A Problem-Solution Approach you will review contemporary MATLAB coding including the latest language features and use MATLAB as a software development environm…
Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested …
Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software. Web Development with Go provides Go language fundamentals and then moves on to advanced web development concepts and successful deployment of Go web apps to the cloud. Web Development with Go will teach you how to develop scalable real-wor…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context. You'll learn how to create containers, and how iterators are used with them to ac…
Precise descriptions and instructions enable users, students and consultants to understand MS Dynamics AX 2012 rapidly. Microsoft offers Dynamics AX as its premium ERP solution, supporting large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologies Inc.’ –…
This concise book walks you through how to get unit testing and test driven development done on Android, specifically using JUnit 4. You'll learn how to do agile development quickly and correctly, with a significant increase in development efficiency and a reduction in the number of defects. Agile practices have made major inroads in Java development, however it’s very unusual to see somet…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…