Tutor AI

Programming Techniques

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

🔄 Show different books

A Primer on Scientific Programming with Python (Texts in Computational Science and Engineering)

Hans Petter Langtangen

2012

Software agent-based applications, platforms, and development kits

Rainer Unland

2005

Software process modeling

Natalia Juristo

2005

Algorithms and Programming

Alexander Shen

1996

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak

2012

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

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