CSCWiki - User contributions [en]

Notes for Future Librarians

2017-03-22T15:46:16Z

Csfmurph: /*Made a note about how to deal with the donation we are receiving*/

= The Library system =

You can access this by typing "librarian" in the command line, or by selecting "Library" inside of [[ceo]]. It is completely independent of ceo, or any of its parts.

Its repository is in /users/git/public/library.git/

I hope that using the library system will be intuitive. If it is not, contact [mailto:fbauckho@uwaterloo.ca fbauckho]. Just try to avoid resizing your terminal while it is running.

==Library Upgrades==
As of the time of writing (Winter 2017) we are set to get donation of $1500 that can be used towards purchasing new books for the next two years. This comes from a man named Doug and it is a good idea to send him a thank you card thanking him for the books. This ensures that we are on good terms with him and can inspire him to continue in helping us upgrade the library. If you have questions about the process, contact [mailto:csfmurph@edu.uwaterloo.ca csfmurph] about the procedures. If you need more specific information about the donation and the procedures for it or you want to send a thank you to Doug, contact [mailto:c2harrington@uwaterloo.ca Candace Harrington] in MC 5228. I find that talking to Candace in person is the best because she is really nice and you get an immediate response.

== FAQ ==

=== Why can't you sign out books from inside the book browser? ===

The signout process works like this: You look at the first page of the book that is going to be signed out, figure out the "CSC id", and input it into the sign-out dialogue.

While for the purpose of figuring out the CSC id, you could easily bypass the looking-at-the-book part, this doesn't make sense, because in order to sign out a book, you need the book you are planning to sign out.

Similarly, when returning a book, you should have the book in your hands, so you can easily find out the CSC id.

= Things you should do every term =

* get added to the group "libcom", if you're new
* hunt down people with signed out books before they disappear forever (an example of this is what happened to one of our modern C books)

= Things that need to be done right now =

* The new books need to be stickered
* We should try to think of some rule of thumb about how expensive books have to be in order to get stickered
* We should think about some policy how many books people are allowed to sign out for which amount of time
* Contrary to how the Wishlist page looks, we *don't* need to get new books right now.
* We need to [[Book Pruning|throw away/donate/stash]] books as soon as possible. The proper procedure for this seems to be to announce a list of books that are going to disappear, and then to see if anybody objects, but I (fbauckho) have been too weak-willed to do that yet
* Speaking of books to get rid of, some guy (satalha) wanted one copy of The C Programming Language. He signed one out, so if we decide to donate it to him, we should notify him that he can have it, and otherwise, we should tell him to give it back. NOTE: This person no longer goes to UWaterloo so the chances of seeing this book again is very low
* There are some changes in the repository I made that should make the library system slightly better for the librarian. We should use Debian-Voodoo to install them, and then write how this works.

Books Wishlist

2017-02-16T16:24:43Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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
* Deep Learning: $94
** https://www.amazon.ca/Deep-Learning-Ian-Goodfellow/dp/0262035618
** ISBN 978-0262035613
* 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: $1244

'''With TAX''' (sum * 1.13): 1406
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.

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-16T16:01:06Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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
* Deep Learning: $94
** https://www.amazon.ca/Deep-Learning-Ian-Goodfellow/dp/0262035618
** ISBN 978-0262035613
* TCP/IP Illustrated, Volume 1: The Protocols (2nd Edition): $67
** https://www.amazon.ca/TCP-Illustrated-Protocols-Addison-Wesley-Professional/dp/0321336313/
** ISBN 978-0321336316
* TCP/IP Illustrated, Volume 2: The Implementation: $106
** https://www.amazon.ca/TCP-IP-Illustrated-Implementation-Vol/dp/020163354X/?_encoding=UTF8&pd_rd_i=020163354X&pd_rd_r=W009VQG3SMGVHB71C1EG&pd_rd_w=qoz7J&pd_rd_wg=zxbGp&psc=1
** ISBN 978-0201633542
* TCP/IP Illustrated, Volume 3: TCP for Transactions, HTTP, NNTP, and the UNIX Domain Protocols: $79
** https://www.amazon.ca/TCP-Illustrated-Transactions-Addison-Wesley-Professional/dp/0201634953/?_encoding=UTF8&pd_rd_i=0201634953&pd_rd_r=W009VQG3SMGVHB71C1EG&pd_rd_w=qoz7J&pd_rd_wg=zxbGp&psc=1
** ISBN 978-0201634952

The sum: $1400

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

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-16T15:43:32Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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
* Effective Javascript: $36
** https://www.amazon.ca/Effective-JavaScript-Specific-Harness-Power/dp/0321812182
** ISBN 978-0321812186
* 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
* Deep Learning: $94
** https://www.amazon.ca/Deep-Learning-Ian-Goodfellow/dp/0262035618
** ISBN: 978-0262035613

The sum: $1132

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-16T15:42:52Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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
* Effective Javascript: $36
** https://www.amazon.ca/Effective-JavaScript-Specific-Harness-Power/dp/0321812182
** ISBN 978-0321812186
* 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
* Deep Learning: $94
** https://www.amazon.ca/Deep-Learning-Ian-Goodfellow/dp/0262035618
** ISBN: 978-0262035613

The sum: $1038

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-13T04:13:07Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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
* Effective Javascript: $36
** https://www.amazon.ca/Effective-JavaScript-Specific-Harness-Power/dp/0321812182
** ISBN 978-0321812186
* 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

The sum: $1038

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-13T04:06:59Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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
* Effective Javascript: $36
** https://www.amazon.ca/Effective-JavaScript-Specific-Harness-Power/dp/0321812182
** ISBN 978-0321812186
* 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

The sum: $944

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-13T03:59:38Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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
* Effective Javascript: $36
** https://www.amazon.ca/Effective-JavaScript-Specific-Harness-Power/dp/0321812182
** ISBN 978-0321812186
* 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

The sum: $891

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-07T15:55:55Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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

The sum: $768

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-07T15:55:27Z

Csfmurph: /* Books we are going to buy with $1500 by csfmurph */

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
* Quantum Computing Since Democritus: $37
**http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
** ISBN 978-0521199568
*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

The sum: $768

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-07T15:34:09Z

Csfmurph: /* W17 Whiteboard Books */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus

The sum so far:

All hardcovers: $22

All paperbacks: $45

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $80

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-07T15:27:53Z

Csfmurph: /* W17 Whiteboard Books */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus

The sum so far:

All hardcovers: $22

All paperbacks: $45

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $80

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
** ISBN 978-0262162289
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-07T15:25:51Z

Csfmurph: /* Books we are going to buy with $1500 by some guy */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus

The sum so far:

All hardcovers: $22

All paperbacks: $45

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $80

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-06T17:28:34Z

Csfmurph: /* Programming Languages */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
* '''BOUGHT'''Mockingbird: $16 (used $12): http://www.amazon.com/Mock-Mockingbird-Puzzles-Raymond-Smullyan/dp/B00DIL4IZQ/ref=sr_1_1?s=books&ie=UTF8&qid=1456780814&sr=1-1&keywords=to+mock+a+mockingbird
* '''BOUGHT'''Cracking the code interview: $40: http://www.amazon.ca/Cracking-Coding-Interview-Programming-Questions/dp/0984782850/ref=sr_1_1?ie=UTF8&qid=1456780879&sr=8-1&keywords=cracking+the+code+interview
* '''BOUGHT'''Matroid Theory: $89 (Hardcover: $194): http://www.amazon.ca/Matroid-Theory-James-Oxley/dp/0199603391/ref=sr_1_1?s=books&ie=UTF8&qid=1456781109&sr=1-1&keywords=Matroid+Theory
* '''BOUGHT'''Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel: $135: http://www.amazon.ca/Polyhedral-Semidefinite-Programming-Combinatorial-Optimization/dp/0821833529/ref=sr_1_2?s=books&ie=UTF8&qid=1456781386&sr=1-2&keywords=Polyhedral+and+Semidefinite+Programming+Methods+in+Combinatorial+Optimization%2C+by+Levent+Tuncel
* '''BOUGHT'''Theory of Linear and Integer Programming: $146: http://www.amazon.ca/Theory-Integer-Programming-Alexander-Schrijver/dp/0471982326/ref=sr_1_1?s=books&ie=UTF8&qid=1456781503&sr=1-1&keywords=Theory+of+Linear+and+Integer+Programming
* '''BOUGHT'''Sedra and Smith's microelectronic circuits: Price range from $40 to $250 (no idea why): http://www.amazon.ca/Microelectronic-Circuits-Adel-Sedra/dp/0199339139/ref=sr_1_1?s=books&ie=UTF8&qid=1456781566&sr=1-1&keywords=Sedra+and+Smith%27s+microelectronic+circuits http://www.amazon.ca/Microelectronic-Circuits-Adel-S-Sedra/dp/0195142519/ref=sr_1_3?s=books&ie=UTF8&qid=1456781566&sr=1-3&keywords=Sedra+and+Smith%27s+microelectronic+circuits
* '''BOUGHT'''Analytic Combinatorics: $118 http://www.amazon.ca/Analytic-Combinatorics-Philippe-Flajolet/dp/0521898064/ref=sr_1_sc_1?s=books&ie=UTF8&qid=1456781737&sr=1-1-spell&keywords=Analytic+cominatorics
* '''BOUGHT'''Naive Set theory: $17 (Hardcover: $118): http://www.amazon.ca/Naive-Set-Theory-Paul-Halmos/dp/1614271313/ref=sr_1_1?s=books&ie=UTF8&qid=1456781830&sr=1-1&keywords=Naive+Set+Theory

The sum so far:

All hardcovers: $1249

All paperbacks: $678

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
'''BOUGHT'''* Linux Programming Interface: $63: http://www.amazon.com/Linux-Programming-Interface-System-Handbook/dp/1593272200/ref=sr_1_1?s=books&ie=UTF8&qid=1456782537&sr=1-1&keywords=linux+programming+interface
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $143

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*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 ==
* 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 ==
* 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 ==

* 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

[[Category:Library]]

Books Wishlist

2017-02-06T17:21:20Z

Csfmurph: /* Non-technical */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
* '''BOUGHT'''Mockingbird: $16 (used $12): http://www.amazon.com/Mock-Mockingbird-Puzzles-Raymond-Smullyan/dp/B00DIL4IZQ/ref=sr_1_1?s=books&ie=UTF8&qid=1456780814&sr=1-1&keywords=to+mock+a+mockingbird
* '''BOUGHT'''Cracking the code interview: $40: http://www.amazon.ca/Cracking-Coding-Interview-Programming-Questions/dp/0984782850/ref=sr_1_1?ie=UTF8&qid=1456780879&sr=8-1&keywords=cracking+the+code+interview
* '''BOUGHT'''Matroid Theory: $89 (Hardcover: $194): http://www.amazon.ca/Matroid-Theory-James-Oxley/dp/0199603391/ref=sr_1_1?s=books&ie=UTF8&qid=1456781109&sr=1-1&keywords=Matroid+Theory
* '''BOUGHT'''Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel: $135: http://www.amazon.ca/Polyhedral-Semidefinite-Programming-Combinatorial-Optimization/dp/0821833529/ref=sr_1_2?s=books&ie=UTF8&qid=1456781386&sr=1-2&keywords=Polyhedral+and+Semidefinite+Programming+Methods+in+Combinatorial+Optimization%2C+by+Levent+Tuncel
* '''BOUGHT'''Theory of Linear and Integer Programming: $146: http://www.amazon.ca/Theory-Integer-Programming-Alexander-Schrijver/dp/0471982326/ref=sr_1_1?s=books&ie=UTF8&qid=1456781503&sr=1-1&keywords=Theory+of+Linear+and+Integer+Programming
* '''BOUGHT'''Sedra and Smith's microelectronic circuits: Price range from $40 to $250 (no idea why): http://www.amazon.ca/Microelectronic-Circuits-Adel-Sedra/dp/0199339139/ref=sr_1_1?s=books&ie=UTF8&qid=1456781566&sr=1-1&keywords=Sedra+and+Smith%27s+microelectronic+circuits http://www.amazon.ca/Microelectronic-Circuits-Adel-S-Sedra/dp/0195142519/ref=sr_1_3?s=books&ie=UTF8&qid=1456781566&sr=1-3&keywords=Sedra+and+Smith%27s+microelectronic+circuits
* '''BOUGHT'''Analytic Combinatorics: $118 http://www.amazon.ca/Analytic-Combinatorics-Philippe-Flajolet/dp/0521898064/ref=sr_1_sc_1?s=books&ie=UTF8&qid=1456781737&sr=1-1-spell&keywords=Analytic+cominatorics
* '''BOUGHT'''Naive Set theory: $17 (Hardcover: $118): http://www.amazon.ca/Naive-Set-Theory-Paul-Halmos/dp/1614271313/ref=sr_1_1?s=books&ie=UTF8&qid=1456781830&sr=1-1&keywords=Naive+Set+Theory

The sum so far:

All hardcovers: $1249

All paperbacks: $678

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
'''BOUGHT'''* Linux Programming Interface: $63: http://www.amazon.com/Linux-Programming-Interface-System-Handbook/dp/1593272200/ref=sr_1_1?s=books&ie=UTF8&qid=1456782537&sr=1-1&keywords=linux+programming+interface
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $143

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*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 ==
* 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 ==
* 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 ==

* Theory of
** Friedman & Wand, Essentials of Programming Languages, 3rd Edition
*** ISBN 978-0262062794
** 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
** 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

= 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

[[Category:Library]]

Books Wishlist

2017-02-06T17:17:50Z

Csfmurph: /* Actual Books */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
* '''BOUGHT'''Mockingbird: $16 (used $12): http://www.amazon.com/Mock-Mockingbird-Puzzles-Raymond-Smullyan/dp/B00DIL4IZQ/ref=sr_1_1?s=books&ie=UTF8&qid=1456780814&sr=1-1&keywords=to+mock+a+mockingbird
* '''BOUGHT'''Cracking the code interview: $40: http://www.amazon.ca/Cracking-Coding-Interview-Programming-Questions/dp/0984782850/ref=sr_1_1?ie=UTF8&qid=1456780879&sr=8-1&keywords=cracking+the+code+interview
* '''BOUGHT'''Matroid Theory: $89 (Hardcover: $194): http://www.amazon.ca/Matroid-Theory-James-Oxley/dp/0199603391/ref=sr_1_1?s=books&ie=UTF8&qid=1456781109&sr=1-1&keywords=Matroid+Theory
* '''BOUGHT'''Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel: $135: http://www.amazon.ca/Polyhedral-Semidefinite-Programming-Combinatorial-Optimization/dp/0821833529/ref=sr_1_2?s=books&ie=UTF8&qid=1456781386&sr=1-2&keywords=Polyhedral+and+Semidefinite+Programming+Methods+in+Combinatorial+Optimization%2C+by+Levent+Tuncel
* '''BOUGHT'''Theory of Linear and Integer Programming: $146: http://www.amazon.ca/Theory-Integer-Programming-Alexander-Schrijver/dp/0471982326/ref=sr_1_1?s=books&ie=UTF8&qid=1456781503&sr=1-1&keywords=Theory+of+Linear+and+Integer+Programming
* '''BOUGHT'''Sedra and Smith's microelectronic circuits: Price range from $40 to $250 (no idea why): http://www.amazon.ca/Microelectronic-Circuits-Adel-Sedra/dp/0199339139/ref=sr_1_1?s=books&ie=UTF8&qid=1456781566&sr=1-1&keywords=Sedra+and+Smith%27s+microelectronic+circuits http://www.amazon.ca/Microelectronic-Circuits-Adel-S-Sedra/dp/0195142519/ref=sr_1_3?s=books&ie=UTF8&qid=1456781566&sr=1-3&keywords=Sedra+and+Smith%27s+microelectronic+circuits
* '''BOUGHT'''Analytic Combinatorics: $118 http://www.amazon.ca/Analytic-Combinatorics-Philippe-Flajolet/dp/0521898064/ref=sr_1_sc_1?s=books&ie=UTF8&qid=1456781737&sr=1-1-spell&keywords=Analytic+cominatorics
* '''BOUGHT'''Naive Set theory: $17 (Hardcover: $118): http://www.amazon.ca/Naive-Set-Theory-Paul-Halmos/dp/1614271313/ref=sr_1_1?s=books&ie=UTF8&qid=1456781830&sr=1-1&keywords=Naive+Set+Theory

The sum so far:

All hardcovers: $1249

All paperbacks: $678

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
'''BOUGHT'''* Linux Programming Interface: $63: http://www.amazon.com/Linux-Programming-Interface-System-Handbook/dp/1593272200/ref=sr_1_1?s=books&ie=UTF8&qid=1456782537&sr=1-1&keywords=linux+programming+interface
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $143

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*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 ==
* 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
* Mythical Man Month (20th Anniversary ed) (An older edition exists, so probably no?)
** ISBN 0-201-83595-9
* 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 ==
* 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 ==

* Theory of
** Friedman & Wand, Essentials of Programming Languages, 3rd Edition
*** ISBN 978-0262062794
** 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
** 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

= 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

[[Category:Library]]

Books Wishlist

2017-02-06T17:14:03Z

Csfmurph: /* Books we are going to buy with $1500 by some guy */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
* '''BOUGHT'''Mockingbird: $16 (used $12): http://www.amazon.com/Mock-Mockingbird-Puzzles-Raymond-Smullyan/dp/B00DIL4IZQ/ref=sr_1_1?s=books&ie=UTF8&qid=1456780814&sr=1-1&keywords=to+mock+a+mockingbird
* '''BOUGHT'''Cracking the code interview: $40: http://www.amazon.ca/Cracking-Coding-Interview-Programming-Questions/dp/0984782850/ref=sr_1_1?ie=UTF8&qid=1456780879&sr=8-1&keywords=cracking+the+code+interview
* '''BOUGHT'''Matroid Theory: $89 (Hardcover: $194): http://www.amazon.ca/Matroid-Theory-James-Oxley/dp/0199603391/ref=sr_1_1?s=books&ie=UTF8&qid=1456781109&sr=1-1&keywords=Matroid+Theory
* '''BOUGHT'''Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel: $135: http://www.amazon.ca/Polyhedral-Semidefinite-Programming-Combinatorial-Optimization/dp/0821833529/ref=sr_1_2?s=books&ie=UTF8&qid=1456781386&sr=1-2&keywords=Polyhedral+and+Semidefinite+Programming+Methods+in+Combinatorial+Optimization%2C+by+Levent+Tuncel
* '''BOUGHT'''Theory of Linear and Integer Programming: $146: http://www.amazon.ca/Theory-Integer-Programming-Alexander-Schrijver/dp/0471982326/ref=sr_1_1?s=books&ie=UTF8&qid=1456781503&sr=1-1&keywords=Theory+of+Linear+and+Integer+Programming
* '''BOUGHT'''Sedra and Smith's microelectronic circuits: Price range from $40 to $250 (no idea why): http://www.amazon.ca/Microelectronic-Circuits-Adel-Sedra/dp/0199339139/ref=sr_1_1?s=books&ie=UTF8&qid=1456781566&sr=1-1&keywords=Sedra+and+Smith%27s+microelectronic+circuits http://www.amazon.ca/Microelectronic-Circuits-Adel-S-Sedra/dp/0195142519/ref=sr_1_3?s=books&ie=UTF8&qid=1456781566&sr=1-3&keywords=Sedra+and+Smith%27s+microelectronic+circuits
* '''BOUGHT'''Analytic Combinatorics: $118 http://www.amazon.ca/Analytic-Combinatorics-Philippe-Flajolet/dp/0521898064/ref=sr_1_sc_1?s=books&ie=UTF8&qid=1456781737&sr=1-1-spell&keywords=Analytic+cominatorics
* '''BOUGHT'''Naive Set theory: $17 (Hardcover: $118): http://www.amazon.ca/Naive-Set-Theory-Paul-Halmos/dp/1614271313/ref=sr_1_1?s=books&ie=UTF8&qid=1456781830&sr=1-1&keywords=Naive+Set+Theory

The sum so far:

All hardcovers: $1249

All paperbacks: $678

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
'''BOUGHT'''* Linux Programming Interface: $63: http://www.amazon.com/Linux-Programming-Interface-System-Handbook/dp/1593272200/ref=sr_1_1?s=books&ie=UTF8&qid=1456782537&sr=1-1&keywords=linux+programming+interface
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $143

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*Thinking as Computation
** http://mitpress.mit.edu/books/thinking-computation
*The Linux Programming Interface
** ISBN 978-1-59327-220-3
* 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 ==
* 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
* Mythical Man Month (20th Anniversary ed) (An older edition exists, so probably no?)
** ISBN 0-201-83595-9
* 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 ==
* 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 ==

* Theory of
** Friedman & Wand, Essentials of Programming Languages, 3rd Edition
*** ISBN 978-0262062794
** 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
** 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

= 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

[[Category:Library]]

Books Wishlist

2017-02-06T17:09:37Z

Csfmurph: /* Books we are going to buy with $1500 by some guy */

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 some guy =

* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
* '''BOUGHT'''Mockingbird: $16 (used $12): http://www.amazon.com/Mock-Mockingbird-Puzzles-Raymond-Smullyan/dp/B00DIL4IZQ/ref=sr_1_1?s=books&ie=UTF8&qid=1456780814&sr=1-1&keywords=to+mock+a+mockingbird
* '''BOUGHT'''Cracking the code interview: $40: http://www.amazon.ca/Cracking-Coding-Interview-Programming-Questions/dp/0984782850/ref=sr_1_1?ie=UTF8&qid=1456780879&sr=8-1&keywords=cracking+the+code+interview
* '''BOUGHT'''Matroid Theory: $89 (Hardcover: $194): http://www.amazon.ca/Matroid-Theory-James-Oxley/dp/0199603391/ref=sr_1_1?s=books&ie=UTF8&qid=1456781109&sr=1-1&keywords=Matroid+Theory
* '''BOUGHT'''Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel: $135: http://www.amazon.ca/Polyhedral-Semidefinite-Programming-Combinatorial-Optimization/dp/0821833529/ref=sr_1_2?s=books&ie=UTF8&qid=1456781386&sr=1-2&keywords=Polyhedral+and+Semidefinite+Programming+Methods+in+Combinatorial+Optimization%2C+by+Levent+Tuncel
* '''BOUGHT'''Theory of Linear and Integer Programming: $146: http://www.amazon.ca/Theory-Integer-Programming-Alexander-Schrijver/dp/0471982326/ref=sr_1_1?s=books&ie=UTF8&qid=1456781503&sr=1-1&keywords=Theory+of+Linear+and+Integer+Programming
* '''BOUGHT'''Sedra and Smith's microelectronic circuits: Price range from $40 to $250 (no idea why): http://www.amazon.ca/Microelectronic-Circuits-Adel-Sedra/dp/0199339139/ref=sr_1_1?s=books&ie=UTF8&qid=1456781566&sr=1-1&keywords=Sedra+and+Smith%27s+microelectronic+circuits http://www.amazon.ca/Microelectronic-Circuits-Adel-S-Sedra/dp/0195142519/ref=sr_1_3?s=books&ie=UTF8&qid=1456781566&sr=1-3&keywords=Sedra+and+Smith%27s+microelectronic+circuits
* '''BOUGHT'''Analytic Combinatorics: $118 http://www.amazon.ca/Analytic-Combinatorics-Philippe-Flajolet/dp/0521898064/ref=sr_1_sc_1?s=books&ie=UTF8&qid=1456781737&sr=1-1-spell&keywords=Analytic+cominatorics
* '''BOUGHT'''Naive Set theory: $17 (Hardcover: $118): http://www.amazon.ca/Naive-Set-Theory-Paul-Halmos/dp/1614271313/ref=sr_1_1?s=books&ie=UTF8&qid=1456781830&sr=1-1&keywords=Naive+Set+Theory

The sum so far:

All hardcovers: $1249

All paperbacks: $678

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
* Linux Programming Interface: $63: http://www.amazon.com/Linux-Programming-Interface-System-Handbook/dp/1593272200/ref=sr_1_1?s=books&ie=UTF8&qid=1456782537&sr=1-1&keywords=linux+programming+interface
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $143

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*Thinking as Computation
** http://mitpress.mit.edu/books/thinking-computation
*The Linux Programming Interface
** ISBN 978-1-59327-220-3
* 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 ==
* 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
* Mythical Man Month (20th Anniversary ed) (An older edition exists, so probably no?)
** ISBN 0-201-83595-9
* 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 ==
* 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 ==

* Theory of
** Friedman & Wand, Essentials of Programming Languages, 3rd Edition
*** ISBN 978-0262062794
** 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
** 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

= 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

[[Category:Library]]

Books Wishlist

2017-02-06T17:03:58Z

Csfmurph: /* Added Winter 2107 Whiteboard books*/

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 some guy =

* Mockingbird: $16 (used $12): http://www.amazon.com/Mock-Mockingbird-Puzzles-Raymond-Smullyan/dp/B00DIL4IZQ/ref=sr_1_1?s=books&ie=UTF8&qid=1456780814&sr=1-1&keywords=to+mock+a+mockingbird
* Cracking the code interview: $40: http://www.amazon.ca/Cracking-Coding-Interview-Programming-Questions/dp/0984782850/ref=sr_1_1?ie=UTF8&qid=1456780879&sr=8-1&keywords=cracking+the+code+interview
* Regular Polytopes By Coxeter: $22 (Hardcover: $187): 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
* Matroid Theory: $89 (Hardcover: $194): http://www.amazon.ca/Matroid-Theory-James-Oxley/dp/0199603391/ref=sr_1_1?s=books&ie=UTF8&qid=1456781109&sr=1-1&keywords=Matroid+Theory
* Polyhedral and Semidefinite Programming Methods in Combinatorial Optimization, by Levent Tuncel: $135: http://www.amazon.ca/Polyhedral-Semidefinite-Programming-Combinatorial-Optimization/dp/0821833529/ref=sr_1_2?s=books&ie=UTF8&qid=1456781386&sr=1-2&keywords=Polyhedral+and+Semidefinite+Programming+Methods+in+Combinatorial+Optimization%2C+by+Levent+Tuncel
* Quantum Computing Since Democritus: $45: http://www.amazon.ca/Quantum-Computing-since-Democritus-Aaronson/dp/0521199565/ref=sr_1_1?s=books&ie=UTF8&qid=1456781451&sr=1-1&keywords=Quantum+Computing+Since+Democritus
* Theory of Linear and Integer Programming: $146: http://www.amazon.ca/Theory-Integer-Programming-Alexander-Schrijver/dp/0471982326/ref=sr_1_1?s=books&ie=UTF8&qid=1456781503&sr=1-1&keywords=Theory+of+Linear+and+Integer+Programming
* Sedra and Smith's microelectronic circuits: Price range from $40 to $250 (no idea why): http://www.amazon.ca/Microelectronic-Circuits-Adel-Sedra/dp/0199339139/ref=sr_1_1?s=books&ie=UTF8&qid=1456781566&sr=1-1&keywords=Sedra+and+Smith%27s+microelectronic+circuits http://www.amazon.ca/Microelectronic-Circuits-Adel-S-Sedra/dp/0195142519/ref=sr_1_3?s=books&ie=UTF8&qid=1456781566&sr=1-3&keywords=Sedra+and+Smith%27s+microelectronic+circuits
* Analytic Combinatorics: $118 http://www.amazon.ca/Analytic-Combinatorics-Philippe-Flajolet/dp/0521898064/ref=sr_1_sc_1?s=books&ie=UTF8&qid=1456781737&sr=1-1-spell&keywords=Analytic+cominatorics
* Naive Set theory: $17 (Hardcover: $118): http://www.amazon.ca/Naive-Set-Theory-Paul-Halmos/dp/1614271313/ref=sr_1_1?s=books&ie=UTF8&qid=1456781830&sr=1-1&keywords=Naive+Set+Theory

The sum so far:

All hardcovers: $1249

All paperbacks: $678

Actual Books:
* Thinking as Computation: $46: http://www.amazon.com/Thinking-as-Computation-First-Course/dp/0262016990/ref=sr_1_1?s=books&ie=UTF8&qid=1456782446&sr=1-1&keywords=thinking+as+computation
* Linux Programming Interface: $63: http://www.amazon.com/Linux-Programming-Interface-System-Handbook/dp/1593272200/ref=sr_1_1?s=books&ie=UTF8&qid=1456782537&sr=1-1&keywords=linux+programming+interface
* Shellcoders Handbook: $34: http://www.amazon.com/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

Sum: $143

Other Books:
* A discipline of programming: $68: http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X/ref=sr_1_1?ie=UTF8&qid=1457033480&sr=8-1
* Algorithms + Data Structures: $58: http://www.amazon.com/gp/offer-listing/0130224189/ref=dp_olp_new?ie=UTF8&condition=new

Sum: $126

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

= W17 Whiteboard Books =
* Advanced Topics in Types and Programming Languages
* OS in 3 easy steps
* Realm of Racket
* Let over Lambda
* Holden's Spark Book
* A tour of C++
* Graph Theory 4th Ed. (http://diestel-graph-theory.com/)
* Computers and Intractability
* Quantum Computing Since Democritus

= 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.

*Thinking as Computation
** http://mitpress.mit.edu/books/thinking-computation
*The Linux Programming Interface
** ISBN 978-1-59327-220-3
* 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 ==
* 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
* Mythical Man Month (20th Anniversary ed) (An older edition exists, so probably no?)
** ISBN 0-201-83595-9
* 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 ==
* 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 ==

* Theory of
** Friedman & Wand, Essentials of Programming Languages, 3rd Edition
*** ISBN 978-0262062794
** 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
** 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

= 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

[[Category:Library]]

Notes for Future Librarians

2017-01-22T23:02:30Z

Csfmurph: /* Things you should do every term */

= The Library system =

You can access this by typing "librarian" in the command line, or by selecting "Library" inside of [[ceo]]. It is completely independent of ceo, or any of its parts.

Its repository is in /users/git/public/library.git/

I hope that using the library system will be intuitive. If it is not, contact [mailto:fbauckho@uwaterloo.ca fbauckho]. Just try to avoid resizing your terminal while it is running.

== FAQ ==

=== Why can't you sign out books from inside the book browser? ===

The signout process works like this: You look at the first page of the book that is going to be signed out, figure out the "CSC id", and input it into the sign-out dialogue.

While for the purpose of figuring out the CSC id, you could easily bypass the looking-at-the-book part, this doesn't make sense, because in order to sign out a book, you need the book you are planning to sign out.

Similarly, when returning a book, you should have the book in your hands, so you can easily find out the CSC id.

= Things you should do every term =

* get added to the group "libcom", if you're new
* hunt down people with signed out books before they disappear forever (an example of this is what happened to one of our modern C books)

= Things that need to be done right now =

* The new books need to be stickered
* We should try to think of some rule of thumb about how expensive books have to be in order to get stickered
* We should think about some policy how many books people are allowed to sign out for which amount of time
* Contrary to how the Wishlist page looks, we *don't* need to get new books right now.
* We need to [[Book Pruning|throw away/donate/stash]] books as soon as possible. The proper procedure for this seems to be to announce a list of books that are going to disappear, and then to see if anybody objects, but I (fbauckho) have been too weak-willed to do that yet
* Speaking of books to get rid of, some guy (satalha) wanted one copy of The C Programming Language. He signed one out, so if we decide to donate it to him, we should notify him that he can have it, and otherwise, we should tell him to give it back. NOTE: This person no longer goes to UWaterloo so the chances of seeing this book again is very low
* There are some changes in the repository I made that should make the library system slightly better for the librarian. We should use Debian-Voodoo to install them, and then write how this works.

Notes for Future Librarians

2017-01-22T23:02:11Z

Csfmurph: /* Things you should do every term */

= The Library system =

You can access this by typing "librarian" in the command line, or by selecting "Library" inside of [[ceo]]. It is completely independent of ceo, or any of its parts.

Its repository is in /users/git/public/library.git/

I hope that using the library system will be intuitive. If it is not, contact [mailto:fbauckho@uwaterloo.ca fbauckho]. Just try to avoid resizing your terminal while it is running.

== FAQ ==

=== Why can't you sign out books from inside the book browser? ===

The signout process works like this: You look at the first page of the book that is going to be signed out, figure out the "CSC id", and input it into the sign-out dialogue.

While for the purpose of figuring out the CSC id, you could easily bypass the looking-at-the-book part, this doesn't make sense, because in order to sign out a book, you need the book you are planning to sign out.

Similarly, when returning a book, you should have the book in your hands, so you can easily find out the CSC id.

= Things you should do every term =

* get added to the group "libcom", if you're new
* hunt down people with signed out books before they disappear forever (an example of this is what happened to one of out modern C books)

= Things that need to be done right now =

* The new books need to be stickered
* We should try to think of some rule of thumb about how expensive books have to be in order to get stickered
* We should think about some policy how many books people are allowed to sign out for which amount of time
* Contrary to how the Wishlist page looks, we *don't* need to get new books right now.
* We need to [[Book Pruning|throw away/donate/stash]] books as soon as possible. The proper procedure for this seems to be to announce a list of books that are going to disappear, and then to see if anybody objects, but I (fbauckho) have been too weak-willed to do that yet
* Speaking of books to get rid of, some guy (satalha) wanted one copy of The C Programming Language. He signed one out, so if we decide to donate it to him, we should notify him that he can have it, and otherwise, we should tell him to give it back. NOTE: This person no longer goes to UWaterloo so the chances of seeing this book again is very low
* There are some changes in the repository I made that should make the library system slightly better for the librarian. We should use Debian-Voodoo to install them, and then write how this works.

Notes for Future Librarians

2017-01-22T23:01:18Z

Csfmurph: /* Things that need to be done right now */

= The Library system =

You can access this by typing "librarian" in the command line, or by selecting "Library" inside of [[ceo]]. It is completely independent of ceo, or any of its parts.

Its repository is in /users/git/public/library.git/

I hope that using the library system will be intuitive. If it is not, contact [mailto:fbauckho@uwaterloo.ca fbauckho]. Just try to avoid resizing your terminal while it is running.

== FAQ ==

=== Why can't you sign out books from inside the book browser? ===

The signout process works like this: You look at the first page of the book that is going to be signed out, figure out the "CSC id", and input it into the sign-out dialogue.

While for the purpose of figuring out the CSC id, you could easily bypass the looking-at-the-book part, this doesn't make sense, because in order to sign out a book, you need the book you are planning to sign out.

Similarly, when returning a book, you should have the book in your hands, so you can easily find out the CSC id.

= Things you should do every term =

* get added to the group "libcom", if you're new
* hunt down people with signed out books before they disappear forever

= Things that need to be done right now =

* The new books need to be stickered
* We should try to think of some rule of thumb about how expensive books have to be in order to get stickered
* We should think about some policy how many books people are allowed to sign out for which amount of time
* Contrary to how the Wishlist page looks, we *don't* need to get new books right now.
* We need to [[Book Pruning|throw away/donate/stash]] books as soon as possible. The proper procedure for this seems to be to announce a list of books that are going to disappear, and then to see if anybody objects, but I (fbauckho) have been too weak-willed to do that yet
* Speaking of books to get rid of, some guy (satalha) wanted one copy of The C Programming Language. He signed one out, so if we decide to donate it to him, we should notify him that he can have it, and otherwise, we should tell him to give it back. NOTE: This person no longer goes to UWaterloo so the chances of seeing this book again is very low
* There are some changes in the repository I made that should make the library system slightly better for the librarian. We should use Debian-Voodoo to install them, and then write how this works.