Bookmarks

Tags: book*

167 bookmark(s) - Sort by: Date ↓ / Title /

21. Certified Programming with Dependent Types

    Adam Chlipala

    Tags: coq, book by Andreas Turtschan (2015-07-20)
22. Software Foundations

    Benjamin C. Pierce

    Tags: coq, book by Andreas Turtschan (2015-07-20)
23. Aho/Ullman Foundations of Computer Science

    Tags: aho, ullman, book by Andreas Turtschan (2015-05-25)
24. Optics Textbook

    Tags: book, optics by Andreas Turtschan (2015-05-08)
25. Free Linear Algebra textbook

    Tags: linear algebra, book by Andreas Turtschan (2015-03-12)
26. Butterick’s Practical Typography

    Tags: typography, book by Andreas Turtschan (2015-02-28)
27. High Performance Browser Networking

    Tags: book, http by Andreas Turtschan (2015-02-18)
28. Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa

    Didier Rémy

    Tags: ocaml, book by Andreas Turtschan (2015-02-16)
29. The Implementation of Functional Programming Languages

    Simon Peyton Jones

    Tags: book, programming languages by Andreas Turtschan (2015-01-06)
30. Programming Computer Vision with Python

    Tags: cv, python, book by Andreas Turtschan (2015-01-01)

Top of the page

First / Previous / Next / Last / Page 3 of 17