Skip to content
pandatutor® Log in
Panda Tutor

Programming Techniques

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

🔄 Show different books

Logic Programming with Prolog

Max Bramer

2005

Software Engineering 2

Dines Bjorner

2006

Guide to RISC Processors

Sivarama P. Dandamudi

2005

Abstraction, refinement and proof for probabilistic systems

Annabelle McIver, Charles C. Morgan

2004

Integrated Formal Methods

John Derrick

2012

Fundamentals of Software Engineering

Farhad Arbab

2012

Multi-agent programming

Rafael H. Bordini

2005

Formal Verification of Object-Oriented Software

Bernhard Beckert

2011

Don't spend a dime

James Floyd Kelly

2009

Applications of Evolutionary Computation

Cecilia Di Chio

2012

Programming the 6502

Rodnay Zaks

1978

Computer Aided Verification

Ganesh Gopalakrishnan

2011

Fundamental Networking in Java

Esmond Pitt

2005

Linear programming

Howard Karloff

1991

How to Recruit and Hire Great Software Engineers

Patrick McCuller

2012

Adapting proofs-as-programs

Martin Wirsing, Iman Hafiz Poernomo

2005

Reverse engineering of object oriented code

Paolo Tonella

2005

Production Rendering

Ian Stephenson

2005

Reconfigurable Computing: Architectures, Tools and Applications

Andreas Koch

2011

Wireless Sensor Networks

Gian Pietro Picco

2012

Agile Software Construction

John Hunt

2005

Compiler Design

Reinhard Wilhelm

2010

Applications of agent technology in traffic and transportation

Ana L. C. Bazzan, Franziska Klügl, Sascha Ossowski

2006

Modern Compiler Design

Dick Grune

2012

Guide to Java

James T. Streib

2014

Parallel Processing and Applied Mathematics

Roman Wyrzykowski

2012

Multimedia introduction to programming using Java

David Gries

2004

Software Composition

Thomas Gschwind

2012

Trends in Functional Programming

Ricardo Peña

2012

Introduction to Assembly Language Programming

Sivarama P. Dandamudi

2004

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