Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)
Learning Robotics Using Python

Learning Robotics Using Python

Packt Publishing (9781783287536)
ARM System Developer's Guide: Designing and Optimizing System Software

ARM System Developer's Guide: Designing and Optimizing System Software

Morgan Kaufmann (9781558608740) - Andrew N Sloss, Dominic Symes and Chris wright - Paperback - Elsevier, Morgan Kaufman publishers | Packaging No quibbles
Linux with Operating System Concepts

Linux with Operating System Concepts

Chapman and Hall/CRC (9781482235890)
Next Generation Wireless LANs: 802.11n and 802.11ac

Next Generation Wireless LANs: 802.11n and 802.11ac

Cambridge University Press (9781107016767) | Wireless LANs
Microsoft SharePoint 2013 Designing and Architecting Solutions

Microsoft SharePoint 2013 Designing and Architecting Solutions

Microsoft Press (9780735671683) | Architecting Solutions, Microsoft Share Point
Descriptive Complexity

Descriptive Complexity

Springer (9780387986005) | Descriptive Complexity
Automata and Computability

Automata and Computability

Springer (9780387949079) | Automata and Computability
Introduction to Data Science: Data Analysis and Prediction Algorithms with R

Introduction to Data Science: Data Analysis and Prediction Algorithms with R

Chapman and Hall/CRC (9780367357986) | Concepts and skills, Introduction to Data Science, Analysis and Prediction Algorithms, Book is a textbook, Statistics with R, Statistics textbook
PIC Microcontroller Projects in C: Basic to Advanced

PIC Microcontroller Projects in C: Basic to Advanced

Newnes (9780080999241) | PIC Microcontroller
Principles and Practices of Interconnection Networks

Principles and Practices of Interconnection Networks

Morgan Kaufmann (9780122007514) | Principles and Practices
Computer Architecture: A Quantitative Approach

Computer Architecture: A Quantitative Approach

Morgan Kaufmann (9780128119051) | Computer Architecture
Catastrophe Modeling: A New Approach to Managing Risk: 25

Catastrophe Modeling: A New Approach to Managing Risk: 25

Springer (9780387241050) | Catastrophe Modeling
JavaScript Application Design: A Build First Approach

JavaScript Application Design: A Build First Approach

Manning Publications (9781617291951)
Algorithms of the Intelligent Web

Algorithms of the Intelligent Web

(9781617292583) | Douglas Mc
Computer System Design: System-on-Chip

Computer System Design: System-on-Chip

(9780470643365 / YES4227668)
Embedded Systems Fundamentals with ARM Cortex-M based Microcontrollers: A Practical Approach

Embedded Systems Fundamentals with ARM Cortex-M based Microcontrollers: A Practical Approach

(9781911531036) - Dimensions: 188.98 x 246.13 x 16.76mm | 566.99g - Format: Paperback | 300 pages - Publication date: 28 Mar 2017 - ISBN: 9781911531036 - Languages: English - Cambridge, United Kingdom | Embedded systems
The Art of Linux Kernel Design

The Art of Linux Kernel Design

(9781466518032) | Linux Kernel
Oracle WebLogic Server 12c Administration Handbook

Oracle WebLogic Server 12c Administration Handbook

(9780071825351 / 39374452) | Server 12c
Neural Networks: Tricks of the Trade: Tricks of the Trade

Neural Networks: Tricks of the Trade: Tricks of the Trade

Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642352881 / 223 black & white illustrations, biograp)
Raspberry Pi Projects For Dummies

Raspberry Pi Projects For Dummies

John Wiley & Sons Inc (9781118766699 / illustrations) - Edition statement: 1. Auflage - Format: 504 pages - ISBN: 9781118766699 - Languages: English - New York, United States - John Wiley & Sons Inc
Microprocessor Architecture: From Simple Pipelines to Chip Multiprocessors

Microprocessor Architecture: From Simple Pipelines to Chip Multiprocessors

Cambridge University Press (9780521769921 / YES3499450)
Designing Distributed Systems

Designing Distributed Systems

(9781491983645 / 28929277) - Dimensions: 238 x 181 x 9 mm - ISBN: 9781491983645 - Number of pages: 200 - Publisher: O'Reilly Media, Inc, USA - Weight: 300 g | IoT devices, Platform for integrating, Integration platform
Blackwell Gde to Philosophy of Computing

Blackwell Gde to Philosophy of Computing

(9780631229193) - Height: 256 mm - Spine width: 21 mm - Width: 178 mm - Wiley Blackwell - Blackwell - ISBN: 9780631229193 - Number of pages: 400 - Languages: English - Weight: 694 g
Schaum's Outline of Computer Architecture

Schaum's Outline of Computer Architecture

(9780071362078 / YES459663) - Height: 272 mm - Spine width: 18 mm - Width: 208 mm - McGraw-Hill - McGraw-Hill Education - ISBN: 9780071362078 - Number of pages: 306 - Languages: English - Weight: 776 g