Computer Science

Competitive Learning
The Intelligent Persons Guide to Books and Articles on Topics in

Computer Science

Please read my Notes on the Guides at the link below if you are visiting for the first time.
http://competitive-learning.org/Notes.pdf
You can reach me at: jvaisman@competitive-learning.org

This Guide was last updated on 01-20-13.

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivs 3.0
Unported License (available at http://creativecommons.org/licenses/by-nc-nd/3.0/).
This work is free for personal and classroom use; you may not use this work for commercial
purposes. Your fair use and other rights are in no way affected by the above.

Professor Joseph Vaisman
Department of Computer Science and Engineering, Polytechnic Institute of NYU
jvaisman@poly.edu

Contents
Shelf01: Starting in Computer Science
Shelf02: Mathematics for Computer Science
Shelf03: Programming Languages and Compilers
Shelf04: Theory of Algorithms
Shelf05: Theory of Computation
Shelf06: Databases and Information Retrieval
Shelf07: The Semantic Web
Shelf08: Data Mining
Shelf09: Data Analysis and Data Visualization
Shelf10: Fun and Games
Shelf11: ACM Turing Award Lectures
Shelf12: Thoughts, Ideas, Opinions, Surveys, and Blogs
Shelf13: Classics
Shelf14: History of Computer Science
Shelf15: Telecommunications and Networking
Shelf16: Information Theory
Shelf17: Computer Architecture
Shelf18: Theoretical Computer Science

============= Shelf01: Starting in Computer Science =============

Algorithmic Adventures: From Knowledge to Magic
Juraj Hromkovic
Springer, 2009, 978-3-540-85985-7
http://www.springerlink.com.databases.poly.edu/content/978-3-540-85985-7/contents/
http://www.springerlink.com/content/978-3-540-85985-7/contents/

==========================================================

========== Shelf02: Mathematics for Computer Science ===========

Sets, Logic and Maths for Computing, Second Edition
David Makinson
Springer, 2012, ISBN 978-1-4471-2499-3

Mathematics for Computer Science
Eric Lehman and Tom Leighton
http://www.cs.princeton.edu/courses/archive/spr10/cos433/mathcs.pdf

Logic for Computer Scientists
Uwe Shoning
Springer, 2008, ISBN 978-0-8176-4762-9

Lambda Calculi: A Guide Pages 1-66
Chris Hankin
http://www.springerlink.com.databases.poly.edu/content/q058718r08323374/
http://www.springerlink.com/content/q058718r08323374/
Handbook of Philosophical Logic, 2nd Edition, Volume 15
Dov M. Gabbay and Franz Guenther (Editors)
Springer, 2011, ISBN 978-94-007-0484-8

Why Sets? Pages 179-198
Andreas Blass and Yuri Gurevich
http://www.springerlink.com.databases.poly.edu/content/c7223052427565l5/
Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion
of His 85th Birthday
Arnon Avron, Nachum Dershowitz and Alexander Rabinovich (Editors)
Springer, 2008, ISBN 978-3-540-78126-4, LNCS 4800

Analysis for Computer Scientists: Foundations, Methods, and Algorithms
Michael Obergruggenberger and Alexander Ostermann
Springer, 2011, ISBN 978-0-85729-445-6

Comprehensive Mathematics for Computer Scientists 1, Second Edition
Guerino Mazzola, Gerard Milmeister, and Jody Weissmann
Springer, 2006, ISBN 978-3-540-36873-1

Comprehensive Mathematics for Computer Scientists 2
Guerino Mazzola, Gerard Milmeister, and Jody Weissmann
Springer, 2005, ISBN 978-3-540-20861-7

Number Theory in Science and Communication: With Applications in Cryptography, Physics,
Digital Information, Computing, and Self-Similarity, Fifth Edition
Manfred Schroeder
Springer, 2009, ISBN 978-3-540-85297-1

Probability and Statistics for Computer Science
James L. Johnson
Wiley, 2008, ISBN 9781118165836
http://onlinelibrary.wiley.com.databases.poly.edu/book/10.1002/9781118165836
http://onlinelibrary.wiley.com/book/10.1002/9781118165836

Outlier Analysis
Charu C. Aggarwal
Springer, 2013, ISBN 978-1-4614-6396-2
http://dx.doi.org.databases.poly.edu/10.1007/978-1-4614-6396-2
http://dx.doi.org/10.1007/978-1-4614-6396-2

Modern Formal Methods and Applications
Hossam A. Gabbar (Editor)
Springer, 2006, ISBN 978-1-4020-4222-5

Random Walks and Diffusions on Graphs and Databases: An Introduction
Philippe Blanchard and Dimitri Volchenkov
Springer, 2011, ISBN 978-3-642-19591-4

Understanding and Using Linear Programming
Jiri Matousek and Bernd Gartner
Springer, 2007, ISBN 978-3-540-30697-9

On Euclids algorithm and elementary number theory
Roland Backhouse and Joao F. Ferreira
Science of Computer Programming, Volume 76, Issue 3 (March 2011)
http://www.sciencedirect.com.databases.poly.edu/science/journal/01676423/76/3
http://www.sciencedirect.com/science/journal/01676423/76/3

An Introduction to Category Theory
Harold Simmons
Cambridge University Press, 2011, ISBN 9780511863226
http://ebooks.cambridge.org.databases.poly.edu/ebook.jsf?bid=CBO9780511863226
http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511863226

Categories and Computer Science
R. F. C. Walters

The B-Book: Assigning Programs to Meanings
J.-R. Abrial

Proofs and Computations
Helmut Schwichtenberg and Stanley S. Wainer

==========================================================

======== Shelf03: Programming Languages and Compilers =========

Theories of Programming Languages
John C. Reynolds

Principles of Compilers: A New Approach to Compilers Including the Algebraic Method
Yunlin Su and Song Y. Yan
Springer, 2011, ISBN 978-3-642-20834-8

Compiler Construction Using Java, JavaCC, and Yacc
Anthony J. Dos Reis
Wiley, 2012, ISBN 9781118112762

==========================================================

================ Shelf04: Theory of Algorithms =================

Algorithms
S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani
http://www.cs.berkeley.edu/~vazirani/algorithms/all.pdf
Index of /~vazirani/algorithms
http://www.cs.berkeley.edu/~vazirani/algorithms/
Umesh V. Vazirani Website
http://www.cs.berkeley.edu/~vazirani/

What is an algorithm?
Yuri Gurevich
http://research.microsoft.com/en-us/um/people/gurevich/Opera/209.pdf

On founding the theory of algorithms
Yiannis N. Moschovakis
http://www.math.ucla.edu/~ynm/papers/foundalg.pdf
Website
http://www.math.ucla.edu/~ynm/

==========================================================

=============== Shelf05: Theory of Computation ================

Concise Guide to Computation Theory
Akira Maruoka
Springer, 2011, ISBN 978-0-85729-534-7

Theory of Computation
George Tourlakis
Wiley, 2012, ISBN 9781118014783

Chapter 2 Algorithms and Turing Machines Pages 40-97
The Emperors New Mind
Roger Penrose
**** Some pages missing ***************
http://books.google.com/books?id=0mVEBJ34v9EC&printsec=frontcover&dq=inauthor:penros
e&hl=en&sa=X&ei=1K1jT_GdN8Tt0gG2-
dDBCA&ved=0CEEQ6AEwAA#v=onepage&q=inauthor%3Apenrose&f=false

Chapter 2 The Mathematical Infinity Pages 55-75
Enrico Bombiery
http://ebooks.cambridge.org.databases.poly.edu/chapter.jsf?bid=CBO9780511976889&cid=CB
O9780511976889A013
http://ebooks.cambridge.org/chapter.jsf?bid=CBO9780511976889&cid=CBO9780511976889A0
13
Infinity: New Research Frontiers
Michael Heller and W. Hugh Woodin (Editors)

Turings Titanic Machine?
S. Barry Cooper
Communications of the ACM, Volume 55, Number 3 (March 2012)
http://dl.acm.org.databases.poly.edu/citation.cfm?id=2093569&CFID=90335540&CFTOKEN=91
348436
http://dl.acm.org/citation.cfm?id=2093569&CFID=90335540&CFTOKEN=91348436

Chapter 8 Incomputability, Emergence and the Turing Universe
S. Barry Cooper
http://www.springerlink.com.databases.poly.edu/content/h4487h8151qj5125/
http://www.springerlink.com/content/h4487h8151qj5125/
Causality, Meaningful Complexity and Embodied Cognition
A. Carsetti (Editor)
Springer, 2010, ISBN 978-90-481-3528-8

Mathematics, Metaphysics and the Multiverse Pages 252-267
S. Barry Cooper
http://www.springerlink.com.databases.poly.edu/content/p44561722027r3t5/
http://www.springerlink.com/content/p44561722027r3t5/
Computation, Physics and Beyond, International Workshop on TCS, WTCS 2012
Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday
Michael J. Dinneen, Bakhadyr Khoussainov, and Andre Nies (Editors)

Foundational Analysis of Computation
Yuri Gurevich
Microsoft Research, February 2012, Technical Report MSR-TR-2012-14

Around the Physical Church-Turing Thesis Pages 21-37
Giles Dowek
http://www.springerlink.com.databases.poly.edu/content/r3137w88v8806107/
http://www.springerlink.com/content/r3137w88v8806107/
A Parametrized Complexity Tutorial Pages 38-56
Rod Downey
http://www.springerlink.com.databases.poly.edu/content/k153402676h04273/
http://www.springerlink.com/content/k153402676h04273/
Language and Automata Theory, LATA 2012
Adrian-Horia Dediu and Carlos Martin-Vide (Editors)

Computability, Computation, and the Real World Pages 63-70
Martin Davis
http://www.springerlink.com.databases.poly.edu/content/p3704u381hr6267g/
http://www.springerlink.com/content/p3704u381hr6267g/
Wikipedia: http://en.wikipedia.org/wiki/Martin_Davis
Imagination and Rigor: Essays on Eduardo R. Caianiellos Scientific Heritage
Settimo Termini (Editor)
Springer, 2006, ISBN 978-88-470-0320-0

Special Issue: Transcending Turing Computability
Minds and Machines, Volume 13, Number1 (February 2003)
http://www.springerlink.com.databases.poly.edu/content/0924-6495/13/1/
http://www.springerlink.com/content/0924-6495/13/1/

On the definition of an algorithm (in Russian)
A. N. Kolmogorov and V. A. Uspenskii
Uspekhi Matematicheskikh Nauk, Volume 13, Number 4 (82) (1958) Pages 3-28
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=7453&option_l
ang=rus

On Kolmogorov Machines And Related Issues
Yuri Gurevich, 1988

==========================================================

========= Shelf06: Databases and Information Retrieval ==========

Practical Database Programming with Java
Ying Bai
Wiley, 2011, ISBN 978-0-470-88940-4

Principles of Distributed Database Systems, Third Edition
M. Tamer Ozsu and Patrick Valduriez
Springer, 2011, ISBN 978-1-4419-8833-1

Joe Celkos Trees and Hierarchies in SQL for Smarties
Joe Celko
Elsevier, 2012, ISBN 978-0-12-387733-8
http://www.sciencedirect.com.databases.poly.edu/science/book/9780123877338
http://www.sciencedirect.com/science/book/9780123877338

Beginning Database Design: From Novice to Professional
Clare Churcher
Springer, 2012, ISBN 978-1-4302-4210-9
http://dx.doi.org/10.1007/978-1-4302-4210-9

Developing High Quality Data Models
Matthew West
Elsevier, 2011, ISBN 978-0-12-375106-5
http://www.sciencedirect.com.databases.poly.edu/science/book/9780123751065#ancp1
http://www.sciencedirect.com/science/book/9780123751065#ancp1

A Feature-Centric View of Information Retrieval
Donald Metzler
Springer, 2011, ISBN 978-3-642-22897-1

Learning to Rank for Information Retrieval
Tie-Yan liu
Springer, 2011, ISBN 978-3-642-14266-6

Advanced Topics in Information Retrieval
Massimo Melucci and Ricardo Baeza-Yates (Editors)
Springer, 2011, ISBN 978-3-642-20945-1

Information Retrieval
C. J. van (Keith) Rijsbergen
Butterworths, 1979
http://www.dcs.gla.ac.uk/Keith/Preface.html

Interacting with Information
Ann Blanford and Simon Attfield
Morgan & Claypool, 2010, ISBN 9781608450275
http://www.morganclaypool.com.databases.poly.edu/doi/abs/10.2200/S00227ED1V01Y20091
1HCI006
http://www.morganclaypool.com/doi/abs/10.2200/S00227ED1V01Y200911HCI006

Designing the Search Experience: The Information Architecture of Discovery
Tony Russell-Rose and Tyler Tate
Elsevier, 2013, ISBN 978-0-12-396981-1

Recommended for You: How Online Merchants Predict Your Preferences and Prod You to
Purchase
Joseph A. Konstan & John Riedl
IEEE Spectrum, Volume 49, Number 10 (October 2012) Pages 54-61
http://ieeexplore.ieee.org.databases.poly.edu/xpl/articleDetails.jsp?tp=&arnumber=6309257
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6309257

Recommender Systems Handbook
Francesco Ricci, Lior Rokach, Bracha Shapira, and Paul B. Kantor (Editors)
Springer, 2011, ISBN 978-0-387-85819-7

Three Decades of Data Integration All Problems Solved? Pages 3-12
Patrick Ziegler and Klaus R. Dittrich
http://www.springerlink.com.databases.poly.edu/content/t25x6t660v43m37k/
Building the Information Society, IFIP 18th World Computer Congress
Rene Jacquart (Editor)
Kluwer, 2004, ISBN 978-1-4020-8156-9

Principles of Data Integration
Anhai Doan, Alon Halevy, and Zachary Ives
Elsevier, 2012, ISBN 978-0-12-416044-6

Semantic Collation of Entrerprise Data for Effective Information Retrieval Pages 1-8
C. Anantaram and Shailly Goyal
http://www.springerlink.com.databases.poly.edu/content/fw481163683146v8/
Data Engineering and Management, ICDEM 2010
Rajkumar Kannan and Frederic Andres (Editors)
Springer, 2012, ISBN 978 978-3-642-27871-6, LNCS 6411

Topic Mapping: A View of the Road Ahead Pages 1-13
Jack Park
http://www.springerlink.com.databases.poly.edu/content/g42661781q552222/
Charting the Topic Maps Research and Applications Landscape, TMRA 2005
Lutz Maicher and Jack Park (Editors)

Introductions to Topic Maps
http://www.ontopia.net/section.jsp?id=tm-intro
ONTOPIA Open Source tools for building and deploying Topic Maps-based applications
http://www.ontopia.net/

Flat Topic Mapping for a Flat World Pages 1-7
Steven R. Newcomb
http://www.springerlink.com.databases.poly.edu/content/x4395222jp8235v2/
Towards a Methodology for Developing Topic Maps Ontologies Pages 20-31
Lars Marius Garshol
http://www.springerlink.com.databases.poly.edu/content/7k9h746737073525/
Remote Topic Maps in Learning Pages 67-73
Stian lavik, Tommy W. Nordeng, Jarle R. Meloy, and Tore Hoel
http://www.springerlink.com.databases.poly.edu/content/g56x15p381uh32k9/
Leveraging the Semantics of Topic Maps, TMRA 2006
Lutz Maicher, Alexander Sigel, and Lars Marius Garshol (Editors)

Scaling Topic Maps Pages 1-13
Marc Wilhelm Kuster and Graham Moore
http://www.springerlink.com.databases.poly.edu/content/q63425139221442w/
Convergence of Classical Search and Semantic Technologies Pages 14-24
Stefan Smolnik
http://www.springerlink.com.databases.poly.edu/content/r256187q34722518/
Scaling Topic Maps, TMRA 2007
Springer, 2008, ISB n978-3-540-70873-5, LNCS 4999

Ontological Engineering
Asuncion Gomez-Perez, Mariano Fernandez-Lopez, and Oscar Gorcho
Springer, 2004, ISBN 978-1-85233-551-9

Ontology Matching
Jerome Euzenat and Pavel Shvaiko
Springer, 2007, ISBN 978-3-540-49611-3

Semantic Search over the Web
Roberto De Virgilio, Francesco Guerra, and Yannis Velegrakis (Editors)
Springer, 2012, ISBN 978-3-642-2507-1

Data Matching: Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate
Detection
Peter Christen
Springer, 2012, ISBN 978-3-642-31163-5

Schema Matching and Mapping
Zohra Bellahsene, Angela Bonifati, and Erhard Rahm (Editors)
Springer, 2011, ISBN 978-3-642-165-17-7

Relational Knowledge Discovery
M E Muller
Cambridge University press, 2012, ISBN 9781139047869

Theoretical Foundations for Digital Libraries: The 5S (Societies, Scenarios, Spaces, Structures,
Streams) Approach
Edward A Fox, Marcos Andre Goncalves, and Rao Shen
7ICR022
http://www.morganclaypool.com/doi/abs/10.2200/S00434ED1V01Y201207ICR022

Special Issue on Information Extraction
Datenbank Spektrum, Volume 12, Number 2 (July 2012)

==========================================================

================= Shelf07: The Semantic Web ==================

The Semantic Web
Tim Berners-Lee, James Handler, and Ora Lassila
Scientific American, Volume 284, Issue 5 (May 2001), Pages 34-43
http://www.nature.com.databases.poly.edu/scientificamerican/journal/v284/n5/index.html#fe
atures
http://www.nature.com/scientificamerican/journal/v284/n5/index.html#features

Special Issue on the Semantic Web
IEEE Intelligent Systems, Volume 16, Issue 2 (March-April 2001) Pages 24-79
http://ieeexplore.ieee.org.databases.poly.edu/xpl/tocresult.jsp?isnumber=19905
http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=19905

Special Issue: Semantic Web
ERCIM NEWS, Number 51 (October 2002)
http://www.ercim.eu/publication/Ercim_News/enw51/

Introduction to Ontologies and Semantic Web
Marek Obitko, 2007
http://www.obitko.com/tutorials/ontologies-semantic-web/

Web Science Emerges
Nigel Shadbolt and Tim Berners-Lee
Scientific American, Volume 299, Issue 4 (October 2008) Pages 76-81
http://www.nature.com.databases.poly.edu/scientificamerican/journal/v299/n4/index.html#fe
atures
http://www.nature.com/scientificamerican/journal/v299/n4/index.html#features

The Semantic Web: Semantics for Data and Services on the Web
Vipul Kshyap, Christoph Bussler, and Matthew Moran
Springer, 2008, ISBN 978-3-540-76451-9

A Developers Guide to the Semantic Web
Liyang Yu
Springer, 2011, ISBN 978-3-642-15969-5

Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL, Second
Edition
Dean Allemang and Jim Hendler
Elsevier, 2012, ISBN 978-0-12-385965-5

JWS special issue on Semantic Search
Web semantics: Science, services and Agents on the World Wide Web, Volume 9, Issue 4
(December 2011)
http://www.sciencedirect.com.databases.poly.edu/science/journal/15708268/9/4
http://www.sciencedirect.com/science/journal/15708268/9/4

Towards a Semantic Web for Culture
Kim H. Veltman
Journal of Digital Information, Volume 4, Number 4 (2004)
http://journals.tdl.org/jodi/issue/view/20

Linked Data: Evolving the Web into a Global Data Space
Tom Heath and Christian Bizer
2WBE001
http://www.morganclaypool.com/doi/abs/10.2200/S00334ED1V01Y201102WBE001

Agent-Based Semantic Web Service Composition
Sandeep Kumar
Springer, 2012, ISBN 978-1-4614-4662-0

Mutimedia Semantics: Metadata, Analysis and Interaction
Raphael Troncy, Benoit Huet, and Simon Schenk
Wiley, 2011, ISBN 9781119970231

The Ontolog Community an open, international, virtual community of practice
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage

==========================================================

==================== Shelf08: Data Mining ====================

Data Mining Concepts and Techniques, Third Edition
Jiawei Han, Micheline Kamber, and Jian Pei
Elsevier, 2012, ISBN 978-0-12-381479-1

Principles of Data Mining
Max Bramer
Springer, 2007, ISBN 978-1-84628-765-7

Data Mining: Concepts, Models, Methods, and Algorithms, Second Edition
Mehmed Kantardzic
Wiley, 2011, ISBN 9781118029145

Data Mining Techniques in CRM: Inside Customer Segmentation
Konstantinos Tsiptsis and Antonios Chorionopoulos
Wiley, 2009, ISBN 9780470685815

Data Mining: Practical Machine Learning Tools and Techniques, Third Edition
Ian H. Witten, Eibe Frank, and Mark A. Hall
Elsevier, 2011, ISBN 978-0-12-374856-0

Chapter 2 Data Mining Pages 17-46
http://www.springerlink.com.databases.poly.edu/content/n5p675723470t008/
http://www.springerlink.com/content/n5p675723470t008/
Automating the Design of Data Mining Algorithms: An Evolutionary Computation Approach
Gisele L. Pappa and Alex A. Freitas
Springer, 2010, ISBN 9783-642-02540-2

Data mining: past, present and future Pages 25-29
Frans Coenen
http://journals.cambridge.org.databases.poly.edu/action/displayAbstract?fromPage=online&ai
d=8038646&fulltextType=RV&fileId=S0269888910000378
The Knowledge Engineering Review, Volume 26, Issue 1 (2011, 25th Anniversary Issue)
http://journals.cambridge.org.databases.poly.edu/action/displayIssue?decade=2010&jid=KER&
volumeId=26&issueId=01&iid=8038613
http://journals.cambridge.org/action/displayIssue?decade=2010&jid=KER&volumeId=26&issue
Id=01&iid=8038613

Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data, Second Edition
Bing Liu
Springer, 2011, ISBN 978-3-642-19459-7

Mining Text Data
Charu C. Aggarwal and ChengXiang Zhai (Editors)
Springer, 2012, ISBN 978-1-4614-3223-4
http://dx.doi.org/10.1007/978-1-4614-3223-4

Symbolic Data Analysis: Conceptual Statistics and Data Mining
Lynne Billard and Edwin Diday
Wiley, 2006, ISBN 9780470090183

Sentiment Analysis and Opinion Mining
Bing Liu
4HLT016
http://www.morganclaypool.com/doi/abs/10.2200/S00416ED1V01Y201204HLT016

Sentic Analysis: Techniques, Tools, and Applications
Eric Cambria and Amir Hussain
Springer, 2012, ISBN 978-94-007-5069-2

Social Network Data Analytics
Charu C. Aggarwal (Editor)
Springer, 2011, ISBN 978-1-4419-8462-3
http://dx.doi.org/10.1007/978-1-4419-8462-3

Behavior Computing: Modeling, Analysis, Mining and Decision
Longbing Cao and Philip S. Yu (Editors)
Springer, 2012, ISBN 978-1-4471-2969-1
http://dx.doi.org/10.1007/978-1-4471-2969-1

Process Mining: Discovery, Conformance and Enhancement of Business Processes
Wil M.P. van der Aalst
Springer, 2011, ISBN 978-3-642-19344-6

Data Mining in Large Sets of Complex Data
Robson L. F. Cordeiro, Christos Faloutsos, and Caetano Traina Junior
Springer, 2013, ISBN 978-1-4471-4890-6
http://dx.doi.org/10.1007/978-1-4471-4890-6

Data Mining and Knowledge Discovery Handbook, Second Edition
Oded Maimon and Lior Rokach (Editors)
Springer, 2010, ISBN 98-0-387-09622-7

Privacy in Social Networks
Elena Zheleva, Evimaria Terzi, and Lise Getoor
3DMK004
http://www.morganclaypool.com/doi/abs/10.2200/S00408ED1V01Y201203DMK004

Data Mining
Proceedings, Society for Industrial and Applied Mathematics
http://www.siam.org/proceedings/

Agile Data Warehousing Project Management: Business Intelligence Systems Using Scrum
Ralph Hughes
Elsevier, 2013, ISBN 978-0-12-396463-2
http://www.sciencedirect.com.databases.poly.edu/science/book/9780123964632#ancp1
http://www.sciencedirect.com/science/book/9780123964632#ancp1

==========================================================

========== Shelf09: Data Analysis and Data Visualization ==========

Core Concepts in Data Analysis: Summarization, Correlation and Visualization
Boris Mirkin
Springer, 2011, ISBN 978-0-85729-286-5

Data Analysis: What Can Be Learned From the Past 50 Years
Peter J. Huber
Wiley, 2011, ISBN 9781118018255

Making Sense of Data: A Practical Guide to Exploratory Data Analysis and Data Mining
Glenn J. Myatt
Wiley, 2007, ISBN 9780470074718

Making Sense of Data II: A Practical Guide to Data Visualization, Advanced Data Mining
Methods, and Applications
Glenn J. Myatt and Wayne P. Johnson
Wiley, 2009, ISBN 9780470417409

Making Sense of Data III: A Practical Guide to Designing Interactive Data Visualizations
Glenn J. Myatt and Wayne P. Johnson
Wiley, 2011, ISBN 9781118121610

Data Analysis
Gerard Govaert (Editor)
Wiley, 2009, ISBN 9780470611777

Do We Really Need the S-word?
Megan D. Higgs
American Scientist, Volume 101, Number 1 (January-February 2013) Pages 6-9
**** On-campus access **************
http://www.americanscientist.org/issues/pub/2013/1/do-we-really-need-the-s-word

Business Intelligence: The Savvy Managers Guide, Second Edition
David Loshin
Elsevier, 2013, ISBN 978-0-12-385889-4

Big Data: The Management Revolution
Andrew McAfee and Erik Brynjolfsson
Harvard Business Review, Volume 90, Number 10 (October 2012) Pages 60-68
http://web.ebscohost.com.databases.poly.edu/ehost/detail?vid=3&hid=15&sid=b5a83659-
ec33-4ef2-b1e4-
33b389d54514%40sessionmgr13&bdata=JnNpdGU9ZWhvc3QtbGl2ZQ%3d%3d#db=bth&AN=7
9996279
http://web.ebscohost.com/ehost/detail?vid=3&hid=15&sid=b5a83659-ec33-4ef2-b1e4-
9996279

Data Scientist: The Sexiest Job of the 21st Century
Thomas H. Davenport and D.J. Patil
ec33-4ef2-b1e4-
9996214
9996214

Making Advanced Analytics Work For You: A practical guide to capitalizing on big data
Dominic Barton and David Court
ec33-4ef2-b1e4-
9996092
9996092

Data Insights: New Ways to Visualize and Make Sense of Data
Hunter Whitney
Elsevier, 2013, ISBN 978-0-12-387793-2

Information Visualization: Perception for Design, Third Edition
Colin Ware
Elsevier, 2013, ISBN 978-0-12-381464-7

7 Classic Foundational Vis Papers You Might not Want to Publicly Confess you Dont Know
Enrico Bertini
http://fellinlovewithdata.com/guides/7-classic-foundational-vis-papers
Fell in Love with Data Blog
http://fellinlovewithdata.com/

How to Write a Visualization Research Paper: A Starting Point
Robert S. Laramee
Computer Graphics Forum, Volume 29, Number 8 (December 2010) Pages 2363-2371
http://onlinelibrary.wiley.com.databases.poly.edu/doi/10.1111/j.1467-
8659.2010.01748.x/abstract
http://onlinelibrary.wiley.com/doi/10.1111/j.1467-8659.2010.01748.x/abstract

Visualization of Time-Oriented Data
Wolfgang Aigner, Silvia Miksch, Heidrun Schumann, and Christian Tominski
Springer, 2011, ISBN 978-0-85729-078-6

Data Representations, Transformations, and Statistics for Visual Reasoning
Ross Maciejewski
5VIS002
http://www.morganclaypool.com/doi/abs/10.2200/S00357ED1V01Y201105VIS002

The Visualization of Spatial Social Structure
Daniel Dorling
Wiley, 2012, ISBN 9781118353929

Knowledge Visualization Currents: From Text to Art to Culture
Francis T. Marchese and Ebad Banissi (Editors)
Speinger, 2013, ISBN 978-1-4471-4303-1
http://dx.doi.org/10.1007/978-1-4471-4303-1

Introduction to Information Visualization
Riccardo Mazza
Springer, 2009, ISBN 978-1-84800-218-0

Handbook of Data Visualization
Chun-houh Chen, Wolfgang Hardle, and Antony Unwin (Editors)
Springer, 2008, ISBN 978-3-540-33036-3

Information Visualization: Beyond the Horizon, Second Edition
Chaomei Chen
Springer, 2006, ISBN 978-1-84628-340-6

Interpretable Visualisations of High-Dimensional Data
Chris Watkins
Seminar, Xerox Research Centre Europe (01 March 2012)
http://videos.xrce.xerox.com/index.php/videos/index/578

James Briscoe Group Project: Visualising gene expressions
http://www.nimr.mrc.ac.uk/research/james-briscoe/visgenex
National Institute for Medical Research, UK
http://www.nimr.mrc.ac.uk/

==========================================================

================== Shelf10: Fun and Games ===================

Fun with Algorithms - 5th International Conference, FUN 2010
Paolo Boldi and Luisa Gargano (Editors)

Fun with Algorithms - 4th International Conference, FUN 2007
Pierluigi Crescenzi, Guiseppe Prencipe, and Geppino Pucci (Editors)
Springer, 2007, ISBN 978-3-540-729136, LNCS 4475

Fun with Games - Second International Conference
Panos Markopoulos, Boris de Ruyter, Wijnand IJsselsteijn, and Duncan Rowland (Editors)

==========================================================

============= Shelf11: ACM Turing Award Lectures ==============

A. M. TURING AWARD Winners: Alphabetical listing, Year of the award listing, etc.
http://amturing.acm.org/lectures.cfm
http://amturing.acm.org/

Model Checking: Algorithmic Verification and Debugging
Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis 2007
http://amturing.acm.org/award_winners/clarke_1167964.cfm
http://amturing.acm.org/award_winners/emerson_1671460.cfm
http://amturing.acm.org/award_winners/sifakis_1701095.cfm
Communications of the ACM, Volume 52, Number 11 (November 2009) Pages 74-84
http://dl.acm.org.databases.poly.edu/citation.cfm?doid=1592761.1592781
http://dl.acm.org/citation.cfm?doid=1592761.1592781

Computing Versus Human Thinking
Peter Naur 2005
http://amturing.acm.org/award_winners/naur_1024454.cfm
Communications of the ACM, Volume 50, Number 1 (January 2007) Pages 85-94
http://dl.acm.org.databases.poly.edu/citation.cfm?id=1188913.1188922
http://dl.acm.org/citation.cfm?id=1188913.1188922

How the What Becomes the How
Edward A. Feigenbaum 1994
http://amturing.acm.org/award_winners/feigenbaum_4167235.cfm
Communications of the ACM, Volume 39, Number 5 (May 1996) Pages 97-104
http://dl.acm.org.databases.poly.edu/citation.cfm?id=229471
http://dl.acm.org/citation.cfm?id=229471

To Dream the Possible Dream
Raj Reddy 1994
http://amturing.acm.org/award_winners/reddy_6247682.cfm
Communications of the ACM, Volume 39, Number 5 (May 1996) Pages 105-112

On Computational Complexity and the Nature of Computer Science
Juris Hartmanis 1993
http://amturing.acm.org/award_winners/hartmanis_1059260.cfm
Communications of the ACM, Volume 37, Number 10 (October 1994) Pages 37-43

Its Time to Reconsider Time
Richard E. Stearns 1993
http://amturing.acm.org/award_winners/stearns_1081900.cfm

Elements of Interaction
Robin Milner 1991
http://amturing.acm.org/award_winners/milner_1569367.cfm
Communications of the ACM, Volume 36, Number 1 (January 1993) Pages 78-88

On building systems that will fail
Fernando J. Corbato 1990
http://amturing.acm.org/award_winners/corbato_1009471.cfm
Communications of the ACM, Volume 34, Number 9 (September 1991) Pages 72-81

Micropipelines
Ivan Sutherland 1988
http://amturing.acm.org/award_winners/sutherland_3467412.cfm
Communications of he ACM, Volume 32, Number 6 (June 1989) Pages 720-738
An Interview with Ivan Sutherland
Communications of he ACM, Volume 32, Number 6 (June 1989) Pages 711-718

The Search for Performance in Scientific Processors
John Cocke 1987
http://amturing.acm.org/award_winners/cocke_2083115.cfm
Communications of he ACM, Volume 31, Number 3 (March 1988) Pages 250-253

Computer Science: The Emergence of a Discipline
John E. Hopcroft - 1986
http://amturing.acm.org/award_winners/hopcroft_1053917.cfm
Communications of he ACM, Volume 30, Number 3 (March 1987) Pages 198-202

Algorithm Design
Robert E. Tarjan - 1986
http://amturing.acm.org/award_winners/tarjan_1092048.cfm
Communications of the ACM, Volume 30, Number 3 (March 1987) Pages 204-212

An Interview with 1986 A. M. TURING AWARD RECIPIENTS
John E. Hopcroft and Robert E. Tarjan 1986

Combinatorics, Complexity, and Randomness
Richard M. Karp 1985
http://amturing.acm.org/award_winners/karp_3256708.cfm
Communications of the ACM, Volume 29, Number 2 (February 1986) Pages 98-109

From Programming Language Design to Computer Construction
Niklaus Wirth 1984
http://amturing.acm.org/award_winners/wirth_1025774.cfm

Reflections on Software Research
Dennis M. Ritchie - 1983
http://amturing.acm.org/award_winners/ritchie_1506389.cfm
Communications of the ACM, Volume 27, Number 8 (August 1984) Pages 758-760

Reflections on Trusting Trust
Ken Thompson 1983
http://amturing.acm.org/award_winners/thompson_4588371.cfm

An Overview of Computational Complexity
Stephen A. Cook 1982
http://amturing.acm.org/award_winners/cook_n991950.cfm
Communications of the ACM, Volume 26, Number 6 (June 1983) Pages 401-408

Relational Database: A Practical Foundation for Productivity
E. F. Codd 1981
http://amturing.acm.org/award_winners/codd_1000892.cfm

The Emperors Old Clothes
Charles Anthony Richard Hoare 1980
http://amturing.acm.org/award_winners/hoare_4622167.cfm

Notation as a Tool of Thought
Kenneth E. Iverson - 1979
http://amturing.acm.org/award_winners/iverson_9147499.cfm

The Paradigms of Programming
Robert W. Floyd 1978
http://amturing.acm.org/award_winners/floyd_3720707.cfm

Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its
Algebra of Programs
John Backus 1977
http://amturing.acm.org/award_winners/backus_0703524.cfm

Complexity of Computations
Michael O. Rabin 1976
http://amturing.acm.org/award_winners/rabin_9681074.cfm

Logic and Programming Languages
Dana S. Scott 1976
http://amturing.acm.org/award_winners/scott_1193622.cfm

Computer Science as Empirical Inquiry: Symbols and Search
Allen Newell and Herbert Simon 1975
http://amturing.acm.org/award_winners/newell_3167755.cfm
http://amturing.acm.org/award_winners/simon_1031467.cfm

Computer Programming as an Art
Donald E. Knuth 1974
http://amturing.acm.org/award_winners/knuth_1013846.cfm
Communications of the ACM, Volume 17, Number 12 (December 1974) Pages 667-673

The Programmer as Navigator
Charles W. Bachman 1973
http://amturing.acm.org/award_winners/bachman_1896680.cfm

The Humble Programmer
Edsger W. Dijkstra 1972
http://amturing.acm.org/award_winners/dijkstra_1053701.cfm
Communications of the ACM, Volume 15, Number 10 (October 1972) Pages 859-8666

Generality in Artificial Intelligence
John McCarthy 1971 (award lecture revised in 1987 )
http://amturing.acm.org/award_winners/mccarthy_0239596.cfm
Communications of the ACM, Volume 30, Number 12 (December 1987) Pages 1030-1035

ACM Turing Award Lectures Alternative Access

ACM Turing Award Lectures
http://www.informatik.uni-trier.de/~ley/db/journals/cacm/turing.html

==========================================================

====== Shelf12: Thoughts, Ideas, Opinions, Surveys, and Blogs ======

The Algorithm: Idiom of Modern Science
http://www.cs.princeton.edu/~chazelle/pubs/algorithm.html
Bernard Chazelle, Eugene Higgins Professor of Computer Science, Princeton University
http://www.cs.princeton.edu/~chazelle/

A Computer Scientists View of Life, the Universe, and Everything
Jurgen Schmidhuber
arXiv:quant-ph/9904050
http://arxiv.org/abs/quant-ph/9904050

Turings Connectionism: An Investigation of Neural Network Architecture
Christof Teuscher
Springer, 2002, ISBN 978-1-85233-475-8

Special Issue on Interactive Theorem Proving and Verification
Sadhana, Volume 34, Number 1 (February 2009)

Explorations in Quantum Computing
Colin P. Williams
Springer, 2011, ISBN 978-1-84628-886-9

Handbook of Nature-Inspired and Innovative Computing: Integrating Classical Models with
Emerging Technologies
Albert Y. Zomaya (Editor)
Springer, 2006, ISBN 978-0-387-40532-2

Natural Born Computing Pages 20-36
Peter J. Bentley
http://www.springerlink.com.databases.poly.edu/content/2p277081w557164r/
Mathematical and Engineering Methods in Computer Science, MEMICS 2011
Zdenek Kotasek et al. (Editors)

From the Web to the Grid and Beyond: Computing Paradigms Driven by High Energy Physics
Rene Brun, Federico Carminati, and Giuliana Galli Carminati (Editors)
Springer, 2012, ISBN 978-3-642-23156-8

Science Fiction Prototyping: Designing the Future with Science Fiction
Brian David Johnson
Morgan & Claypool, 2011, E-book ISBN 9781608456567
http://www.morganclaypool.com.databases.poly.edu/doi/pdf/10.2200/S00336ED1V01Y20110
2CSL003
http://www.morganclaypool.com/doi/pdf/10.2200/S00336ED1V01Y201102CSL003

Program Construction: International Summer School
F. L. Bauer and M. Broy (Editors)
http://www.springerlink.com.databases.poly.edu/content/978-3-540-09251-3/
http://www.springerlink.com/content/978-3-540-09251-3/

A Tutorial Introduction to Designs in Unifying Theories of Programming Pages 40-66
Jim Woodcock and Ana Cavalcanti
http://www.springerlink.com.databases.poly.edu/content/kb8wux31jajndeda/
Integrated Formal Methods, 4th International Conference, IFM 2004
Eerke A. Boiten, John Derrick, and Graeme Smith (Editors)

The Laws of Programming Unify Process Calculi Pages 7-22
Tony Hoare and Stephan van Staden
http://www.springerlink.com.databases.poly.edu/content/u8q6380460rp8303/
http://www.springerlink.com/content/u8q6380460rp8303/
Mathematics of Program Construction: 11th International Conference, MPC 2012
Jeremy Gibbons and Pablo Nogueira (Editors)

Unifying Theories of Programming
C.A.R. Hoare and He Jifeng
Prentice-Hall, 1996
http://www.unifyingtheories.org/

==========================================================

====================== Shelf13: Classics ======================

A Programming Language
Kenneth E. Iverson
http://www.jsoftware.com/papers/APL.htm

A theory of type polymorphism in programming
Robin Milner
Journal of Computer and System Sciences, Volume 17, Number 3 (December 1978)
Pages 348-375
http://www.sciencedirect.com.databases.poly.edu/science/article/pii/0022000078900144
http://www.sciencedirect.com/science/article/pii/0022000078900144

Communicating Sequential Processes
C.A.R. (Tony) Hoare
http://www.usingcsp.com/

==========================================================

============= Shelf14: History of Computer Science =============

George Dyson, Science Historian and Author
Origins of the Digital Universe, Perimeter Institute (September 18, 2011)
http://www.youtube.com/watch?v=Tg5gJxXBh8s
Turings Cathedral, Computer History Museum (March 7, 2012)
http://www.youtube.com/watch?v=hF9VsUxHM9U

George Boole, a Forerunner of Symbolic Computation Pages 1-19
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, and Alberto Brunori
http://www.springerlink.com.databases.poly.edu/content/pydka4w80tk0x5ky/
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000
John A. Campbell and Eugenio Roanes-Lozano (Editors)

Boole: From Calculating Numbers to Calculating Thoughts Pages 172-179
Michele Friend
http://www.springerlink.com.databases.poly.edu/content/l5154p5430757162/
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010
Fernando Ferreira, Benedikt Lowe, Elvira Mayordomo, and Luis Mendes Gomes (Editors)

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information
Technology
Radomir S. Stankovic and Jakko Astola
Springer, 2011, ISBN 978-3-642-11681-0

From Mathematical Constructivity to Computer Science: Alan Turing, John von Neumann, and
the Origins of Computer Science in Mathematical Logic
William F. Aspray, Jr.
PhD Thesis, University of Wisconsin-Madison, 1980
http://proquest.umi.com.databases.poly.edu/pqdweb?index=74&did=749721931&SrchMode=
1&sid=2&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1345063019&clientI
d=8633
**** NOTE: if you get an error message, click on the link again ****
http://proquest.umi.com/pqdweb?index=74&did=749721931&SrchMode=1&sid=2&Fmt=2&VI
nst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1345063019&clientId=8633&cfc=1
**** alternative links ****
http://proquest.umi.com.databases.poly.edu/pqdweb?index=72&did=749721931&SrchMode=
1&sid=1&Fmt=6&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1313701938&clientI
d=8633
http://proquest.umi.com/pqdweb?index=72&did=749721931&SrchMode=1&sid=1&Fmt=6&VI
nst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1313701938&clientId=8633

Alan M. Turing: Centenary Edition, Second Edition
Sara Turing

AlanTuring.net The Turing Archive for the History of Computing
http://www.alanturing.net/index.htm

The Turing Digital Archive
http://www.turingarchive.org/

ALAN TURING Website maintained by Andrew Hodges
http://www.turing.org.uk/

Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius
Formal Aspects of Computing, Volume 14, Number 2 (December 2002) Pages 92-98

E. W. Dijkstra Archive
http://www.cs.utexas.edu/~EWD/

Simula Research Laboratory: by thinking constantly about it
Aslak Tveito, Are Magnus Bruaset, and Olaf Lysne (Editors)
Springer, 2010, ISBN 978-3-642-01155-9

As We May Think
Vannevar Bush
The Atlantic Magazine, July 1945
http://www.theatlantic.com/magazine/print/1945/07/as-we-may-think/3881/

==========================================================

========= Shelf15: Telecommunications and Networking ==========

Communication Networks: A Concise Introduction
Jean Walrand and Shyam Parekh
2CNT004
http://www.morganclaypool.com/doi/abs/10.2200/S00254ED1V01Y201002CNT004

Networked Life: 20 Questions and Answers
Mung Chiang
http://dx.doi.org.databases.poly.edu/10.1017/CBO9781139176200
http://dx.doi.org/10.1017/CBO9781139176200

Architecture of Network Systems
Dimitrios Serpanos and Timan Wolf
Elsevier, 2011, ISBN 978-0-12-374494-4

Game Theory and Learning for Wireless Networks: Fundamentals and Applications
Samson lasaulce and Hamidou Tembine
Elsevier, 2011, ISBN 978-0-12-3846983

Principles of Spread-Spectrum Communication Systems, Second Edition
Don Torrieri
Springer, 2011, ISBN 978-1-4419-9594-0

Autonomic Network Management Principles: From Concepts to Applications
Nazim Agoulmine
Elsevier, 2011, ISBN 978-0-12-382190-4

Network Coding: Fundamentals and Applications
Muriel Medard and Alex Sprintson (Editors)
Elsevier, 2012, ISBN 978-0-12-380918-6

Mobile WiMAX: A Systems Approach to Understanding IEEE 802.16m Radio Access
Technology
Sassan Ahmadi
Elsevier, 2011, ISN 978-0-12-374964-2

MIMO: From Theory to Implementation
Alain Sibille, Claude Oestges, and Alberto Zanella
Elsevier, 2011, ISBN 978-0-12-382194-2

Mobile Video with Mobile IPv6
Daniel Minoli
Wiley, 2012, ISBN 9781118396599

Personal Networks: Wireless Networking for Personal Devices
Martin Jacobsson, Ignas Niemegeers, and Sonia Heemstra de Groot
Wiley, 2010, ISBN 9780470666746

4G LTE/LTE-Advanced for Mobile Broadband
Eric Dahlman, StefanParkvall, and Johan Skold
Elsevier, 2011, ISBN 978-0-12-385489-6

EPC and 4G Packet Networks: Driving the Mobile Broadband Revolution, Second edition
Magnus Olsson, Shabnam Sultana, Stefan Rommer, Lars Frid, and Catherine Mulligan
Elsevier, 2013, ISBN 978-0-12-394595-2

Guide to Voice and Video over IP: For Fixed and Mobile Networks
Lingfen Sun, Is-Haka Mkwawa, Emmanuel Jammeh, and Emmanuel Ifeachor
Springer, 2013, ISBN 978-1-4471-4905-7
http://dx.doi.org/10.1007/978-1-4471-4905-7

Principles of Cognitive Radio
Ezio Biglieri, Andrea J. Goldsmith, Larry J. Greenstein, Narayan B. Mandayam, and H. Vincent
Poor

Publish/Subscribe Systems: Design and Principles
Sasu Tarkoma
Wiley, 2012, ISBN 9781118354261

Queueing Modelling Fundamentals: With Applications in Communication Networks, Second
Edition
Ng Chee-Hock and Soong Boon-Hee
Wiley, 2008, ISBN 9780470994672

==========================================================

================= Shelf16: Information Theory =================

The Information Paradox
Peter J. Denning and Tim Bell
American Scientist, Volume 100, Number 6 (November/December 2012) Pages 470-477
http://web.ebscohost.com/ehost/detail?vid=4&hid=10&sid=e4113e4e-ca13-4f87-bc05-
1f26bf5888ac%40sessionmgr10&bdata=JnNpdGU9ZWhvc3QtbGl2ZQ%3d%3d#db=a9h&AN=82
403970
http://www.americanscientist.org/issues/feature/2012/6/the-information-paradox

Fundamentals in Information Theory and Coding
Monica Borda
Springer, 2011, ISBN 978-3-642-20347-3
http://dx.doi.org/10.1007/978-3-642-20347-3

Classical and Quantum Information
Dan C. Marinescu and Gabriela M. Marinescu
Elsevier, 2012, ISBN 978-0-12-383874-2

Quantum Information Processing and Quantum Error Correction An Engineering Approach
Ivan Djordjevic
Elsevier, 2012, ISBN 978-0-12-385491-9

A Mathematical Theory of Communication
C. E. Shannon
The Bell System Technical Journal, Volume 27, Number 3 (July 1948) Pages 379-423
http://www.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-3-379.pdf

Communication Theory of Secrecy Systems
C. E. Shannon
The Bell System Technical Journal, Volume 28, Number 4 (October 1949) Pages 656-715
http://www.alcatel-lucent.com/bstj/vol28-1949/articles/bstj28-4-656.pdf

Claude Shannon: Father of the Information Age
http://www.youtube.com/watch?v=z2Whj_nL-x8

Optimal Estimation of Parameters
Jorma Rissanen

==========================================================

=============== Shelf17: Computer Architecture ================

Digital Logic Design: A Rigorous Approach
Guy Even and Moti Medina

Mobile 3D Graphics SoC: From Algorithm to Chip
Jeong-Ho Woo, Ju-Ho Sohn, Byeong-Gyu Nam, and Hoi-Jun Yoo
Wiley, 2010, ISBN 9780470823798

FPGAs 101: Everything you need to know to get you started
Gina Smith
Elsevier, 2010, ISBN 978-1-85617-706-1

VHDL 101: Everything you need to know to get started
**** FPGA design *****************************
William Kafig
Elsevier, 2011, ISBN 978-1-85617-704-7

Partial Reconfiguration on FPGAs: Architectures, Tools and Applications
Dirk Koch
Springer, 2013, ISBN978-1-4614-1225-0
http://dx.doi.org/10.1007/978-1-4614-1225-0

Introduction to Hardware Security and Trust
Mohammad Tehranipoor and Cliff Wang (Editors)
Springer, 2012, ISBN 9781-4419-8079-3

Quantum Computing for Computer Architects, Second Edition
Tzvetan S. Metodi, Arvin I. Faruque, and Frederic T. Chong
Morgan & Claypool, 2011, E-book ISBN 9781608456208
http://www.morganclaypool.com.databases.poly.edu/doi/pdf/10.2200/S00331ED1V01Y20110
1CAC013
http://www.morganclaypool.com/doi/pdf/10.2200/S00331ED1V01Y201101CAC013

==========================================================

============ Shelf18: Theoretical Computer Science =============

Computers, Paradoxes and the Foundations of Mathematics
Gregory J. Chaitin
American Scientist, Volume 90, Number 2 (March-April 2002) Pages 164-171
http://www.jstor.org.databases.poly.edu/stable/pdfplus/27857631.pdf?acceptTC=true
http://www.jstor.org/stable/pdfplus/27857631.pdf?acceptTC=true

How Much Information Can There Be in a Real Number? Pages 247-231
Gregory Chaitin
http://www.springerlink.com.databases.poly.edu/content/x7767067867141xx/
Is the Universe Like or ? Pages 315-319
Stephen Wolfram
http://www.springerlink.com.databases.poly.edu/content/934402223285w243/fulltext.pdf
Computation, Physics and Beyond, International Workshop on TCS, WTCS 2012
Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday
Michael J. Dinneen, Bakhadyr Khoussainov, and Andre Nies (Editors)

Algorithmic Information Theory
Gregory J. Chaitin
G J Chaitin Home Page
http://www.umcs.maine.edu/~chaitin/
Wikipedia: http://en.wikipedia.org/wiki/Gregory_Chaitin

Metamathematics, Machines, and Godels Proof
N. Shankar

Programs, Recursion and Unbounded Choice: Predicate Transformation Semantics and
Transformation Rules
Wim H. Hesselink

==========================================================

Computer Science

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Computer Science

Uploaded by

Copyright:

Available Formats

Competitive Learning

The Intelligent Persons Guide to Books and Articles on Topics in

You might also like