CSCWiki - User contributions [en]

Talks Guide

2017-11-21T21:21:44Z

Fbauckho: Update info on AV

This document aims to provide a comprehensive list of just how to run a CSC talk from start to finish. Try to keep sections orthogonal, so that a different person could do each part knowing only that the previous part was completed correctly. This will probably not be the case for the first few drafts, but it is a good goal. Ideally the same person will do all the correspondence with the speaker, sections that have someone talking to the speaker are marked with a *. The sections are roughly in order of doing things, with earlier sections usually done before later ones.

= Finding a Speaker* =

There are many ways to do this: [[Talks]] has a list of cool people. You can expand it by asking club members, professors, and watching various tech news sites. Ask the current membership, progcom, and faculty advisor what they think and make a choice. This is part of the fun of putting on talks, you get to choose who to invite. Send out a few at once as not everyone can come when invited, and don't be discouraged if you get a No.

In the posters git repository there is club letterhead, use this to create a nice snail mail invitation letter, and follow through with an e-mail about a month later to make sure the letter was received. Letters can be sent from MathSoc, put a natural log stamp in the lower left corner and place it in the outbox, postage will be handled. Save a copy of your letter in the speaker correspondence folder in FC1.

When you get a reply from the speaker, put it in the speaker correspondence folder with the initial send out. If they said yes, create a temporary folder with the speaker's name on it for arranging talk details and a copy of the reply there as well, as it probably has details about the date. Work with the speaker to get rough dates set for travel and talk, put these in the folder with the stuff.

At this time you should also try to get tentative titles and abstracts, place them in the talk folder.

= Obtaining Funding =

Depending on who you're applying to for funds this can be done before or after a speaker is found. MEF likes to know who and when, SCS will give you vague funding as will MathSoc. Consult the various guides for obtaining funding. Be sure to budget for transport, lodging, possibly a gift, and food for your speaker as well as venue costs: recording (if we're having someone else do it), booking fees (if any), refreshments after (if any), AV fees (for AV gear if we have to pay it); and publicity costs, FedS poster runs, posters, banners, ads, etc. Be thorough in your budgeting, and be generous, you should be asking for a maximum, not an expectation. Place a copy of the budget in the relevant talk folder so everyone else working on the talk knows what is available and what their limits are.

Be sure to budget for any speaker's fee or honorarium a speaker may require.

A very good resource for obtaining funding from is the SCS out-of-town speaker fund. This fund is shared with WiCS, and is added to on a yearly basis. Before booking a speaker and planning to obtain funding from here, make sure to meet with WiCS to make sure it is possible to use this fund. Then, meet with SCS to begin the process. In F2015 our contact for the speaker fund was Anne Turnbull.

= Booking Travel* =

If the speaker has asked us to book travel for them and has given good times book the travel and pay for it through the relevant method There are university travel reimbursement forms that we can use to get paid back when dealing with people who aren't MathSoc. Try to just have one for the entire talk and keep it in the folder. When working with MathSoc have a MathSoc form in the folder. Print receipts and confirmation information and place it in the folder and send it along to the speaker. If the speaker is booking their own travel this section is irrelevant.

= Booking Lodging* =

If the speaker has asked us to book lodging for them make sure we can meet their requirements (and have budgeted appropriately, request more money if this is not the case) and make the reservation, put receipts in the folder, add it to the expense form (or start it, see previous) and send the information to the speaker.

= Booking Transport* =

The speaker will need to get around while in Waterloo. You can find someone with a car, a car service, have them cab it, or get them a rental. Make sure you've budgeted appropriately, make note of the arrangement in the folder, and inform the speaker. Also make necessary notes on the expense form (see previous).

You will also need to go to ICR and get a temporary parking pass for the relevant times. This can be obtained ahead of time and should be placed in the talk's folder.

= Booking Venue =

There are many places on campus to host a talk. You should try to estimate the size of your audience and book appropriately, well in advance, at least 3 weeks, some places require more.

=== Large theatres ===

There are the Humanities Theatre and Theatre of the Arts, which seat 721 and 504 respectively and can be booked by filing a Feds event form. By booking through Feds it seems you will not have to pay for booking a basic theatre setup. You can work with them to arrange various things like podiums, props, spotlight work, make sure they can meet your speaker's needs.

=== Classrooms ===

Donna Schell [mailto:dschell@uwaterloo.ca dschell@uwaterloo.ca] is the administrator in charge of booking most mainline classrooms on campus. E-mail or call her to book things. She can get you anything from an Arts Lecture hall (~300) or DC Lecture hall (~200) down to MC4062 (20). She is also very helpful about who to talk to if she doesn't control what you need.

=== SLC ===

SLC bookings go through the Turnkey desk who can be contacted [http://www.studentservices.uwaterloo.ca/slc/contactus.htm here] if you want the great hall or the multipurpose room or something.

=== MathSoc Space ===

MathSoc has a Comfy Lounge, the CnD Lounge, and the Balcony which can be booked by talking to them in their Exec office. The Comfy can be booked 6pm-2am M-F and 8am-2am Sat/Sun, or other times if the MathSoc Exec approves. Watch out for MathSoc Movie and Games nights, these tend to take the comfy on Wednesday and Thursday nights. The CnD lounge has the same weekend hours and CnD close to 2am during the week, and again MathSoc Exec can override. At present the Balcony is closed, however a booking policy should show up soon. Check MathSoc policy 24 for more details.

=== MC 5th Floor ===

These bookings go through the Dean's Secretary usually at x33707 though you should check first. MC5158 and MC5136B are particularly nice looking rooms.

=== ICR Rooms ===

We can't actually book these (sad). Talk to our Faculty advisor to book them, these are best booked far in advance. The same process applies for the fishbowl, if you want a reception afterwards.

=== Labs ===

Call Cheryl at x32191 if you want to book CSCF Labs in MC. Have the room number ready, as she doesn't have a list of what labs are what. For reference: MC2038 is the big Unix Lab by the loading dock, MC3003 is the Digimon lab (big Mac lab). If you want a smaller one just check.

= Publicity =

See [[Publicity Guide]] for how to publicize events in general. Use the talk folder to hold draft posters, photocopy them and place them in the poster box to send them out. You should really read the publicity guide though, theres a lot more than just posters.

= Arrange Refreshments =

The Math CnD can cater things at somewhat reasonable rates if you would like to take a traditional tack and serve tea and doughnuts at talks. They require booking in advance, talk to the CnD manager to get a form. Other options are to arrange pizza or stuff from Timmies. Whatever you do make appropriate note in the talk folder and save a copy of the request/invoice/receipt there.

= Preparing AV =

[https://uwaterloo.ca/information-systems-technology/services/av-equipment-loans AV] can record talks, they also have keys to the podium for projectors and other AV equipment that is useful. Anything needed from them should be booked two weeks in advanced, and planned for so that there is budget. MathSoc is another fine provider of AV equipment. We also have some of our own AV gear.

== Talk Recording ==

Before going through hoops make sure the speaker consents to a recording. Most do, but its not only polite to ask, legally you have to.

To book a talk recording call Media Production. They can be kind of hard to work with at times but they produce good results ish? Recording costs about $30+materials, and you can get the results as a DVD or on miniDV.

Alternately we have a camera, you can record the talk yourself. It lives in the file drawer near the safe, with auxiliary materials in FC2 and a tripod on the gear shelf by MathSoc. Part of the auxiliary materials is a wireless mic, have the speaker wear it and hook it up to the camera. Make sure it has fresh batteries, and if you can hook the camera up to an outlet for the talk. Try to get the speaker and the slides (DC1302 is particularly good for this) and check the white balance and lighting before hand. Set up about ten minutes before the talk to get everything squared away with the speaker. Bring extra tape just in case, and be sure the tape is rewound.

== Presentation Equipment ==

Projectors are in classrooms under the control of AV, we can book a key from them through our faculty advisor, talk to them about this. Also talk to the faculty advisor about getting access to the projectors in ICR rooms. Of the 5th floor rooms only MC5158 has a projector, but it is freely available. If you're in a theatre talk to the stage manager, they'll take care of it. If for some reason a room doesn't have a projector one can be booked from MathSoc. For other AV gear talk to AV as we don't use it often and don't really know where to get it. Another option is FedS but this has not been researched.

= Find a Photographer =

While we haven't been doing this it would be nice to have photographs from the talks, of the audience, of the exec with the speaker, etc. beyond just stills from the camera that was rolling during the talk. Find someone to take these pictures and make sure they'll be there.

= Holding the Talk* =

This is where all the preparation comes together. If you followed all the previous this part should be easy. The person generally in charge of the talk (who is usually also the person talking to the speaker, but equally usually the veep) should meet the speaker (if they haven't been met already) and make sure they're around a half hour before hand or so. Get to the room as early as the booking allows and set up. Whoever is handling AV should either make sure the UWAV person has everything they need to record or set up the camera and check it out with the speaker. Make sure the speaker's AV presentation needs are tended to. Check with the refreshments person to ensure they will arrive when you want them to. Give the crowd time to settle, and when they have introduce the speaker. Enjoy the talk. After the speaker is done applaud, then stand up and thank them for their work, give them a gift if you have one. Offer the audience refreshments and invite them to informal discussion after the talk with the speaker (either in the same room or in some lobby type place, depending on size). Invite the speaker out to dinner if you have not already (this is after the informal discussion). Ensure the speaker's expenses have been tended to. Get a photo with the exec and the speaker. Clean up the room and lock things.

= Aftermath =

Once a talk is over things aren't done. Equipment needs to be returned, accounts settled, video encoded and uploaded, etc.

== AV ==

First, return any borrowed equipment/keys. If the talk has been recorded, follow [[Talk Archive]] and [[Talk Publication]] to archive and publicize the talk. If you put it on the website advertise it on Slashdot, Reddit, etc. whatever is popular these days. We can usually get to the front page and get all sorts of epic press.

== Settling Accounts ==

Make sure that people have been paid back, and that money has been collected from financiers. If you tracked things well in the talk folder it should be one form that the Treasurer can take and deal with, and file away.

== Archival ==

In addition to video archive make sure that all the steps of [[Talk Archive]] are followed to create an archive entry for the talk.

== Settling with the speaker* ==

Send them a letter of thanks on letterhead. Remind them that we would enjoy their presence again if they would like to return. Ask them if they would like a copy of our archive entry and send it if they ask for it.

[[Category:Talks]]
[[Category:Guides]]

Library Project

2016-04-13T22:50:24Z

Fbauckho: Added link to Notes for Future Librarians

See also: [[Notes for Future Librarians]]

== Objectives ==
Our club library is pretty impressive, for 1980. We should seriously consider changing this to the present. Content decisions seem to generally be made by strongly opinionated individuals whereas we should be focused on providing resources for anyone on campus who is interested in computer science.
* Update and improve library content.
* Set up some method of keeping the library current in the future.
* Re-evaluate the purpose of our library.

== Books Wishlist ==
Split to [[Books Wishlist]]

== Pruning the Library ==
Split to [[Book Pruning]]

== Guidelines for Library Funding ==
In the past, our budgets have failed to focus much attention to the library,
even though our textbooks keeping getting older and less relevant, and courses
and frontiers in Computer Science evolve. It is a shame that we don't have a book
on multi-core programming, or artificial intelligence! The following guideline
provides a detailed strategy for budgeting for books in the future :

'''This guideline is likely high, because most undergrad courses are moving towards printed course notes rather than textbooks.'''

*Did you know that every year approximately 20% of the courses in [http://www.cs.uwaterloo.ca/ SCS] change their books & edition?
This equates to something like $1000 of new material per year. As a result :
**We need to raise at least $1,000 annually to keep up with the material used to cover courses in SCS
**We will need to raise most of it during the Fall & Winter terms since :
***First offerings of courses occur in the Fall/Winter term each year and that is when the new textbooks arrive
***Historically we get higher memberships and people on campus so more funding
*Did you know that CS is a constantly changing field?
**New fields within CS are discovered every year
**New technologies and paradigms (e.g. multi-core programming) occur every 5 to 10 years?
**New knowledge is discovered in the field that replaces our older (less accurate) knowledge?
We therefore need to allocate roughly $1,500 per year to have a library that accurately reflects the current
and state of the art of computer science. To say that our library is not state of the art in CS is an extreme
under-statement. This funding could be equally spread out to $500 per term from mathsoc.

Currently our library is very much outdated and does not have textbooks that reflect the courses that CS students are
currently taking. From my estimate we need approximately $5,000 to have an up to date CS library. Therefore for the immediate strategy we need to get at least $1,500 per term from Mathsoc/MEF to allow our library a chance at staying current with the department's offerings. Therefore we should try to budget in $2,000 for Fall,Winter and Spring to get our library updated to the CS courses as well as to cover some of the frontiers and state of the art in computing that will serve our library into the future.

A great deal of discussion has been spent talking about our library equipment and possible hardware (barcode upgrades for instance). However I don't think it would be responsible for us to look at these areas and especially to budget these improvements in if we don't have a vastly updated library.

== Fixing the Library ==
A statement :
The only way to get the library fixed is through terms of growing and pruning.
As mentioned above, we need to grow our library to reflect the courses offered in SCS,
as well as to cover the current and state of the art in CS.

At the same time it is important that we prune down our library to contain relevant and
updated material. There is no point in having a cluttered library that makes it hard to
find reference material because we must hold on to books that are 20/30+ years old. We
don't need to have books on APL/360 programming, and having these old unnecessarry books
will pollute our library with irrelevance and outdatedness.

The only way the library can be fixed is to find the solutions to the direct problems in our
library. That is rather than worrying about the irrelevant technical details of the library system,
we need to take a look at our inventory (that is our books) and see what needs growing and pruning.
We can build the technical layers once we have built the paper layers (that is the physical books have
been purchased or have been planned to be purchased). It will take courage and will to follow
this procedure since we will have to let go of things that need letting go.
== Proposed Library Update Plan ==
One of the problems in keeping any library relevant is to ensure that reference material
is up to date and current with the area of study in question. This is especially true in
the area of computer science and technology where ideas change fast. The following are some
suggested considerations which could aid in keeping our library up to date now and into the
future.
* Safari Bookshelf Subscription
Safari Bookshelf is a online web service that allows you to read any O'Reilly book for a
subscription fee (usually around $40/month). This service will give the CSC an excellent
online library resource, where members can login and view all of the latest O'Reilly books
including those yet to be published. Access control would be a concern which would need
to be addressed in using such a system, however the concept of having an electronic resource
of continually up to date reference material is tempting.
* What are the new technologies and ideas in computer science?
This is the question that we should be asking ourselves at least at the beginning of the term
to determine what new books need to be purchased to fill the reference gap that builds going from
term to term. We should have a firm commitment of purchasing at least 10 reference books per term
to ensure that we are getting the breadth and depth requirements of having a successful CS library,
especially when it is common for dozens of new CS books to be released every term.
* What are the official CS course textbooks?
The CSC should have an up to date library of all of the required textbooks for all of the CS courses
offered at the University. This will allow our members to quickly access their course reference materials
should they ever leave their books at home, or need to look at the book desperately for an assignment that
is coming due soon. The CSC be a source of reference for CS students who need the references that drive
many of their CS courses.
* What books are getting old?
** How relevant is the book's content today?
** Has the book gone to a new edition?
** Have their been fundamental changes in the topic which are not reflected in the current book?
** How popular is the book? (This can be determined by how many times it has been checked out from the library system)
** Does the material fill a large gap in our reference material?
== Library Accessories ==
There has also been some talk for suggested accessories or tools for our library system. The
following is the current list of such accessories and reasons behind getting such accessories.
* Magstripe Member Cards
Each CSC member could have a magstripe member card which would allow them to check-in and checkout
books by swiping their card at a swiper and then scanning the book in question. This could speed
up the check-in/check-out times since they do not need to enter information into the system, but
rather scan their cards. The magstripe cards could later be extended with CEO to allow term renewal
via card swipe, as well as other value added features.
* Wireless barcode scanner.
The wireless barcode scanner will allow us to go up to the books and scan them in, rather than
having to move the books over to the barcode scanner to have them scanned. This will allow for
a degree of more freedom when scanning in books (especially when we receive the stack of new
books)
* RFID tags
When we receive new books, RFID tags encoded with book information is attached to each book.
Whenever, someone checks-in/checks out books, all you need to do is wave the book in front of a scanner
without having to locate the barcode, which could speed up the process of checking in and out books

[[Category:Library]]
[[Category:Projects]]

Notes for Future Librarians

2016-04-13T22:47:39Z

Fbauckho: Created this page. WoooOOOooOoooOOOOoooooo

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

2016-03-03T19:37:43Z

Fbauckho: /* 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 =

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

= 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

2016-02-29T21:52:15Z

Fbauckho: 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 =

* 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

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

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

Book Pruning

2016-02-09T23:57:48Z

Fbauckho:

As of W2016, the shelves are overflowing with books again. This page is for listing suggestions on how we could change that.

If you have any suggestions, email librarian@csclub.uwaterloo.ca.

== Books to prune ==

=== Murphy's suggestions ===

Murphy was in the office, came up with a suggested list of books we can get rid of. Below:

* powerpc programming/architecture, we don't do things on powerpc
* Practical UML statecharts in C/C++
* Animation: Master 2002
* We have at least 4 copies of "the C programming language", we can get rid of some
* Java 1.3 in a Nutshell, we don't need that
* VRML
* Frame Relays
* OS 2.1 programming book
* Books on Modula 2/3
* Numerical methods, Metafont book, Developing user Interfaces
* Calculus textbook on the right shelf, 5e is old
* any old coursenotes for courses that aren't being offered or are old
* we have two copies of principles of computer science
* two copies of elementary numerical analysis
* two copies of intro logic and sets for computer scientists
* numerical recipes in C should be replaced with 2e or not at all

== Possibilities to store books elsewhere ==

TODO: Ask Chris

[[Category:Library]]

Book Pruning

2016-02-07T00:46:10Z

Fbauckho: Created page with "As of W2016, the shelves are overflowing with books again. This page is for listing suggestions on how we could change that. If you have any suggestions, email librarian@cscl..."

Library Project

2016-02-07T00:41:42Z

Fbauckho: /* Objectives */

== Existing Solution ==
There is a menu entry in [[ceo]] for the library. Do not use this for library stuff.

In Fall 2013, a new database and library interface is being implemented to make it easier to maintain the library and check out books. The book checkout system will likely be added to [[ceo]]

== Objectives ==
Our club library is pretty impressive, for 1980. We should seriously consider changing this to the present. Content decisions seem to generally be made by strongly opinionated individuals whereas we should be focused on providing resources for anyone on campus who is interested in computer science.
* Bring in a proper library management system.
** This is being written. If interested in contributing, contact fbauckho.
* Update and improve library content.
* Set up some method of keeping the library current in the future.
* Re-evaluate the purpose of our library.

== Books Wishlist ==
Split to [[Books Wishlist]]

== Pruning the Library ==
Split to [[Book Pruning]]

== Guidelines for Library Funding ==
In the past, our budgets have failed to focus much attention to the library,
even though our textbooks keeping getting older and less relevant, and courses
and frontiers in Computer Science evolve. It is a shame that we don't have a book
on multi-core programming, or artificial intelligence! The following guideline
provides a detailed strategy for budgeting for books in the future :

'''This guideline is likely high, because most undergrad courses are moving towards printed course notes rather than textbooks.'''

*Did you know that every year approximately 20% of the courses in [http://www.cs.uwaterloo.ca/ SCS] change their books & edition?
This equates to something like $1000 of new material per year. As a result :
**We need to raise at least $1,000 annually to keep up with the material used to cover courses in SCS
**We will need to raise most of it during the Fall & Winter terms since :
***First offerings of courses occur in the Fall/Winter term each year and that is when the new textbooks arrive
***Historically we get higher memberships and people on campus so more funding
*Did you know that CS is a constantly changing field?
**New fields within CS are discovered every year
**New technologies and paradigms (e.g. multi-core programming) occur every 5 to 10 years?
**New knowledge is discovered in the field that replaces our older (less accurate) knowledge?
We therefore need to allocate roughly $1,500 per year to have a library that accurately reflects the current
and state of the art of computer science. To say that our library is not state of the art in CS is an extreme
under-statement. This funding could be equally spread out to $500 per term from mathsoc.

Currently our library is very much outdated and does not have textbooks that reflect the courses that CS students are
currently taking. From my estimate we need approximately $5,000 to have an up to date CS library. Therefore for the immediate strategy we need to get at least $1,500 per term from Mathsoc/MEF to allow our library a chance at staying current with the department's offerings. Therefore we should try to budget in $2,000 for Fall,Winter and Spring to get our library updated to the CS courses as well as to cover some of the frontiers and state of the art in computing that will serve our library into the future.

A great deal of discussion has been spent talking about our library equipment and possible hardware (barcode upgrades for instance). However I don't think it would be responsible for us to look at these areas and especially to budget these improvements in if we don't have a vastly updated library.

== Fixing the Library ==
A statement :
The only way to get the library fixed is through terms of growing and pruning.
As mentioned above, we need to grow our library to reflect the courses offered in SCS,
as well as to cover the current and state of the art in CS.

At the same time it is important that we prune down our library to contain relevant and
updated material. There is no point in having a cluttered library that makes it hard to
find reference material because we must hold on to books that are 20/30+ years old. We
don't need to have books on APL/360 programming, and having these old unnecessarry books
will pollute our library with irrelevance and outdatedness.

The only way the library can be fixed is to find the solutions to the direct problems in our
library. That is rather than worrying about the irrelevant technical details of the library system,
we need to take a look at our inventory (that is our books) and see what needs growing and pruning.
We can build the technical layers once we have built the paper layers (that is the physical books have
been purchased or have been planned to be purchased). It will take courage and will to follow
this procedure since we will have to let go of things that need letting go.
== Proposed Library Update Plan ==
One of the problems in keeping any library relevant is to ensure that reference material
is up to date and current with the area of study in question. This is especially true in
the area of computer science and technology where ideas change fast. The following are some
suggested considerations which could aid in keeping our library up to date now and into the
future.
* Safari Bookshelf Subscription
Safari Bookshelf is a online web service that allows you to read any O'Reilly book for a
subscription fee (usually around $40/month). This service will give the CSC an excellent
online library resource, where members can login and view all of the latest O'Reilly books
including those yet to be published. Access control would be a concern which would need
to be addressed in using such a system, however the concept of having an electronic resource
of continually up to date reference material is tempting.
* What are the new technologies and ideas in computer science?
This is the question that we should be asking ourselves at least at the beginning of the term
to determine what new books need to be purchased to fill the reference gap that builds going from
term to term. We should have a firm commitment of purchasing at least 10 reference books per term
to ensure that we are getting the breadth and depth requirements of having a successful CS library,
especially when it is common for dozens of new CS books to be released every term.
* What are the official CS course textbooks?
The CSC should have an up to date library of all of the required textbooks for all of the CS courses
offered at the University. This will allow our members to quickly access their course reference materials
should they ever leave their books at home, or need to look at the book desperately for an assignment that
is coming due soon. The CSC be a source of reference for CS students who need the references that drive
many of their CS courses.
* What books are getting old?
** How relevant is the book's content today?
** Has the book gone to a new edition?
** Have their been fundamental changes in the topic which are not reflected in the current book?
** How popular is the book? (This can be determined by how many times it has been checked out from the library system)
** Does the material fill a large gap in our reference material?
== Library Accessories ==
There has also been some talk for suggested accessories or tools for our library system. The
following is the current list of such accessories and reasons behind getting such accessories.
* Magstripe Member Cards
Each CSC member could have a magstripe member card which would allow them to check-in and checkout
books by swiping their card at a swiper and then scanning the book in question. This could speed
up the check-in/check-out times since they do not need to enter information into the system, but
rather scan their cards. The magstripe cards could later be extended with CEO to allow term renewal
via card swipe, as well as other value added features.
* Wireless barcode scanner.
The wireless barcode scanner will allow us to go up to the books and scan them in, rather than
having to move the books over to the barcode scanner to have them scanned. This will allow for
a degree of more freedom when scanning in books (especially when we receive the stack of new
books)
* RFID tags
When we receive new books, RFID tags encoded with book information is attached to each book.
Whenever, someone checks-in/checks out books, all you need to do is wave the book in front of a scanner
without having to locate the barcode, which could speed up the process of checking in and out books

[[Category:Library]]
[[Category:Projects]]

Books Wishlist

2016-02-07T00:22:57Z

Fbauckho: Deleted Okasaki, Bringhurst & Knuth

Books Wishlist

2016-02-07T00:16:40Z

Fbauckho: /* 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
= MEF Proposal =
MEF Proposal books should include a quote and a sentence or two of justification.

= W16 Whiteboard books in progress =
This is a list of books that people have put on the whiteboard so far. May still change.
*Analytic Number Theory
*To Mock a Mockingbird(++)
*Regular Polytopes By Coxeter
*Matroid Theory (2nd Edition)
*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 ==
*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

== Data Structures ==
* Okasaki, Purely Functional Data Structures
** ISBN 978-0521663502

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

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

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

2016-02-07T00:13:50Z

Fbauckho: /* 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
= MEF Proposal =
MEF Proposal books should include a quote and a sentence or two of justification.

= W16 Whiteboard books in progress =
This is a list of books that people have put on the whiteboard so far. May still change.
*Analytic Number Theory
*To Mock a Mockingbird(++)
*Regular Polytopes By Coxeter
*Matroid Theory (2nd Edition)
*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 ==
*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)
** 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

== Data Structures ==
* Okasaki, Purely Functional Data Structures
** ISBN 978-0521663502

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

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

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

2016-02-07T00:12:19Z

Fbauckho: /* W16 Whiteboard books in progress */

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
= MEF Proposal =
MEF Proposal books should include a quote and a sentence or two of justification.

= W16 Whiteboard books in progress =
This is a list of books that people have put on the whiteboard so far. May still change.
*Analytic Number Theory
*To Mock a Mockingbird(++)
*Regular Polytopes By Coxeter
*Matroid Theory (2nd Edition)
*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.

*Coders at work
*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 ==
*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)
** 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

== Data Structures ==
* Okasaki, Purely Functional Data Structures
** ISBN 978-0521663502

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

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

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