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.

Foundations/Field Surveys

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

Programming Languages

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

Data Structures

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

Typography

• Bringhurst, The Elements of Typographic Style
  • ISBN-13: 978-0881792065
• Knuth, Computers & Typesetting, Volumes A-E Boxed Set
  • ISBN-13: 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

what

• Papadimitriou or newer equivalent
• Cooper or similar (Cooper is buggy)
• Li and Vitanyi

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