Books Wishlist

This page consists of books we'd like to get to stock the library. It is divided into 3 sections. The first is books going on this term's MEF proposal, this should be done by whoever is writing the proposal. The second is a list of actual books with ISBN. The third is vague ideas of what kind of books we need. The goal is for this page to be emptied by way of moving things from section three up to section one and then off.

MEF Proposal

MEF Proposal books should include a quote and a sentence or two of justification.

Actual Books

Actual books should have a precise title and ISBN for edition desired.

j2simpso's suggestions should be sorted

• Dreaming in Code
  • ISBN 978-1400082469
• Founter's at Work: Stories of Startup's early Days
  • ISBN 978-1590597149

Non-technical

• Mythical Man Month (20th Anniversary ed)
  • ISBN 0-201-83595-9

UI & HCI

• Sketching User Experiences
  • ISBN 978-0-12-374037-3
• The Design of Everyday Things
  • ISBN 978-0465067107
• The Laws of Simplicty
  • ISBN 978-0262134729

Course Textbooks

• CS116: Downey, Python for Software Design: How to Think Like a Computer Scientist
  • ISBN 978-0521725965
• CS136: King, C programming
  • ISBN 978-0393979503
• CS240: GOODRICH & TAMASSIA:ALGORITHM DESIGN
  • ISBN 978-0471383659
• CS246: SAVITCH:ABSOLUTE C++ 4TH ED
  • ISBN 978-0136083818
• CS246: MEYERS:EFFECTIVE C++
  • ISBN 978-0321334879
• CS462 SHALLIT:SECOND COURSE IN FORMAL LANGUAGES & AUTOMATA THEOR
  • ISBN 9780521865722

Foundations/Field Surveys

• Knuth, The Art of Computer Programming
  • Volume 1, Fascicle 1: MMIX -- A RISC Computer for the New Millennium
    • ISBN 978-0201853926
  • Volume 4, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions
    • ISBN 978-0321534965
  • Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams
    • ISBN 978-0321580504
  • Volume 4, Fascicle 2: Generating All Tuples and Permutations
    • ISBN 978-0201853933
  • Volume 4, Fascicle 3: Generating All Combinations and Partitions
    • ISBN 978-0201853940
  • Volume 4, Fascicle 4: Generating All Trees--History of Combinatorial Generation
    • ISBN 978-0321335708
• Wirth, Algorithms + Data Structures = Programs
  • ISBN 978-0130224187
• Dijkstra, A Discipline of Programming
  • ISBN 978-0132158718
• Abelson, Structure and Interpretation of Computer Programs
  • ISBN 978-0070004849
• Basic Category Theory for Computer Scientists
  • ISBN 978-0262660716

Complexity

• Papadimitriou, Computational Complexity or newer equivalent
  • ISBN 0201530821
• Cooper, Computability Theory or similar (Cooper is buggy)
  • ISBN 1-58-488237-9
• Li and Vitanyi Kolmogorov Complexity and its Applications
  • ISBN 987-0-387-49820-1
• Blackburn, de Rijke, Venema, Modal Logic
  • ISBN 978-0521802000

Programming Languages

• Theory of
  • Friedman & Wand, Essentials of Programming Languages, 3rd Edition
    • ISBN 978-0262062794
  • Pierce, Types and Programming Languages
    • ISBN 978-0262162098
• Scheme
  • Friedman, The Little Schemer - 4th Edition
    • ISBN 978-0262560993
  • Friedman, The Seasoned Schemer
    • ISBN 978-0262561006
  • Friedman, The Reasoned Schemer
    • ISBN 978-0262562140
  • Dybvig, The Scheme Programming Language, 3rd Edition
    • ISBN 978-0262541480
• ML
  • Reppy, Concurrent Programming in ML
    • ISBN 978-0521714723
  • Paulson, ML For The Working Programmer
    • ISBN 978-0521565431
• Haskell
  • Hutton, Programming in Haskell
    • ISBN 978-0521692694
  • Hudak, The Haskell School of Expression
    • ISBN 978-0521644082

Data Structures

• Okasaki, Purely Functional Data Structures
  • ISBN 978-0521663502

Typography

• Bringhurst, The Elements of Typographic Style
  • ISBN 978-0881792065
• Knuth, Computers & Typesetting, Volumes A-E Boxed Set
  • ISBN 978-0201734164

Vague Ideas

These can be anything from a title missing an edition choice to a topic name to a binding style/colour.

Theory

• Approximation Algorithms
• Randomized Algorithms
• Computer and Intractability (Grey & Johnson)
• Human Computer Interaction (HCI)
• Project Management
  • Software Requirements
  • Software Design & Architecture
  • Software Testing
• Concurrency/Multithreading
• Security (Firewalls)
• Introduction to the Theory of Computation
• Numerical Analysis
• Numerical Methods? (Stoer & Bulirsch)
  • This is probably not the actual title. We want a book on numerical methods by Stoer & Bulirsch
• Computer Systems: A Programmer's Perspective (Bryant & O'Hallaron)
• Quantum Computing book (from QIP)
  • We have the course text, do we need more on the topic? IQC Reccomendation?

Programming Languages

• Python
• Haskell .NET
• Ruby
• C#
• Visual Basic .NET
• OCaml
• F#
• Basic
• Groovy
• Javascript
• C/C++
• Assembly .NET
• Databases [SQL]
• Coq .NET

Technology Books

• Ubuntu
• Unix/Linux Beginner Books
• OpenGL/DirectX
• GTK
• Unix Network Programming

Miscellaneous

• Mein Kampf
• The Protocols of the Elders of Zion
• On the Jews and Their Lies
• The Communist Manifesto
• What is to be Done?
• 毛主席语录
• Der Giftpilz