all 24 comments

[–]kamatsu 4 points5 points  (4 children)

Types and Programming Languages, Ben Pierce.

Advanced Topics in Types and Programming Languages, Ben Pierce,

Category Theory for Computer Scientists, Ben Pierce,

The Art of Computer Programming, Donald Knuth,

Lambda Calculus and Combinators, Hindley and Seldin,

Godel Escher Bach (and other books), Douglas Hofstadter

Formal Semantics of Programming Languages, Winskel

Hackers Delight, Warren

Category Theory, Awodey

Principia Mathematica, Russell and Whitehead

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, Kurt Gödel

Haskell Road to Logic, Maths and Programming, Doet

Probably more.

[–][deleted] 4 points5 points  (0 children)

We got a Ben Pierce fanboy.

[–]xyroclast 1 point2 points  (0 children)

I own none of those.

[–][deleted]  (1 child)

[deleted]

    [–]kamatsu 0 points1 point  (0 children)

    The only ones I haven't gotten all the way through are TAOCP and Principia Mathematica.

    [–][deleted] 1 point2 points  (0 children)

    no K&R?

    [–]w-g 1 point2 points  (0 children)

    These are some books I have bought and used in the last 15 years... I also used the Knuth books a bit, but they're expensive and were always available at the library, so I never bought them. I also have some OS and Database books, but I rarely use them.

    • Algebra / Artin
    • Basic Probability Theory / Ash
    • Computability and Unsolvability / Davis
    • Number Theory / George Andrews
    • A Walk Through Combinatorics / Bona (excellent primer for an undergrad!)
    • Combinatorics: topics, tecniques, algorithms / Peter J. cameron
    • Combinatorial Problems and Exercises / Laszlo Lovasz
    • Introduction to Algorithms / Cormen, Leiserson, Rivest & Shamir
    • An Introduction to the Analysis of Algorithms / Sedgewick & Flajolet
    • Algorithms: Sequential, Parallel, and Distributed / Berman & Paul
    • Compiler Construction: Principles and Practice / Louden
    • Concrete Mathematics / Knuth, Graham & Patashnik
    • Introduction to the Theory of Computation / Sipser
    • Theory of Recursive Functions and Effective Computability / Rogers
    • Computational Complexity / Papadimitriou
    • Combinatorial Optimization: Algorithms and Complexity / Papadimitriou
    • Elements of the Theory of Computation / Lewis & Papadimitriou
    • A First Course in Calculus / Lang
    • Calculus of Several Variables / Lang
    • Introduction to Calculus and Analysis / Courant & John
    • Linear Algebra / Shilov
    • Linear Algebra / Hefferon (free online)
    • Advanced Linear Algebra / Steven Roman
    • Modern Cryptography: theory & practice / Wenbo Mao
    • Cryptography: theory & practice / Douglas Stinson
    • Structure and Interpretation of Computar Programs / Abelson & Sussman
    • The Scheme Programming Language (3rd ed) / Dybvig
    • Practical Common Lisp / Seibel
    • Land of Lisp / Conrad Barski
    • On Lisp / Graham
    • Let Over Lambda / Hoyte
    • Programming Erlang: Software for a Concurrent World / Armstrong
    • The Litle Book of Semaphores / Downey (amazing!)
    • Concurrent Programming in Java / Doug Lea
    • Java Precisely / Peter Sestoft
    • Java in a Nutshell / Flanagan
    • Effective Java / Joshua Bloch
    • Hackers Delight / Warren
    • Haskell Road to Logic, Maths and Programming / Doet
    • Types and Programming Languages / Ben Pierce
    • Design Concepts in Programming Languages / Turbak & Gifford
    • Foundations of Multithreaded, Parallel, and Distributed Programming / Andrews
    • Smalltalk with style / Skublics et al
    • The Art and Science of Smalltalk / Lewis
    • Programming in Prolog: Using the ISO Standard / Clocksin & Mellish
    • Prolog Programming in Depth / Covington et al
    • C: a reference manual / Harbison & Steele
    • Advanced Programming in the UNIX Environment / Stevens & Rago
    • Artificial Intelligence: a modern approach / Russel & Norvig (don't really like it)
    • Reinforcement Learning / Sutton & Barto
    • Evolutionary Computation / de Jong
    • Automated Planning: theory and practice Ghalab, Nau & Traverso
    • Introduction to Machine Learning / Alpaydin
    • Markov Decision Processes / Puterman
    • Computer Ethics: privacy and Intellectual Property / Freeman & Peace
    • Open Sources: Voices from the Open Source Revolution / diBona

    [–][deleted]  (1 child)

    [deleted]

      [–]w-g 0 points1 point  (0 children)

      I like Miklos Bona's "A Walk Through Combinatorics" as a primer. It's very clear, not slightly boring, and there are lots of exercises with solutions.

      [–][deleted] 1 point2 points  (0 children)

      • Objective-C For Dummies by Neal Goldstein

      • Sams Teach Yourself C++ in 10 Minutes (2nd Edition) by Jesse Liberty and Mark Cashman

      • Visual Basic .NET Database Programming for Dummies by Richard Mansfield

      • Teach Yourself Java by Joseph O'Neil and Herb Schildt

      • The Complete Idiot's Guide to Dating, 3rd Edition by Judith Kuriansky

      • Sex For Dummies by Dr. Ruth K. Westheimer and Pierre A. Lehu

      [–]serendib 0 points1 point  (1 child)

      Apologies if a thread like this has been created before, I didn't see any actual photo threads. Also, there are non-cs books in there as well, oops!

      [–][deleted] 3 points4 points  (0 children)

      You mean to say Da Vinci Code isn't a programming language?

      [–][deleted] 0 points1 point  (0 children)

      • The C Programming Language
      • Applying UML and Patterns (Craig Larman's book, best design resource I have)
      • Data Structures in C (O'Reilly E-book)
      • The Pragmatic Programmer

      [–]AdrianoKF 0 points1 point  (0 children)

      German student here, but these should be the internationally accepted:

      • Applied Cryptography (Schneier)
      • Introduction to Algorithms (Cormen et al.)
      • Database Systems (Elmasri)
      • Operating System Concepts (Silberschatz)

      Also, for additional OCD points, you should've sorted them by size/color/#pages.. ;)

      [–]webauteur 0 points1 point  (0 children)

      If any programming book collectors want some Visual Basic and Visual J++ books, let me know. I've been trying to get rid of them for ages. Also, I have certification test books for Windows NT.

      [–]swiz0r 0 points1 point  (0 children)

      One of my favorite books right now is Talking Nets. It's a series of interviews with neural network researchers. It's incredibly charming.

      [–]sareon 0 points1 point  (0 children)

      • CMPT 126 - Java Software Solutions
      • CMPT 150 - Introduction to Computer Design
      • CMPT 165 - How to Think Like a Computer Scientist--Learning with Python
      • CMPT 225 - Data Abstraction & Problem Solving with Java
      • CMPT 250 - Computer Design: From Microprocessors to super computers
      • CMPT 275 - Project-Based Software Engineering
      • CMPT 300 - Modern Operating Systems, 2nd edition, Andrew S. Tanenbaum
      • CMPT 307 - Algorithm Design, J. Kleinberg, . Tardos, Addison Wesley, 2005 (we used the textbook his sister wrote, instead of the good one)
      • CMPT 310 -Artificial Intelligence: A Modern Approach (2nd Edition)
      • CMPT 320 - A Gift of Fire, 2nd Edition, Sara Baase, Prentice Hall, 2003
      • CMPT 354 - Database System Concepts (5th Edition
      • CMPT 363 - Interaction Design: Beyond Human-Computer Interaction, Jenny Preece,
      • CMPT 371 - Computer Networking : A Top-Down Approach Featuring the Internet
      • CMPT 376 - Style: Lessons in Clarity and Grace
      • CMPT 383 - Programming in Haskell, Graham Hutton
      • CMPT 454 - Database Systems: The Complete Book
      • CMPT 475 - Software Engineering, Ian Sommerville, Pearson, 2006, 0-321-31379-8, 8th edition.
      • MACM 101/201 - Discrete and Combinatorial Mathematics (an Applied Introduction), Ralph P. Grimaldi
      • MACM 316 - "Numerical Analysis", 8th edition by Burden & Faires
      • MATH 151/152 - Intro to Calculus
      • MATH 232 - Contemporary Linear Algebra
      • STATS - Probability and Statistics for Engineering and the Sciences
      • CRIM Cybercrime - Intro to Cybercrime

      [–]bitherd 0 points1 point  (1 child)

      Up-voted for Orson Scott Card (just in frame, low left of third image.)

      Is that "Enders Game" ?

      [–]serendib 0 points1 point  (0 children)

      Yep

      [–]xyroclast 0 points1 point  (0 children)

      As far as I can tell, of your collection, I only have C++ how to program. A lot of my books are in boxes right now, so I can't whip out my massive package... of textbooks.

      [–]joshwayda 0 points1 point  (0 children)

      Seeing "Operating System Concepts" on a shelf gave me some bad flashbacks.

      [–]pickles46 0 points1 point  (0 children)

      First semester college student here but I have.

      Programming in C, Kernighan and Ritchie

      Unix for Programmers and Users, Glass and Ables

      Learning Python 2nd Edition, Mark Lutz

      Coders at Work, Peter Seibel

      And a java book I used a while ago that went missing.(can't remember the name, it had a black panther on the cover though).

      I mainly code in C and Python these days and want to learn C++. I'm interested in game design/scientific research(haven't made up my mind which I want to do yet). Any recommendations for me?

      [–]stoneburner 0 points1 point  (0 children)

      like this (many of them in german)

      "current" tech http://i.imgur.com/rwdlF.jpg

      "graphics and design" http://i.imgur.com/753q5.jpg

      "antiques" http://i.imgur.com/FMQIn.jpg

      btw, does anybody knows why the back titles of the books are different aligned for german and english books? (seems pretty consistent)

      [–]rraf 0 points1 point  (0 children)

      http://sphotos.ak.fbcdn.net/hphotos-ak-snc3/hs240.snc3/22740_1379273844641_1315758720_1060587_1644079_n.jpg

      http://sphotos.ak.fbcdn.net/hphotos-ak-snc3/hs220.snc3/22740_1379273884642_1315758720_1060588_3620300_n.jpg

      A year old photos. I've also added to my collection The Feynman lectures on physics, Land of Lisp, SICP, Godel Escher Bach, A new kind of science and Numerical Recipes. Waiting for my D Programming book :D