Software quality stems from two distinctive, but associated, topics in software engineering: software functional quality and software structural quality. Software Quality Engineering studies the tenets of both of these notions, which focus on the efficiency and value of a design…
Take your Haskell and functional programming skills to the next level by exploring new idioms and design patternsAbout This Book Explore Haskell on a higher level through idioms and patterns Get an in-depth look into the three strongholds of Haskell: higher-order functions, the …
Practical Graph Analytics with Apache Giraph helps you build data mining and machine learning applications using the Apache Foundation?s Giraph framework for graph processing. This is the same framework as used by Facebook, Google, and other social media analytics operations to …
Introducing Meteor
by Robinson, Josh, Gray, Aaron, Titarenco, David
fromExpert's voice in Web development
Meteor is a full stack application platform that makes it easy to build powerful, real time Web apps quickly. Introducing Meteor guides you through building top-quality Web apps in a fraction of the time using an application platform built for the modern web. This book takes you…
React Native for iOS Development is your hands-on guide to developing native iOS apps with ease. React Native challenges the status quo of native iOS development with revolutionary components, asynchronous execution, unique methods for touch handling, and much more. React Native…
This book is a practical guide to solving the everyday problems encountered when building apps for Windows 10 devices, including desktops, laptops, tablets, and phones, using HTML5, CSS3 and JavaScript. Each recipe includes a concise statement of the problem and the approach you…
In this fully updated second edition, award-winning author Tim Leung explains how to build data-centric business applications for the desktop, cloud, web, and mobile devices in just a few clicks?with no code required?using Visual Studio Lightswitch 2015. This book explains the b…
Mechanizing proof: computing, risk, and trust
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald …
Get a hands-on introduction to the Chef, the configuration management tool for solving operations issues in enterprises large and small. Ideal for developers and sysadmins new to configuration management, this guide shows you to automate the packaging and delivery of application…
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015. The 22 revised full papers presented were carefully reviewed and selected from 3…
"Because of our ever increasing use of and reliance on technology and information systems, information modelling and knowledge bases continue to be important topics in those academic communities concerned with data handling and computer science. As the information itself becomes…
"What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulate language and invent new means of communicating with each other. And through CODE, we see how this ingenuity and our very human co…
Harness reactive programming to build scalable and fault-tolerant distributed systems using Scala and AkkaAbout This Book Use the concepts of reactive programming to build distributed systems running on multiple nodes Get to grips with the full range of Akka features including t…