Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)
Inside Microsoft SharePoint 2013

Inside Microsoft SharePoint 2013

Microsoft Press (9780735674479)
Metrics for IT Service Management: ITSM Library

Metrics for IT Service Management: ITSM Library

van Haren Publishing (9789077212691)
Outlier Analysis

Outlier Analysis

Springer (9783319475776) | Outlier Analysis
Fundamentals of Music Processing: Audio, Analysis, Algorithms, Applications

Fundamentals of Music Processing: Audio, Analysis, Algorithms, Applications

Springer (9783319219448) | Fundamentals of Music Processing
Numerical Computations with GPUs

Numerical Computations with GPUs

Springer (9783319065472)
Programming Erlang: Software for a Concurrent World

Programming Erlang: Software for a Concurrent World

Pragmatic Bookshelf (9781937785536) | Programming Erlang
OpenGL ES 2 for Android: A Quick-Start Guide

OpenGL ES 2 for Android: A Quick-Start Guide

Pragmatic Bookshelf (9781937785345) | OpenGL ES
Photography as Meditation: Tap Into the Source of Your Creativity

Photography as Meditation: Tap Into the Source of Your Creativity

Rocky Nook (9781937538538) | Photography as Meditation
USB Complete: The Developer's Guide

USB Complete: The Developer's Guide

Lakeview Research (9781931448284) | USB speed, USB Complete, Complete Guides
Cybersecurity for Beginners

Cybersecurity for Beginners

Cyber Simplicity Ltd (9781911452133) | Cybersecurity for Beginners
Modelling Computing Systems: Mathematics for Computer Science

Modelling Computing Systems: Mathematics for Computer Science

Springer (9781848003217) | Computer Science
Creating Autonomous Vehicle Systems

Creating Autonomous Vehicle Systems

Morgan & Claypool Publishers (9781681730073) | Creating Autonomous, Lectures on Computer
Microservice Patterns: With examples in Java

Microservice Patterns: With examples in Java

Manning Publications (9781617294549) | Microservice Patterns
Microservices in Action

Microservices in Action

Manning Publications (9781617294457) | Microservices in Action
IOS Development with Swift

IOS Development with Swift

Manning Publications (9781617294075) | IOS Development with Swift
Grokking Deep Learning

Grokking Deep Learning

Manning Publications (9781617293702)
CSS in Depth

CSS in Depth

Manning Publications (9781617293450) | CSS in Depth, Beginner and advanced
PowerShell in Depth

PowerShell in Depth

Manning Publications (9781617292187) | Power Shell, PowerShell in Depth, Power Shell in Depth
OpenStack in Action

OpenStack in Action

Manning Publications (9781617292163) | OpenStack in Action
PostGIS in Action

PostGIS in Action

Manning Publications (9781617291395)
Play for Java: Covers Play 2

Play for Java: Covers Play 2

Manning Publications (9781617290909) | Covers Play, Play for Java