programming-books/free-programming-books.md at 83cc6ccfd5db2762c89c35b32ca172d5d54b180c

mirror of https://github.com/namibia/free-programming-books.git synced 2024-11-16 01:07:08 +00:00

Etienne Savard f0093d03e4 Added "Agile Android Software Development" eBook

Added "Agile Android Software Development" eBook in the list under the Android section.  The book is currently in writing progress, but new chapters are released as soon they are copy-edited.  "Release 1.0" is expected in January 2015.

2014-09-29 13:14:54 -04:00

118 KiB

Raw Blame History

Index

Ada
Agda
Alef
Android
APL
Arduino
ASP.NET MVC
Assembly Language
- Non-X86
AutoHotkey
Autotools
Awk
Bash
Basic
BETA
C
C#
C++
Chapel
Cilk
Clojure
COBOL
CoffeeScript
ColdFusion
Cool
Coq
D
Dart
DB2
Delphi / Pascal
DTrace
Elasticsearch
Emacs
Erlang
F#
Firefox OS
Flex
Force.com
Forth
Fortran
FreeBSD
Git
Go
Groovy
- Gradle
- Grails
- Spock Framework
Graphical user interfaces
Graphics Programming
Hadoop
Haskell
HTML / CSS
- Bootstrap
Icon
IDL
iOS
Isabelle/HOL
J
Java
- Spring
- Spring Boot
- Spring Security
- Wicket
JavaScript
- Javascript frameworks
- Node.js
Jenkins
Language Agnostic
- Algorithms & Datastructures
- Cellular Automata
- Cloud Computing
- Compiler Design
- Database
- Datamining
- Information Retrieval
- Licensing
- Machine Learning
- Mathematics
- Misc
- MOOC
- Networking
- Open Source Ecosystem
- Operating systems
- Parallel Programming
- Partial Evaluation
- Professional Development
- Programming Paradigms
- Regular Expressions
- Reverse Engineering
- Security
- Software Architecture
- Standards
- Theoretical Computer Science
- Web Performance
LaTeX
Limbo
Linux
Lisp
Lua
MarkDown
Mathematica
MATLAB
Maven
Mercurial
Mercury
Meta-Lists
MySQL
.NET Framework
Neo4J
NoSQL
Oberon
Objective-C
OCaml
Octave
OpenGL ES
OpenMP
OpenSCAD
Oracle PL/SQL
Oracle Server
Parrot / Perl 6
PC-BSD
Perl
PHP
PicoLisp
PostgreSQL
PowerShell
Processing
Prolog
- Constraint Logic Programming
[PureScript] (#purescript)
Python
- Django
- Flask
- Kivy
- Pandas
- Pyramid
QML
R
Racket
[Raspberry Pi] (#rpi)
REBOL
Ruby
- RSpec
- Sinatra
- Ruby on Rails
Rust
Sage
Scala
- Lift
- Play Scala
Scheme
Scilab
Scratch
Sed
Silverlight
Smalltalk
SQL (implementation agnostic)
SQL Server
Swift
Standard ML
Subversion
Tcl
Teradata
TeX
Tizen
TLA
TypeScript
Unix
Verilog
VHDL
Vim
Visual Basic
Visual Prolog
Web Services
Windows 8
Windows Phone
Workflow
xBase (dBase / Clipper / Harbour)

Meta-Lists

25 Free Computer Science Ebooks
atariarchives.org atariarchives.org makes books, information, and software for Atari and other classic computers available on the Web.
Bento
Bitsavers.org
Bookboon: IT & Programming
Codingus
Cheat Sheets (Free)
Free Smalltalk Books, collected by Stéphane Ducasse
Free Tech Books
Hacker Shelf
IBM Redbooks
InfoQ Minibooks
InTech: Computer and Information Science
JSBooks - directory of free javascript ebooks
Learn X in Y minutes
Microsoft Press: Free E-Books
Microsoft Technologies 1, including books on Windows Azure, SharePoint, Visual Studio Guide, Windows phone development, ASP.net, Office365, etc. collection by Eric Ligman
Microsoft Technologies 2, including books on Windows Azure, SharePoint, Visual Studio Guide, Windows phone development, ASP.net, etc. collection by Eric Ligman
MindView Inc
O'Reilly's Commons
O'Reilly's Open Books Project
Red Gate Books
Stef's Free Online Smalltalk Books
TechBooksForFree.com
Theassayer.org
tutorialspoint
Wikibooks: Programming

Graphics Programming

Graphical User Interfaces

Best of Smashing Magazine
How to Design Faceted Search: The Complete Guide to Designing Faceted Search User Interface - Abhijit Rawool
Programming with gtkmm 3
Search User Interfaces - Marti A. Hearst
Working through Screens - Jacob Burghardt

Language Agnostic

Algorithms & Data Structures

A Field Guide To Genetic Programming
Algorithmic Graph Theory
Algorithms - Dasgupta, Papadimitriou, Vazirani (PDFs)
Algorithms, 4th Edition - Robert Sedgewick and Kevin Wayne
Algorithms and Automatic Computing Machines (1963) - B. A. Trakhtenbrot
Algorithms and Complexity (PDF)
Algorithms and Data-Structures (PDF)
Algorithms Course Materials - Jeff Erickson
Algorithms for Programmers: Ideas and Source Code (PDF)
Binary Trees (PDF)
Clever Algorithms
Data Structures and Algorithms: Annotated Reference with Examples
Data Structures Succinctly Part 1, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
Data Structures Succinctly Part 2, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
Elementary Algorithms - Larry LIU Xinyu
Foundations of Computer Science - Al Aho and Jeff Ullman
Open Data Structures: An Introduction - Pat Morin
LEDA: A Platform for Combinatorial and Geometric Computing
Lectures Notes on Algorithm Analysis and Computational Complexity (Fourth Edition), University of North Texas (PDF)
Linked List Basics (PDF)
Linked List Problems (PDF)
Mastering Algorithms with C (PDF)
Matters Computational
Planning Algorithms
Problems on Algorithms (Second Edition), University of North Texas (PDF)
Programming Pearls - Jon Bentley
Purely Functional Data Structures (PDF)
Sequential and parallel sorting algorithms
Text Algorithms (PDF)
The Algorithm Design Manual
The Art of Computer Programming (fascicles, mostly volume 4) - Donald Knuth
The Design of Approximation Algorithms (PDF)
The Great Tree List Recursion Problem (PDF)
Think Complexity (PDF)
[Handbook of Graph Drawing and Visualization] (https://cs.brown.edu/~rt/gdhandbook/)

Cellular Automata

A New Kind of Science - Stephen Wolfram
Cellular Automata Books

Cloud Computing

Information Retrieval

Licensing

Creative Commons: a user guide - Simone Aliprandi
The Public Domain: Enclosing the Commons of the Mind - James Boyle

Machine Learning

A Course in Machine Learning (PDF)
A First Encounter with Machine Learning (PDF)
AI Algorithms, Data Structures, and Idioms in Prolog, Lisp, and Java - George F. Luger, William A Stubblefield
An Introduction to Statistical Learning - Gareth James, Daniela Witten, Trevor Hastie and Robert Tibshirani
Artificial Intelligence | Machine Learning - Andrew Ng (Notes, lectures, and problems)
Artificial Intelligence A Modern Approach (PDF)
Bayesian Reasoning and Machine Learning
Computer Vision: Algorithms and Applications
Gaussian Processes for Machine Learning
Inductive Logic Programming
Information Theory, Inference, and Learning Algorithms
Introduction to Machine Learning - Alex Smola and S.V.N. Vishwanathan (PDF)
Introduction to Machine Learning - Amnon Shashua
Learning Deep Architectures for AI (PDF)
Machine Learning
Machine Learning, Neural and Statistical Classification (PDF) or online version - This book is based on the EC (ESPRIT) project StatLog.
Neural Networks and Deep Learning
Probabilistic Models in the Study of Language (Draft, with R code)
Programming Computer Vision with Python - Jan Erik Solem
Reinforcement Learning: An Introduction
The Elements of Statistical Learning - Trevor Hastie, Robert Tibshirani, and Jerome Friedman
The LION Way: Machine Learning plus Intelligent Optimization
The Python Game Book

Mathematics

A First Course in Linear Algebra - Robert A. Beezer
Bayesian Methods for Hackers - Cameron Davidson-Pilon
CK-12 Probability and Statistics - Advanced
Calculus Made Easy (PDF) - Silvanus P. Thompson
Collaborative Statistics
Concepts & Applications of Inferential Statistics
Differential Equations - Paul Dawkins
Elementary Differential Equations - William F. Trench
Essentials of Metaheuristics by Sean Luke
Introduction to Probability - Charles M. Grinstead and J. Laurie Snell
Introduction to Statistical Thought - Michael Lavine
Linear Algebra
Linear Algebra: An Introduction to Mathematical Discourse - Jim Hefferon
Linear Algebra Done Wrong - Sergei Treil
Linear Algebra, Theory And Applications - Kenneth Kuttler
Mathematical Logic - an Introduction (PDF)
Mathematics for Computer Science (November 2013 Version) (PDF) - Eric Lehman
Notes on Diﬀerential Equations - Robert E. Terrell
Number Theory (PDF)
OpenIntro Statistics
Ordinary Differential Equations
Power Programming with Mathematica - David B. Wagner
Probability and Statistics Cookbook
Probability and Statistics EBook
Statistics Done Wrong - Alex Reinhart
Think Bayes: Bayesian Statistics Made Simple - Allen B. Downey
Think Stats: Probability and Statistics for Programmers (code written in Python) - Allen B. Downey

Misc

97 Things Every Programmer Should Know - Extended
A Mathematical Theory of Communication by Claude E.Shannon
Asterisk™: The Definitive Guide
Barcode Overview
Come, Let's Play: Scenario-Based Programming Using Live Sequence Charts
Communicating Sequential Processes (PDF) by Tony Hoare
Computer Musings (lectures by Donald Knuth)
Culture & Empire: Digital Revolution (PDF)
Data-Intensive Text Processing with MapReduce (PDF)
Designing Interfaces by Jennifer Tidwell
DevDocs - Documents for Developers in 1 place
DevOps For Dummies (IBM Edition) (PDF)
Digital Signal Processing For Engineers and Scientists
Digital Signal Processing For Communications
Distributed systems for fun and profit
"DYNAMIC LINKED LIBRARIES": Paradigms of the GPL license in contemporary software - Luis A. Enríquez
Flow based Programming
Foundations of Programming
Getting Real
Hacknot: Essays on Software Development - Ed Johnson
How Computers Work
How to Become a Programmer
How to Think Like a Computer Scientist - Peter Wentworth, Jeffrey Elkner, Allen B. Downey, and Chris Meyers
I Am a Bug
Learn to Program
Learning 30 Technologies in 30 Days: A Developer Challenge - Shekhar Gulati
Linked Data Patterns: A pattern catalogue for modelling, publishing, and consuming Linked Data - Leigh Dodds, Ian Davis
Magic Ink: Information Software and The Graphical Interface by Bret Victor
Mobile Developer's Guide to the Galaxy
Modeling Reactive Systems with Statecharts
Mother Tongues of Computer Languages (PNG)
Networks, Crowds, and Markets: Reasoning About a Highly Connected World
Open Government;Collaboration, Transparency, and Participation in Practice
Object-Oriented Reengineering Patterns - Serge Demeyer, Stéphane Ducasse and Oscar Nierstrasz
PDQ: Pretty Darn Quick: An Agile, All-Purpose Methodology - Jeff Franz-Lien
PNG: The Definitive Guide
Pointers And Memory (PDF)
Programmer's Motivation for Beginners
Programming with Unicode
Project Oberon (PDF)
Record-Playback Test Automation: Sahi & Selenium IDE: Critical Evaluation of Record-Playback Automation Tools - Shashikant Jagtap
Security Engineering
Small Memory Software
The Quest for Artificial Intelligence: A History of Ideas and Achievements - Nils J. Nilsson
The Z Notation: A Reference Manual, Second Edition - J. M. Spivey

MOOC

Networking

802.11ac: A Survival Guide - Matthew Gast
Code Connected vol.1 (PDF) (book on ZeroMQ)
High-Performance Browser Networking
HTTP Succinctly, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
The TCP/IP Guide
Understanding IP Addressing: Everything you ever wanted to know (PDF)
ZeroMQ Guide

Open Source Ecosystem

Operating systems

How to Make a Computer Operating System (Work in Progress)
Operating Systems and Middleware (PDF and LaTeX)
Operating Systems: Three Easy Pieces (PDF)
Practical File System Design: The Be File System (PDF) - Dominic Giampaolo
The Art of Unix Programming - Eric S. Raymond
The Little Book of Semaphores - Allen B. Downey
Think OS: A Brief Introduction to Operating Systems (PDF) - Allen B. Downey
UNIX Application and System Programming, lecture notes (PDFs) - Prof. Stewart Weiss
Xv6, a simple Unix-like teaching operating system (PDF)

Parallel Programming

High Performance Computing (PDF, ePUB) - Charles Severance & Kevin Dowd
High Performance Computing Training (LLNL materials)
High-Performance Scientific Computing (class lectures and slides)
How to Write Parallel Programs
Introduction to High-Performance Scientific Computing - Victor Eijkhout
Introduction to Parallel Computing - Blaise Barney
Is Parallel Programming Hard, And, If So, What Can You Do About It? - Paul E. McKenney
Programming on Parallel Machines; GPU, Multicore, Clusters and More - Norm Matloff
The OpenCL Programming Book

Partial Evaluation

Partial Evaluation and Automatic Program Generation - (PDF) Jones, Gomard and Sestoft

Professional Development

Apprenticeship Patterns: Guidance for the Aspiring Software Craftsman - David H. Hoover and Adewale Oshineye
Confessions of an IT Manager (RedGate, By Phil Factor)
Don't Just Roll the Dice (PDF) (RedGate, By Neil Davidson)
How to be a Programmer: A Short, Comprehensive, and Personal Summary by Robert L. Read
How to Do What You Love & Earn What You’re Worth as a Programmer (Leanpub, By Reginald Braithwaite)
What I've Learned From Failure (Leanpub, By Reginald Braithwaite)
Why programmers work at night (Leanpub, By Swizec Teller)

Programming Paradigms

Introduction to Functional Programming (class lectures and slides)
Type Theory and Functional Programming

Regular Expressions

Learn Regex The Hard Way - Zed. A. Shaw
The Bastards Book of Regular Expressions: Finding Patterns in Everyday Text - Dan Nguyen

Reverse Engineering

Hacking the Xbox: An Introduction to Reverse Engineering - Andrew "bunnie" Huang
Reverse Engineering for Beginners (PDF) - Dennis Yurichev

Security

Software Architecture

Architectural Styles and the Design of Network-based Software Architectures - Roy Thomas Fielding
Best Kept Secrets of Peer Code Review
Data-Oriented Design
Domain Driven Design Quickly
Don't Just Roll the Dice
DSL Engineering: Designing, Implementing and Using Domain-Specific Languages - Markus Voelter
Essential Skills for Agile Development
Guide to the Software Engineering Body of Knowledge
How to Design Programs
How to Write Unmaintainable Code
Kanban and Scrum - making the most of both
Kanban for skeptics (Leanpub, by Nick Oostvogels)
Methods and Techniques for the Design and Implementation of Domain-Specific Languages - Zef Hemel
Naked objects - Richard Pawson
NASA Manager Handbook for Software Development (PDF)
NASA Software Measurement Handbook
OAuth - The Big Picture
Object-Oriented Reengineering Patterns
Patterns and Practices: Application Architecture Guide 2.0
Patterns of Software: Tales from the Software Community (PDF)
Practicing Domain-Driven Design - Scott Millett
Programming Reliable Systems (Joe Armstrong's PhD thesis) (PDF)
Scrum and XP from the Trenches
Seamless Object-Oriented Software Architecture (PDF)
Software Architecture (PDF)
Software Engineering for Internet Applications
Web API Design
Your API Is Bad (Leanpub, by Paddy Foran)

Standards

UNIX - The POSIX Standard - IEEE Std 1003.1

Theoretical Computer Science

An Introduction to the Theory of Computation
Building Blocks for Theoretical Computer Science - Margaret M. Fleck
Category Theory for Computing Science (PDF)
Homotopy Type Theory: Univalent Foundations of Mathematics (PDF)
Introduction to Computing
Introduction to Theory of Computation (PDF) - Anil Maheshwari and Michiel Smid
Models of Computation - John E. Savage
Network Science
Practical Foundations for Programming Languages, Preview - Robert Harper
Principles of Programming Languages - Scott F. Smith
Programming in Martin-Löf's Type Theory - Bengt Nordstroem
Programming Languages: Application and Interpretation (2nd Edition)
Structure and Interpretation of Computer Programs
Think Complexity - Allen B. Downey

Web Performance

Book of Speed by Stoyan Stefanov
Mature Optimization by Carlos Bueno

Ada

Agda

Agda Tutorial

Alef

Alef Language Reference Manual

Android

Agile Android Software Development (PDF, epub, mobi - need email confirmation) by Etienne Savard
Android 4 App Development Essentials
Android Programming Guide for Beginners (PDF - need email confirmation)
Android Programming Succinctly, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
CodePath Android Cliffnotes
Coreservlets Android Programming Tutorial
Expert Android and Eclipse development knowledge
Google Android Developer Training
Styling Android
TechnoTalkative Android

APL

Arduino

Arduino Programming Notebook - Brian Evans
Introduction to Arduino

ASP.NET MVC

ASP.NET MVC Music Store

Assembly Language

Non-X86

Easy 6502 - Nick Morgan
Machine Code for Beginners (PDF) by Lisa Watts and Mike Wharton [Z80 and 6502 CPUs]
Machine Language for Beginners by Richard Mansfield [6502 CPU]
Programmed Introduction to MIPS Assembly Language

AutoHotkey

AHKbook - the book for AutoHotkey

Autotools

Awk

Bash

Advanced Bash-Scripting Guide
Bash Guide for Beginners by Machtelt Garrels
BASH Programming- Mike G mikkey
Conquering the Command Line - Mark Bates
Getting Started with BASH
Google Shell Style Guide
Lhunath's Bash Guide
The Command Line Crash Course (also a Powershell reference)

Basic

10 PRINT CHR$(205.5+RND(1)); : GOTO 10 - Nick Montfort, Patsy Baudoin, John Bell,Ian Bogost, Jeremy Douglass, Mark C. Marino, Michael Mateas, Casey Reas, Mark Sample, Noah Vawter
A beginner's guide to Gambas
BASIC programming language - Wikibooks
How To Gambas3 Guides
Visual Basic Essentials

BETA

Object-Oriented Programming in the BETA Programming Language - Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard

C

C Sharp

C# Essentials
C# Programming - Wikibook
C# Yellow Book (intro to programming)
Data Structures and Algorithms with Object-Oriented Design Patterns in C#
Fundamentals of Computer Programming with C# - Svetlin Nakov
HTTP Programming Recipes for C# Bots
Threading in C#

C++

C++ Annotations
C++ Cookbook (PDF)
C++ GUI Programming With Qt 3
C++ Succinctly, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
CS106X Programming Abstractions in C++
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
Financial Numerical Recipes in C++ - Bernt Arne Ødegaard
Game Programming Patterns
Google's C++ Style Guide
How To Think Like a Computer Scientist: C++ Version - Allen B. Downey
Introduction to Design Patterns in C++ with Qt
Learn C++. (PDF, Online)
Matters Computational: Ideas, Algorithms, Source Code, by Jorg Arndt (PDF)
Open Data Structures (In C++) (PDF)
Software Design Using C++ - Br. David Carlson and Br. Isidore Minerd
Software optimization resources by Agner Fog
The Boost C++ libraries
The Rook's Guide to C++ (PDF)
Thinking in C++, Second Edition, Vol. 1. (Vol. 2) - Bruce Eckel
Also see: The Definitive C++ Book Guide and List

Chapel

Cilk

Cilk 5.4.6 Reference Manual (PDF)

Clojure

COBOL

COBOL Programming Fundamental (PDF)
OpenCOBOL 1.1 - Programmer's Guide (PDF)

CoffeeScript

ColdFusion

Cool

CoolAid: The Cool 2013 Reference Manual (PDF)

Coq

D

Dart

What is Dart?

DB2

Getting started with DB2 Express-C (PDF)
Getting started with IBM Data Studio for DB2 (PDF)
Getting started with IBM DB2 development (PDF)

Delphi / Pascal

Essential Pascal Version 1 and 2

DTrace

IllumOS Dynamic Tracing Guide

Elasticsearch

Emacs

Erlang

Concurrent Programming in ERLANG
Erlang Handbook (PDF)
Études for Erlang - J. David Eisenberg
Learn You Some Erlang For Great Good - Frederic Trottier-Hebert
Stuff Goes Bad: Erlang in Anger - Fred Herbert (PDF)

F Sharp

F# Succinctly, SyncFusion (PDF, Kindle) (Just fill the fields with any values)
F# Programming in Wikibooks
Programming Language Concepts for Software Developers (PDF)
Real World Functional Programming (MSDN Chapters)

Flex

Adobe Flex 2, Programming Actionscript 3.0 (PDF)
Getting started with Adobe Flex (PDF)

Firefox OS

Quick Guide For Firefox OS App Development: Creating HTML5 based apps for Firefox OS - Andre Garzia

Force.com

Forth

Fortran

FreeBSD

Git

A Visual Git Reference - Mark Lodato
Conversational Git
Git From The Bottom Up (PDF)
Git Immersion
Git internals - Scott Chacon (PDF)
Git In The Trenches
Git Magic
Git Pocket Guide - Richard E. Silverman
Git Reference
Git Succinctly, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
git - the simple guide
Git Workflows
GitHub Cheat Sheet - Tim Green (Markdown)
Learn Git - Learn Version Control with Git - Tobias Günther
Pro Git - Scott Chacon
Pro Git Reedited - Jon Forrest
Think Like (a) Git: A Guide for the Perplexed
Version Control by Example (Mercurial, Subversion, Verasity)

Go

Groovy

Gradle

Building and Testing with Gradle
Building Java Projects with Gradle
Gradle User Guide (PDF) - Hans Dockter, Adam Murdoch

Grails

Getting Started with Grails
Grails Tutorial for Beginners - GRAILS COOKBOOK
The Grails Framework - Reference Documentation (PDF) - Graeme Rocher, Peter Ledbrook, Marc Palmer, Jeff Brown, Luke Daley, Burt Beckwith, Lari Hotari

Spock Framework

Spock Framework Reference Documentation - Peter Niederwieser
Spock Intro - Ed Gibbs

Hadoop

Hadoop Illuminated - Mark Kerzner & Sujee Maniyam
Programming Pig - Alan Gates

Haskell

A Gentle Introduction to Haskell
A Haskell School of Music (PDF) (work in progress)
Anatomy of Programming Languages - William R. Cook
Beautiful Code, Compelling Evidence (PDF)
Exploring Generic Haskell - Andres Löh
Haskell and Yesod
Haskell no panic
Haskell web Programming (Yesod tutorial)
Learn Haskell Fast and Hard
Learn You a Haskell for Great Good - Miran Lipovaca
Natural Language Processing for the Working Programmer
Parallel and Concurrent Programming in Haskell - Simon Marlow
Real World Haskell
Speeding Through Haskell
The Haskell Road to Logic, Math and Programming (PDF)
Wikibook Haskell
Yet Another Haskell Tutorial (PDF)

HTML / CSS

A beginner's guide to HTML&CSS
An advanced guide to HTML&CSS
Code Guide: Standards for developing flexible, durable, and sustainable HTML and CSS - Mark Otto
Dive Into HTML5 (PDF) - Mark Pilgrim
GA Dash
Google's HTML/CSS Style Guide
HTML Canvas Deep Dive - Josh Marinacci
HTML Dog Tutorials
HTML5 Canvas - Steve Fulton & Jeff Fulton
HTML5 for Publishers - Sanders Kleinfeld
HTML5 For Web Designers - Jeremy Keith
Learn CSS Layout
Scalable and Modular Architecture for CSS - Jonathan Snook
Web Audio API - Boris Smus

Bootstrap

Twitter Bootstrap Succinctly (PDF, Kindle) (Just fill the fields with any values)

Icon

The Implementation of the Icon Programming Language

IDL

iOS

Cocoa Dev Central
iOS Succinctly, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
Start Developing iOS Apps Today (PDF)

Isabelle/HOL

J

Arithmetic by Kenneth E Iverson (PDF)
Brief Reference by Chris Burke and Clifford Reiter (PDF)
Calculus by Kenneth E Iverson (PDF)
Concrete Math Companion by Kenneth E Iverson (PDF)
Computers and Mathematical Notation by Kenneth E Iverson
Easy J by Linda Alvord, Norman Thomson (PDF) || Word DOC
Exploring Math by Kenneth E Iverson (PDF)
J for C Programmers by Henry Rich- online || pdf || word 2003 file
J Primer
J Reference Card (PDF)
Learning J by Roger Stokes- online
Math for the Layman by Kenneth E Iverson (zipped html+images)

Java

3D Programming in Java - Daniel Selman
Agile Java - Jeff Langr
Animation/Games in Java
Apache Jakarta Commons: Reusable Java Components - Will Iverson
Artificial Intelligence - Foundation of Computational Agents
Category wise tutorials - J2EE
Core Servlets and JavaServer Pages - Marty Hall and Larry Brown
Data Structures and Algorithms with Object-Oriented Design Patterns in Java
Google's Java Style Guide
Hibernate 4 Example Programs - L. Mohan Arun
HTTP Programming Recipes for Java Bots
Introduction to Computer science using Java
Introduction to Neural Networks with Java
Introduction to Programming in Java - Robert Sedgewick and Kevin Wayne
Introduction to Programming Using Java - David J. Eck
JAAS in Action
Java Application Development on Linux by Carl Albing and Michael Schwarz (PDF) (PDF)
Java for the Beginning Programmer
Java Programming for Kids, Parents and Grandparents - Yakov Fain
Java Thin-Client Programming
Java: A Beginner's Guide - Oracle
Learning Java (4th Edition) - Patrick Niemeyer
OOP - Learn Object Oriented Thinking & Programming - Rudolf Pecinovsky
Open Data Structures (in Java) (PDF)
OSGi in Practice (PDF)
Practical Artificial Intelligence Programming With Java, Third Edition - Mark Watson
Processing XML with Java (A Guide to SAX, DOM, JDOM, JAXP, and TrAX) - Elliotte Rusty Harold
Sun's Java Tutorials
The ABC of PDF with iText: PDF Syntax essentials
The Java EE6 Tutorial (PDF)
The Java EE7 Tutorial (PDF)
The Java Language Specification - James Gosling, Bill Joy, Guy Steele, Gilad Bracha
The Java Tutorial 4th Edition - Sharon Zakhour, Scott Hommel, Jacob Royal, Isaac Rabinovitch, Tom Risser, Mark Hoeber
Think Java: How to Think Like a Computer Scientist - Allen B. Downey
Thinking in Java
UML For Java Programmers - Robert Cecil Martin
Welcome to Java for Python Programmers - Brad Miller
Welcome to the Java Workshop - An Apache Project
What's New in Java 8 - Adam L. Davis

Spring

Spring Framework Reference Documentation (PDF) - Rod Johnson, Juergen Hoeller, Keith Donald, Colin Sampaleanu, Rob Harrop, Thomas Risberg, Alef Arendsen, Darren Davison, Dmitriy Kopylenko, Mark Pollack, Thierry Templier, Erwin Vervaet, Portia Tung, Ben Hale, Adrian Colyer, John Lewis, Costin Leau, Mark Fisher, Sam Brannen, Ramnivas Laddad, Arjen Poutsma, Chris Beams, Tareq Abedrabbo, Andy Clement, Dave Syer, Oliver Gierke, Rossen Stoyanchev, Phillip Webb, Rob Winch, Brian Clozel, Stephane Nicoll, Sebastien Deleuze

Spring Boot

Spring Boot Reference Guide (PDF, EPUB) - Phillip Webb, Dave Syer, Josh Long, Stéphane Nicoll, Rob Winch, Andy Wilkinson, Marcel Overdijk, Christian Dupuis

Spring Security

Spring Security Reference - Ben Alex, Luke Taylor, Rob Winch

Wicket

Official Free Online Guide for Apache Wicket framework

JavaScript

Basic JavaScript for the impatient programmer - Dr. Axel Rauschmayer
Book of Modern Frontend Tooling
Crockford's JavaScript - Douglas Crockford
Dev Docs
Developing Backbone.js Applications - Addy Osmani
Eloquent JavaScript 2nd edition - Marijn Haverbeke
Google JavaScript Style Guide
Human Javascript
JavaScript Allongé
JavaScript Bible (PDF)
JavaScript Enlightenment - Cody Lindley
JavaScript Essentials
JavaScript Fundamentals, Plus a Dash Of JQuery - for dinner ladies
JavaScript Garden (Maintained by Tim Ruffles)
JavaScript Patterns Collection - Shi Chuan
Javascript Succinctly, Syncfusion (PDF, Kindle) (Just fill the fields with any values)
JavaScript the Right Way
jQuery Fundamentals (starts with JavaScript basics)
JS Robots
Leaflet Tips and Tricks: Interactive Maps Made Easy - Malcolm Maclean
Learn to Code JavaScript by Playing a Game
Learning JavaScript Design Patterns - Addy Osmani
Managing Space and Time with JavaScript - Book 1: The Basics - Noel Rappin
Marionette Exposé: Learn to write modular Javascript applicatons using Backbone Marionette and RequireJS/AMD - Jack Killilea
Mozilla Developer Network's JavaScript Guide
Oh My JS (Leanpub, by Azat Mardanov)
O'Reilly Programming JavaScript Applications - Early Release
Patterns For Large-Scale JavaScript Application Architecture - Addy Osmani
Speaking JavaScript - Dr. Axel Rauschmayer
The JavaScript Tutorial
The Problem with Native JavaScript APIs (PDF)
Understanding ECMAScript 6 (Leanpub, by Nicholas C. Zakas)
You Don't Know JS

Javascript Frameworks

For resources on Angular.js, Backbone.js, D3.js, Dojo, Ember.js, Express.js, jQuery, Knockout.js, and any other JS toolkit/framework, please refer to Javascript Frameworks Resources and Tutorials, or to its source file javascript-frameworks-resources.md.