Library

Theory

Introduction to The Design and Analysis of Algorithms cover
Introduction to The Design and Analysis of Algorithms
Anany Levitin

programming logic, algorithms, Java

 Deep Learning cover
Deep Learning
John D. Kelleher

Machine learning, artificial intelligence, algorithms

 Structure and Interpretation of Computer Programs cover
Structure and Interpretation of Computer Programs
Harold Abelson, Gerald Jay Sussman w/ Julie Sussman

programming logic, algorithms, data structures

 Introduction to Algorithms cover
Introduction to Algorithms
Various

algorithms, logic, data structures, analysis, mathematics

 Applied Discrete Structures cover
Applied Discrete Structures
Al Doerr & Ken Levasseur

discrete mathematics, mathematics, programming theory

 Discrete Structures, Logic, and Computability cover
Discrete Structures, Logic, and Computability
James L. Hein

discrete mathematics, logic, programming theory, data structures

 Language, Proof, and Logic cover
Language, Proof, and Logic
Dave Barker-Plummer, Jon Barwise, & John Etchemendy

logic, rationality, artifical languages

 Computer Organization and Design cover
Computer Organization and Design
David A. Patterson & John L. Hennessy

computer architecture, assembly language

Languages

Impatient Perl cover
Impatient Perl
Greg London

Ownership, lifetimes, fearless concurrency.

 Assembly Language Step by Step (Programming with Linux) cover
Assembly Language Step by Step (Programming with Linux)
Jeff Duntemann

programming logic, computer architecture, programming languages

 Programming in Prolog cover
Programming in Prolog
William F. Clocksin & Christopher S. Mellish

programming languages, prolog

 Go Programming Language for Dummies cover
Go Programming Language for Dummies
Wei-Meng Lee

programming languages, GoLang

 The Standard C Library cover
The Standard C Library
P.J. Plaucer

programming languages, C, libraries

 The C Programming Language cover
The C Programming Language
Brian W. Kernighan & Dennis M. Ritchie

programming languages, C

 Core Java SE 9 for the Impatient cover
Core Java SE 9 for the Impatient
Cay S. Horstmann

algorithms, data structures, object oriented programming, java

 Objects First With Java cover
Objects First With Java
David J. Barnes & Michael Kolling

algorithms, data structures, object oriented programming, java

 Data Abstraction & Problem Solving with JAVA cover
Data Abstraction & Problem Solving with JAVA
Janet J. Prichard & Frank M. Carrano

algorithms, data structures, java

Methodologies

Harvard Business Review Guide for Emotional Intelligence cover
Harvard Business Review Guide for Emotional Intelligence
Harvard Business Review

business guides, psychology

 Scrum cover
Scrum
Jeff Sutherland & J.J. Sutherland

agile, business, psychology, project management

Studying

Principles of Computer Security cover
Principles of Computer Security
W.M. Arthur Conklin, PhD & Greg White PhD

programming languages, GoLang

Software

Practical Vim cover
Practical Vim
Drew Neil

software, operating systems, shell tools, scripting

 Programming with GNU Software cover
Programming with GNU Software
Mike Loukides & Andy Oram

software, scripting, shell tools, operating systems

 Unix In A Nutshell cover
Unix In A Nutshell
Arnold Robbins

software, scripting, shell tools, operating systems