Books Wishlist
Jump to navigation
Jump to search
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
- Volume 1, Fascicle 1: MMIX -- A RISC Computer for the New Millennium
- 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
- Friedman & Wand, Essentials of Programming Languages, 3rd Edition
- 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
- Friedman, The Little Schemer - 4th Edition
- ML
- Reppy, Concurrent Programming in ML
- ISBN-13: 978-0521714723
- Paulson, ML For The Working Programmer
- ISBN-13: 978-0521565431
- Reppy, Concurrent Programming in ML
- Haskell
- Hutton, Programming in Haskell
- ISBN-13: 978-0521692694
- Hudak, The Haskell School of Expression
- ISBN-13: 978-0521644082
- Hutton, Programming in Haskell
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]
Technology Books
- Ubuntu
- Unix/Linux Beginner Books
- OpenGL/DirectX
- GTK
- Unix Network Programming