Books Wishlist: Difference between revisions

From CSCWiki
Jump to navigation Jump to search
(66 intermediate revisions by 15 users not shown)
Line 1: Line 1:
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.
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.

A bunch of these were bought. That needs to be updated.

Programming Windows by Charles Petzold used to be the definitive guide to Win32
http://www.amazon.ca/Programming-Windows%C2%AE-Charles-Petzold/dp/157231995X/ref=sr_1_1?ie=UTF8&s=books&qid=1269631483&sr=8-1

TCP/IP illustrated (All three volumes $180)
http://www.amazon.com/TCP-IP-Illustrated-Vol-Protocols/dp/0201633469

= Books we are going to buy with $1500 by csfmurph =

* Regular Polytopes By Coxeter: $22 (Hardcover: $64)
**http://www.amazon.ca/Regular-Polytopes-H-S-Coxeter/dp/0486614808/ref=sr_1_1?s=books&ie=UTF8&qid=1456780992&sr=1-1&keywords=Regular+Polytopes+By+Coxeter
** ISBN 978-0486614809
*Advanced Topics in Types and Programming Languages: $113
**https://www.amazon.ca/Advanced-Topics-Types-Programming-Languages/dp/0262162288
**ISBN 978-0262162289
* Thinking as Computation: $62
** https://www.amazon.ca/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
** ISBN 978-0262016995
* Shellcoders Handbook: $41
** https://www.amazon.ca/Shellcoders-Handbook-Discovering-Exploiting-Security/dp/047008023X/ref=sr_1_1?s=books&ie=UTF8&qid=1456782575&sr=1-1&keywords=The+Shellcoder%27s+Handbook%3A+Discovering+and+Exploiting+Security+Holes
** ISBN 978-0470080238
* Let over Lambda: $54
**https://www.amazon.ca/Let-Over-Lambda-Doug-Hoyte/dp/1435712757/ref=sr_1_1?s=books&ie=UTF8&qid=1486482168&sr=1-1&keywords=let+over+lambda
** ISBN 978-1435712751
* Learning Spark: $36
** https://www.amazon.ca/Learning-Spark-Lightning-Fast-Data-Analysis/dp/1449358624/ref=sr_1_1?s=books&ie=UTF8&qid=1486482236&sr=1-1&keywords=learning+spark
** ISBN 978-1449358624
* Graph Theory 4th ed (note available for free at http://diestel-graph-theory.com/): $105
** https://www.amazon.com/Graduate-Mathematics-Reinhard-19-Jul-2010-Paperback/dp/B013IM0IGC/ref=mt_paperback?_encoding=UTF8&me=
* Computers and Intractability: $79
** https://www.amazon.ca/Computers-Intractability-Guide-Theory-NP-Completeness/dp/0716710455/ref=sr_1_1?s=books&ie=UTF8&qid=1486482553&sr=1-1&keywords=Computers+and+Intractability
** ISBN 978-0716710455
* A discipline of programming: $99
** https://www.amazon.ca/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
** ISBN 978-0132158718
* Algorithms + Data Structures: $120
** https://www.amazon.ca/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new
** ISBN 978-8120305694
* Eloquent Javascript 2nd Ed.: $52
** https://www.nostarch.com/ejs2
** ISBN 978-1593275846
* Effective Python: $30
** https://www.amazon.ca/Effective-Python-Specific-Write-Better/dp/0134034287/?s=books&ie=UTF8&qid=1486958231&sr=1-1&keywords=effective+python
** ISBN 978-0134034287
* OpenGL Superbible: $57
** https://www.amazon.ca/OpenGL-Superbible-Comprehensive-Tutorial-Reference/dp/0672337479/?s=books&ie=UTF8&qid=1486958291&sr=1-1&keywords=opengl+superbible
** ISBN 978-0672337475
* Operating Systems: Three Easy Pieces: $53
** http://www.lulu.com/shop/http://www.lulu.com/shop/remzi-arpaci-dusseau-and-andrea-arpaci-dusseau/operating-systems-three-easy-pieces-hardcover-version-091/hardcover/product-22819939.html
* Theoretical Introduction to Programming: $94
** https://www.amazon.ca/Theoretical-Introduction-Programming-Bruce-Mills/dp/1846280214
** ISBN 978-1846280214
* Lectures on the Curry-Howard Isomorphism: $190
** https://www.amazon.ca/Lectures-Curry-Howard-Isomorphism-Morten-S%C3%B8rensen/dp/0444520775
** ISBN 978-0444520777


The sum: $1123

'''With TAX''' (sum * 1.13): 1269

Meaning there is about $90 for shipping and any surprise fees


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

= W18 Whiteboard Books =
* Digital Typograph, Donald Knuth
** ISBN: 978-1575860107
* Programming Language Concepts, Peter Sestoft
** ISBN: 978-1447141556
* Cracking the Coding Interview, Gayle Laakmann McDowell
** ISBN: 978-0984782857
** https://www.amazon.ca/Cracking-Coding-Interview-Programming-Questions/dp/0984782850
* The Moscow Puzzles: 359 Mathematical Recreations
** ISBN: 978-0486270784
** https://www.amazon.ca/Moscow-Puzzles-359-Mathematical-Recreations/dp/0486270785/
* Programming Rust: Fast, Safe Systems Development
** ISBN: 978-1491927281
** https://www.amazon.ca/Programming-Rust-Fast-Systems-Development/dp/1491927283/
* Stable marriage and its relation to other combinatorial problems, Donald Knuth
** ISBN: 978-0821806036
* Automating Inequality: How High-Tech Tools Profile, Police, and Punish the Poor
** ISBN: 978-1250074317
** https://www.amazon.ca/Automating-Inequality-High-Tech-Profile-Police/dp/1250074312
* Quantum Computation and Quantum Information: 10th Anniversary Edition
** ISBN: 978-1107002173
** https://www.amazon.ca/Quantum-Computation-Information-10th-Anniversary/dp/1107002176
* Algorithms of Oppression: How Search Engines Reinforce Racism
** ISBN: 978-1479837243
** https://www.amazon.ca/gp/product/1479837245

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
** ISBN 978-0262162289
* OS in 3 easy steps (maybe they meant to write Operating Systems: Three Easy Pieces?)
* Realm of Racket
** ISBN 978-1593274917
* Let over Lambda
** ISBN 978-1435712751
* Learning Spark
** ISBN 978-1449358624
* A tour of C++
** ISBN 978-0321958310
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
** ISBN 978-3662536216
* Computers and Intractability
** ISBN 978-0716710455
* Quantum Computing Since Democritus
** ISBN 978-0521199568

= W16 Whiteboard books in progress =
This is a list of books that people have put on the whiteboard so far. May still change.
*Cracking the Code Inteview (++++++)(maybe two copies of this)
*Analytic Number Theory (? There are several such books)
*To Mock a Mockingbird(++)
*Regular Polytopes By Coxeter
*Matroid Theory
*Model Theory 2nd edition (?)
*Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel
*Quantum Computing Since Democritus
*Theory of Linear and Integer Programming
*Sedra and Smith's microelectronic circuits
*Analytic cominatorics
*Haskell Programming from first principles (Allen & Moronuki)
*Analytic Combinatorics
*Naive Set Theory
*Starlight [unreadable] student handbook


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

*Thinking as Computation
** http://mitpress.mit.edu/books/thinking-computation
* The Shellcoder's Handbook: Discovering and Exploiting Security Holes
** ISBN-10: 047008023X
** ISBN-13: 978-0470080238

== j2simpso's suggestions should be sorted ==

[note: do we want this section, with books about "Startup's early Days"?

*Dreaming in Code
** ISBN 978-1400082469
*Founter's at Work: Stories of Startup's early Days
** ISBN 978-1590597149
*Metaprogramminging GPUs with SH
** ISBN 978-1568812298
*High Performance Computing
** ISBN 978-1566923126
*Critical Testing Processes: Plan, Prepare, Perform, Perfect
** ISBN 978-0201748680
* GREP pocket reference
** ISBN 978-0596153601
* Programming Embedded Systems
** ISBN 978-0596009830
* High Availability and Disaster Recovery
** ISBN 978-3540244608
* An Introduction to Mathematical Cryptography
** ISBN 978-0387779930
* Real Time Systems Design and Analysis
** ISBN 978-0471228554
* The Black Swan: The Impact of the Highly Improbable
** ISBN 978-1400063512


== Non-technical ==
== Non-technical ==
* How to Win Friends and Influence People
* Mythical Man Month (20th Anniversary ed)
** ISBN 978-0671027032
** 0-201-83595-9
* A Field Guide to Earthlings: An Autistic/Asperger View of Neurotypical Behavior
** ISBN 978-0615426198
* Natural Harvest - A Collection of Semen-Based Recipes
** ISBN 1-4743-1461-5
* Logicomix: An Epic Search for Truth
** ISBN 978-0747597209


== UI & HCI ==
== UI & HCI ==
Line 20: Line 186:


== Course Textbooks ==
== Course Textbooks ==
* CSfoo: '''rebind''' CLRS
* CS116: Downey, Python for Software Design: How to Think Like a Computer Scientist
* CS116: Downey, Python for Software Design: How to Think Like a Computer Scientist
** ISBN 978-0521725965
** ISBN 978-0521725965
Line 30: Line 197:
* CS246: MEYERS:EFFECTIVE C++
* CS246: MEYERS:EFFECTIVE C++
** ISBN 978-0321334879
** ISBN 978-0321334879
* CS365: Sipser, ''Introduction to the Theory of Computation'' SECOND EDITION
** ISBN 0-534-95097-3
* CS462 SHALLIT:SECOND COURSE IN FORMAL LANGUAGES & AUTOMATA THEOR
* CS462 SHALLIT:SECOND COURSE IN FORMAL LANGUAGES & AUTOMATA THEOR
** ISBN 9780521865722
** ISBN 9780521865722


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

== Strict Theory ==
* Recommended by John Watrous: http://www.amazon.com/Computational-Complexity-Approach-Sanjeev-Arora/dp/0521424267/ref=sr_1_1?ie=UTF8&s=books&qid=1276314046&sr=1-1
* [http://www.lulu.com/shop/univalent-foundations-project/homotopy-type-theory-hardcover/hardcover/product-21679084.html#productDetails Homotopy Type Theory]
* [http://www.amazon.com/Computational-Complexity-Christos-H-Papadimitriou/dp/0201530821/ Papadimitriou, ''Computational Complexity''] or newer equivalent
** ISBN 0201530821
* [http://www.amazon.com/Computability-Theory-Chapman-Hall-Mathematics/dp/1584882379 Cooper, ''Computability Theory''] or similar (Cooper is buggy)
** ISBN 1-58-488237-9
* [http://www.amazon.com/Introduction-Kolmogorov-Complexity-Applications-Computer/dp/0387339981/ Li and Vitanyi ''Kolmogorov Complexity and its Applications]
** ISBN 978-0387339986
* [http://www.amazon.com/Cambridge-Tracts-Theoretical-Computer-Science/dp/0521802008 Blackburn, de Rijke, Venema, ''Modal Logic'']
** ISBN 978-0521802000
* Kozen, ''Theory of Computation''
** ISBN 978-1846282973


== Programming Languages ==
== Programming Languages ==


* Theory of
* Theory of
** Friedman & Wand, Essentials of Programming Languages, 3rd Edition
*** ISBN-13: 978-0262062794
** Pierce, Types and Programming Languages
** Pierce, Types and Programming Languages
*** ISBN-13: 978-0262162098
*** ISBN 978-0262162098
* C++
** Bjarne Stroustrup, A Tour of C++
*** ISBN 978-0321958310
** Andrei Alexandrescu, Modern C++ Design: Generic Programming and Design Patterns Applied
*** ISBN 978-0201704310
* Scheme
* Scheme
** Friedman, The Little Schemer - 4th Edition
** Friedman, The Little Schemer - 4th Edition
*** ISBN-13: 978-0262560993
*** ISBN 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
** Dybvig, The Scheme Programming Language, 3rd Edition
*** ISBN-13: 978-0262541480
*** ISBN 978-0262541480
* ML
** Reppy, Concurrent Programming in ML
*** ISBN-13: 978-0521714723
** Paulson, ML For The Working Programmer
*** ISBN-13: 978-0521565431
* Haskell
* Haskell
** Hutton, Programming in Haskell
*** ISBN-13: 978-0521692694
** Hudak, The Haskell School of Expression
** Hudak, The Haskell School of Expression
*** ISBN-13: 978-0521644082
*** ISBN 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 =
= Vague Ideas =
Line 113: Line 278:
* Computer Systems: A Programmer's Perspective (Bryant & O'Hallaron)
* Computer Systems: A Programmer's Perspective (Bryant & O'Hallaron)
* Quantum Computing book (from QIP)
* Quantum Computing book (from QIP)
** We have the course text, do we need more on the topic? IQC Reccomendation?
** We have the course text, do we need more on the topic? IQC Recommendation?


== Programming Languages ==
== Programming Languages ==
Line 138: Line 303:
* Unix Network Programming
* Unix Network Programming


[[Category:Library]]
== what ==
* [http://www.amazon.com/Computational-Complexity-Christos-H-Papadimitriou/dp/0201530821/ref=sr_1_1?ie=UTF8&s=books&qid=1247715120&sr=1-1 Papadimitriou] or newer equivalent
* [http://www.amazon.com/Computability-Theory-Chapman-Hall-Mathematics/dp/1584882379 Cooper] or similar (Cooper is buggy)
* [http://www.amazon.com/Introduction-Kolmogorov-Complexity-Applications-Computer/dp/0387339981/ref=pd_sim_b_1 Li and Vitanyi]

== Miscellaneous ==
* Mein Kampf
* [http://en.wikipedia.org/wiki/Protocols_of_the_Elders_of_Zion The Protocols of the Elders of Zion]
* [http://en.wikipedia.org/wiki/On_the_Jews_and_Their_Lies On the Jews and Their Lies]
* [http://en.wikipedia.org/wiki/The_Communist_Manifesto The Communist Manifesto]
* [http://en.wikipedia.org/wiki/What_is_to_be_Done? What is to be Done?]
* [http://en.wikipedia.org/wiki/Quotations_From_Chairman_Mao_Tse-Tung 毛主席语录]
* [http://www.calvin.edu/academic/cas/gpa/thumb.htm Der Giftpilz]

Revision as of 16:36, 2 February 2019

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.

A bunch of these were bought. That needs to be updated.

Programming Windows by Charles Petzold used to be the definitive guide to Win32 http://www.amazon.ca/Programming-Windows%C2%AE-Charles-Petzold/dp/157231995X/ref=sr_1_1?ie=UTF8&s=books&qid=1269631483&sr=8-1

TCP/IP illustrated (All three volumes $180) http://www.amazon.com/TCP-IP-Illustrated-Vol-Protocols/dp/0201633469

Books we are going to buy with $1500 by csfmurph


The sum: $1123

With TAX (sum * 1.13): 1269

Meaning there is about $90 for shipping and any surprise fees

MEF Proposal

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

W18 Whiteboard Books

W17 Whiteboard Books

  • Advanced Topics in Types and Programming Languages
    • ISBN 978-0262162289
  • OS in 3 easy steps (maybe they meant to write Operating Systems: Three Easy Pieces?)
  • Realm of Racket
    • ISBN 978-1593274917
  • Let over Lambda
    • ISBN 978-1435712751
  • Learning Spark
    • ISBN 978-1449358624
  • A tour of C++
    • ISBN 978-0321958310
  • Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
    • ISBN 978-3662536216
  • Computers and Intractability
    • ISBN 978-0716710455
  • Quantum Computing Since Democritus
    • ISBN 978-0521199568

W16 Whiteboard books in progress

This is a list of books that people have put on the whiteboard so far. May still change.

  • Cracking the Code Inteview (++++++)(maybe two copies of this)
  • Analytic Number Theory (? There are several such books)
  • To Mock a Mockingbird(++)
  • Regular Polytopes By Coxeter
  • Matroid Theory
  • Model Theory 2nd edition (?)
  • Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel
  • Quantum Computing Since Democritus
  • Theory of Linear and Integer Programming
  • Sedra and Smith's microelectronic circuits
  • Analytic cominatorics
  • Haskell Programming from first principles (Allen & Moronuki)
  • Analytic Combinatorics
  • Naive Set Theory
  • Starlight [unreadable] student handbook

Actual Books

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

j2simpso's suggestions should be sorted

[note: do we want this section, with books about "Startup's early Days"?

  • Dreaming in Code
    • ISBN 978-1400082469
  • Founter's at Work: Stories of Startup's early Days
    • ISBN 978-1590597149
  • Metaprogramminging GPUs with SH
    • ISBN 978-1568812298
  • High Performance Computing
    • ISBN 978-1566923126
  • Critical Testing Processes: Plan, Prepare, Perform, Perfect
    • ISBN 978-0201748680
  • GREP pocket reference
    • ISBN 978-0596153601
  • Programming Embedded Systems
    • ISBN 978-0596009830
  • High Availability and Disaster Recovery
    • ISBN 978-3540244608
  • An Introduction to Mathematical Cryptography
    • ISBN 978-0387779930
  • Real Time Systems Design and Analysis
    • ISBN 978-0471228554
  • The Black Swan: The Impact of the Highly Improbable
    • ISBN 978-1400063512

Non-technical

  • How to Win Friends and Influence People
    • ISBN 978-0671027032
  • A Field Guide to Earthlings: An Autistic/Asperger View of Neurotypical Behavior
    • ISBN 978-0615426198
  • Natural Harvest - A Collection of Semen-Based Recipes
    • ISBN 1-4743-1461-5
  • Logicomix: An Epic Search for Truth
    • ISBN 978-0747597209

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

  • CSfoo: rebind CLRS
  • 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
  • CS365: Sipser, Introduction to the Theory of Computation SECOND EDITION
    • ISBN 0-534-95097-3
  • CS462 SHALLIT:SECOND COURSE IN FORMAL LANGUAGES & AUTOMATA THEOR
    • ISBN 9780521865722

Foundations/Field Surveys

  • Knuth, The Art of Computer Programming (Copies that aren't signed)
    • 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

Strict Theory

Programming Languages

  • Theory of
    • Pierce, Types and Programming Languages
      • ISBN 978-0262162098
  • C++
    • Bjarne Stroustrup, A Tour of C++
      • ISBN 978-0321958310
    • Andrei Alexandrescu, Modern C++ Design: Generic Programming and Design Patterns Applied
      • ISBN 978-0201704310
  • Scheme
    • Friedman, The Little Schemer - 4th Edition
      • ISBN 978-0262560993
    • Dybvig, The Scheme Programming Language, 3rd Edition
      • ISBN 978-0262541480
  • Haskell
    • Hudak, The Haskell School of Expression
      • ISBN 978-0521644082

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 Recommendation?

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