Panda Tutor

Programming Languages, Compilers, Interpreters

Featured — award winners and classics first, when available. Use “Show different books” for a new selection.

🔄 Show different books

Software agent-based applications, platforms, and development kits

Rainer Unland

2005

Software process modeling

Natalia Juristo

2005

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak

2012

Advanced relational programming

F. Cacace, Filippo Cacace, G. Lamperti

1899

Logic Programming with Prolog

Max Bramer

2005

Software Engineering 2

Dines Bjorner

2006

Guide to assembly language

James T. Streib

2011

XML for Bioinformatics

Ethan Cerami

2005

Solving problems in scientific computing using Maple and MATLAB

Walter Gander

1993

Abstraction, refinement and proof for probabilistic systems

Annabelle McIver, Charles C. Morgan

2004

Integrated Formal Methods

John Derrick

2012

An Introduction to Language Processing with Perl and Prolog

Pierre M. Nugues

2006

Virtual Machines

Iain D. Craig

2005

Giants of Computing

Gerard O’Regan

2013

Fundamentals of Software Engineering

Farhad Arbab

2012

Multi-agent programming

Rafael H. Bordini

2005

Formal Verification of Object-Oriented Software

Bernhard Beckert

2011

Computer Aided Verification

Ganesh Gopalakrishnan

2011

Specification of software systems

Vangalur S. Alagar

2011

Fundamental Networking in Java

Esmond Pitt

2005

Computational Logic in Multi-Agent Systems

Michael Fisher

2012

Linear programming

Howard Karloff

1991

Beginning PHP and MySQL

W. J. Gilmore

2008

Reverse engineering of object oriented code

Paolo Tonella

2005

First steps in Maple

Burkhardt, Werner

1994

Compiler Design

Reinhard Wilhelm

2010

Modern Compiler Design

Dick Grune

2012

Guide to Java

James T. Streib

2014

Multimedia introduction to programming using Java

David Gries

2004

Software Composition

Thomas Gschwind

2012

Browse free books to read online

Book Explorer lets readers browse the free, readable part of the Open Library catalogue by familiar genres, or by the exact subject tags Open Library assigns each book. Every book has its own page with a reader where one is available, plus links to Open Library, your library, Libby and Amazon.

Fiction

Non-fiction

Poetry & Drama