Software engineering

Learn Harness Engineering

Topics: Artificial intelligence , Software engineering

Beej's Guide to Learning Computer Science

by Brian “Beej Jorgensen” Hall

Topics: Software engineering

Program Design by Calculation

by J N Oliveira

Topics: Software engineering

Applied Mathematical Programming

by Arnoldo C. Hax , Stephen P. Bradley , Thomas L. Magnanti

Topics: Mathematics , Software engineering

Software Foundations Vol 6: Separation Logic Foundations

by Arthur Charguéraud

Topics: Software engineering

Software Foundations Vol 5: Verifiable C

by Andrew W Appel , Lennart Beringer , Qinxiang Cao

Topics: Software engineering , C

Software Foundations Vol 3: Verified Functional Algorithms

by Andrew W Appel

Topics: Software engineering

Software Foundations Vol 2: Programming Language Foundations

by Benjamin C Pierce , Arthur Azevedo de Amorim , Chris Casinghino , Marco Gaboardi , Michael Greenberg , Cătălin Hriţcu , Vilhelm Sjöberg , Andrew Tolmach , Brent Yorgey

Topics: Software engineering

Software Foundations Vol 1: Logical Foundations

by Arthur Azevedo de Amorim , Marco Gaboardi , Michael Greenberg , Brent Yorgey , Cătălin Hriţcu , Benjamin C Pierce , Chris Casinghino , Vilhelm Sjöberg

Topics: Software engineering

Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq

by Leonidas Lampropoulos , Benjamin C Pierce

Topics: Property based testing , Coq , Software engineering

Software Engineering at Google

by Hyrum Wright , Tom Manshreck , Titus Winters

Topics: Software engineering

Structure and Interpretation of Computer Programs

by Harold Abelson , Gerald Jay Sussman , Julie Sussman

Topics: Software engineering

Foundations of Computer Science

by Al Aho , Jeff Ullman

Topics: Software engineering

Evidence-based Software Engineering

by Derek M Jones

Topics: Software engineering

Elements of Programming

by Alexander Stepanov , Paul McJones

Topics: Software engineering

Data-Oriented Design

by Richard Fabian

Topics: Software engineering

A Compendium of Software Design

by Matteo Di Tucci

Topics: Software engineering