Random books from DoctorQ's library
The Art of Computer Virus Research and Defense (Symantec Press) by Peter Szor
The Meaning of Quantum Theory: A Guide for Students of Chemistry and Physics (Oxford Science Publications) by Jim Baggott
Gravitation (Physics Series) by Charles W. Misner
The Foundations of Program Verification, 2nd Edition by Jacques Loeckx
What Can Be Automated?: Computer Science and Engineering Research Study (COSERS) (M I T Press Series in Computer Science) by Bruce W. Arden
Logic and structure (Universitext) by D. van Dalen
Introduction to Automata Theory, Languages and Computation (Addison-Wesley Series in Computer Science) by John E. Hopcroft
Members with DoctorQ's books
Member connections
LibraryThing authors: David Gries (DavidGries)
RSS feeds
Recently-added books
DoctorQ's reviews
Reviews of DoctorQ's books, not including DoctorQ's
Member: DoctorQ
CollectionsYour library (111), Wishlist (6), To read (1), All collections (118)
ReviewsNone
TagsNone
Cloudsauthor cloud
GroupsCognitive Science, I Survived the Great Vowel Shift, Japanese Culture, Language, Mathematics, Philosophy of Science, Physics!, Purely Programmers
About meFormer Putnam fellow gone to seed.
About my libraryA bit of everything.
LocationLynchburg, VA
Favorite authorsNone
Account typepublic, free
Connection NewsConnection News
URLs
http://www.librarything.com/profile/DoctorQ (profile)
http://www.librarything.com/catalog/DoctorQ (library)
Common KnowledgeSeries (14), Awards (14), Characters (21), Places (6)
Member sinceAug 9, 2009
Most recent activity
 DoctorQ added:Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics) by R. P. Nederpelt |
Leave a comment
Sign up or sign in to leave a comment.