Tutor AI

Programming Languages, Compilers, Interpreters

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

🔄 Show different books

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

Formal methods in programming and their applications

D. Bjørner, M. Broy

1993

Trends in Functional Programming

Ricardo Peña

2012

Introduction to Assembly Language Programming

Sivarama P. Dandamudi

2004

Theoretical Introduction to Programming

Bruce Mills

2005

Transactions on aspect-oriented software development XI

Shigeru Chiba

2014

Guide to HTML, JavaScript and PHP

Brooks, David R.

2011

Perspectives on enclosure methods

Ulrich Kulisch

2001

Software Engineering 3

Dines Bjorner

2006

Guide to Scientific Computing in C++

Joe Pitt-Francis

2012

Abstract computing machines

Werner Kluge

2005

Foundations of Software Science and Computational Structures

Lars Birkedal

2012

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

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