1. Ciencia

Computer Science, Information Science,
and Coding Theory
Here all links to books and articles in proprietary digital
libraries are “local” – each link will work on any campus
with legitimate (level of) access to those libraries.
The links to open-access items will work everywhere.
For a more comfortable library visit, use Google Chrome
and, while you are scrolling through the titles, always
right-click on the selected item’s link to “Open link in
new tab” – after you close the new tab, your cursor will
be where you right-clicked.
This section of the library was updated on February 1, 2015.
For more information, right-click on:
http://competitive-learning.org/Notes.pdf
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 as is;
you may not use this work for commercial purposes.
Professor Joseph Vaisman
Department of Computer Science and Engineering, NYU-Poly
[email protected]
Table of Contents
Introduction to Computer Science
State of the Science
Mathematics for Computer Science
Debates in Computing
Programming Languages and Compilers
Operating Systems
Theory of Algorithms
What Is Computation?
Theory of Computation
Databases and Information Retrieval
The Semantic Web
The Unreasonable Effectiveness of Data
The Argument Web
Data Science
Data Mining
Clustering
High-Dimensional Data
Symbolic Data Analysis
Data Stream Mining
Text Mining
Computational Social Science
Sentiment Analysis
Data Analysis and Data Visualization
Big Data
Human-Computer Interaction
Ironies of Automation
Fun with Algorithms
ACM Turing Award Lectures
Thoughts, Ideas, Opinions, and Surveys
Formal Methods – Dijkstra et al.
Proof Assistants and Formally Verified
Mathematics
Classics
History of Computer Science
Telecommunications and Networking
Information Theory and Coding Theory
Quantum Computing
Computer Hardware and Architecture
FPGAs
Embedded and Real-Time Systems
Theoretical Computer Science
Legal Matters
Additional Web Resources
Reference Material
Odds & Ends
Introduction to Computer Science =========
What Is Computer Science? – An Information Security
Perspective
Daniel Page and Nigel Smart
Springer, 2014, ISBN 978-3-319-04042-4
http://dx.doi.org/10.1007/978-3-319-04042-4
The Power of Algorithms:
Inspiration and Examples in Everyday Life
Giorgio Ausiello and Rosella Petreschi (Editors)
Springer, 2013, ISBN 978-3-642-39652-6
http://dx.doi.org/10.1007/978-3-642-39652-6
Algorithmic Adventures: From Knowledge to Magic
Juraj Hromkovic
Springer, 2009, 978-3-540-85986-4
http://dx.doi.org/10.1007/978-3-540-85986-4
Theoretical Introduction to Programming
Bruce Mills
Springer, 2006, ISBN 978-1-84628-263-2
http://dx.doi.org/10.1007/1-84628-263-2
Algorithms Unplugged
B. Vocking et al. (Editors)
Springer, 2011, ISBN 978-3-642-15328-0
http://dx.doi.org/10.1007/978-3-642-15328-0
Great Ideas in Computing Science from Aristotle to
Euclid
C.A.R. (Tony) Hoare
Keynote Speech at Computing at School Conference
(June 2011)
http://www.youtube.com/watch?v=wcYMhVWsAXA
Wikipedia:
http://en.wikipedia.org/wiki/Tony_Hoare
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/
Computing: A Historical and Technical Perspective
Yoshihide Igarashi, Tom Altman, Mariko Funada,
and Barbara Kamiyama
CRC Press, 2014, ISBN 978-1-4822-2742-0
http://www.crcnetbase.com/isbn/978-1-4822-2741-3
Mathematics in Computing:
An Accessible Guide to Historical, Foundational and
Application Contexts
Gerard O’ Regan
Springer, 2013, ISBN 978-1-4471-4534-9
http://dx.doi.org/10.1007/978-1-4471-4534-9
Computer, Network, Software, and Hardware Engineering
with Applications
Norman F. Schneidewind
Wiley, 2012, ISBN 9781118181287
http://dx.doi.org/10.1002/9781118181287
Applied Computer Science
Shane Torbert
Springer, 2012, ISBN 978-1-4614-1888-7
http://dx.doi.org/10.1007/978-1-4614-1888-7
The Great Principles of Computing
Peter J. Denning
American Scientist,
Volume 98, Number 5 (September-October 2010)
http://www.americanscientist.org/issues/pub/the-greatprinciples-of-computing
Cultures of Code
Brian Hayes
American Scientist,
Volume 103, Number 1 (January-February 2015)
http://dx.doi.org/10.1511/2015.112.10
How to Think Like a Computer Scientist: C++ Version
Allen B. Downey
Green Tea Press, 2012
http://greenteapress.com/thinkcpp/index.html
**** More free books ****
http://greenteapress.com/
Back to the Table of Contents
=======================================
State of the Science =====================
The Science in Computer Science:
Computer science is in a period of renaissance as it
rediscovers its science roots
Peter J. Denning
Communications of the ACM,
Volume 56, Number 5 (May 2013)
http://dx.doi.org/10.1145/2447976.2447988
TURING CENTENNIAL CELEBRATION
Princeton University (May 10-12, 2012)
http://www.princeton.edu/turing/index.xml
Lambda Calculus, Then and Now
Dana S. Scott, Emeritus Hillman University Professor of
Computer Science, Philosophy, and Mathematical Logic
http://www.youtube.com/watch?v=7cPtCpyBPNI
Church's Coincidences
Philip Wadler, Professor of Theoretical Computer Science,
University of Edinburgh
http://www.youtube.com/watch?v=2PJ_DbKGFUA
Computer Science as a Natural Science
Leslie G. Valiant, T. Jefferson Coolidge Professor of Computer
Science and Applied Mathematics, Harvard University
http://www.youtube.com/watch?v=VED_IiPwBPs
Quantum Computing: A Great Science in the Making
Andrew Chi-Chih Yao, Director and Professor,
Institute for Theoretical Computer Science, Tsinghua
University
http://www.youtube.com/watch?v=v627kZTQ2Ck
A Systems Approach to Managing Distributed Information
Robert Kahn, Chairman, CEO, and President,
Corporation for National Research Initiatives
http://www.youtube.com/watch?v=4DD711GISZA
Theory of Computation as an Enabling Tool for the Sciences
Richard M. Karp, University Professor,
University of California at Berkeley
http://www.youtube.com/watch?v=6KUn9v-Y78Q
Universality is Ubiquitous
Martin Davis, Professor Emeritus, New York University
http://www.youtube.com/watch?v=ZVTgtODX0Nc
Mathematical biology, past present and future…
James D. Murray, Senior Scholar, Princeton University
http://www.youtube.com/watch?v=6Yj5Nyb_VyU
Programming the Turing Machine
Barbara Liskov, Institute Professor,
Massachusetts Institute of Technology
http://www.youtube.com/watch?v=ibRar7sWulM
Never Ending Language Learning
Tom M. Mitchell, E. Fredkin University Professor,
Carnegie Mellon University
http://www.youtube.com/watch?v=51q2IajH94A
Turing and the Riemann zeta function
Andrew Odlyzko, Professor of Mathematics,
University of Minnesota
http://www.youtube.com/watch?v=pQS7X_8iTCA
The Growth of Cryptography
Ronald Rivest, Erna Viterbi Professor of Electrical Engineering
and Computer Science, Massachusetts Institute of Technology
http://www.youtube.com/watch?v=D4HcvehEU9c
Models of Computation and Systems of Logic:
Turing, Gödel, and Church at Princeton in the 1930s
Andrew Appel, Professor of Computer Science,
Princeton University
http://www.youtube.com/watch?v=kO-8RteMwfw
Standing on the Shoulders of a Giant:
One Person’s Experience of Turing’s Impact
David Harel, The William Sussman Professorial Chair,
The Weizmann Institute of Science
http://www.youtube.com/watch?v=J3lst46sEsQ
The hardness of proving computational hardness
Avi Wigderon, Professor, Institute for Advanced Study,
Princeton University
http://www.youtube.com/watch?v=qb87YE_nMO0
Pseudo Deterministic Algorithms
Shafi Goldwasser, RSA Professor of Electrical Engineering and
Computer Science, MIT and the Weizmann Institute of Science
http://www.youtube.com/watch?v=eMbO80voNfQ
Search Tree Mysteries
Robert E. Tarjan, James S. McDonnell Distinguished University
Professor of Computer Science, Princeton University
http://www.youtube.com/watch?v=nptVkkJv4gc
What Would Turing Be Doing Today?
Richard Lipton, Professor of Computer Science,
Georgia Institute of Technology
http://www.youtube.com/watch?v=_69ofLJns1w
The Origin of Computable Numbers: A Tale of Two Classics
Christos H. Papadimitriou, C. Lester Hogan Professor of EECS,
University of California at Berkeley
http://www.youtube.com/watch?v=IZWjFCTx0OQ
Artificial Intelligence, Evolutionary Computing and
Metaheuristics:
In the Footsteps of Alan Turing
Xin-She Yang (Editor)
Springer, 2013, ISBN 978-3-642-29694-9
http://dx.doi.org/10.1007/978-3-642-29694-9
Special theme: What is Computation? – Alan Turing’s Legacy
ERCIM News, Number 91 (October 2012)
*** Click on ‘This issue in pdf‘ ***
http://ercim-news.ercim.eu/en91
Turing’s Legacy: Developments from Turing’s Ideas in Logic
Rod Downey (Editor)
Cambridge University Press, 2014, ISBn 9781107338579
http://dx.doi.org/10.1017/CBO9781107338579
Back to the Table of Contents
=======================================
Mathematics for Computer Science ========
Applied Discrete Structures
Alan Doerr and Kenneth Levasseur (2013)
http://faculty.uml.edu/klevasseur/ads2/
Home Page of Ken Levasseur
http://faculty.uml.edu/klevasseur/
Sets, Logic and Maths for Computing, Second Edition
David Makinson
Springer, 2012, ISBN 978-1-4471-2500-6
http://dx.doi.org/10.1007/978-1-4471-2500-6
Fundamentals of Discrete Math for Computer Science:
A Problem-Solving Primer
Tom Jenkyns and Ben Stephenson
Springer, 2013, ISBN 978-1-4471-4069-6
http://dx.doi.org/10.1007/978-1-4471-4069-6
Mathematics of Discrete Structures for Computer Science
Gordon J. Pace
Springer, 2012, ISBN 978-3-642-29840-0
http://dx.doi.org/10.1007/978-3-642-29840-0
Relations and Graphs:
Discrete Mathematics for Computer Scientists
Gunther Schmidt and Thomas Strohlein
Springer, 1993, ISBN 978-3-642-77968-8
http://dx.doi.org/10.1007/978-3-642-77968-8
Some Beautiful Arguments Using Mathematical Induction
Edsger W. Dijkstra
Acta Informatica, Volume 13, Number 1 (January 1980)
http://dx.doi.org/10.1007/BF00288531
Constructive Combinatorics
Dennis Stanton and Dennis White
Springer, 1986, ISBN 978-1-4612-4968-9
http://dx.doi.org/10.1007/978-1-4612-4968-9
Analytic Combinatorics
Philippe Flajolet and Robert Sedgewick
Cambridge University Press, 2009, ISBN 9780511801655
http://dx.doi.org/10.1017/CBO9780511801655
Mathematics for Computer Science
Eric Lehman and Tom Leighton
http://www.cs.princeton.edu/courses/archive/spr10/cos433/m
athcs.pdf
Mathematical Tools for Data Mining:
Set Theory, Partial Orders, Combinatorics; Second Edition
Dan A. Simovici and Chabane Djeraba
Springer, 2014, ISBN 978-1-4471-6407-4
http://dx.doi.org/10.1007/978-1-4471-6407-4
Introduction to Logic
Michael Genesereth and Eric Kao
Morgan & Claypool, 2012, ISBN 9781627050067
http://dx.doi.org/10.2200/S00432ED1V01Y201207CSL005
Logic for Computer Scientists
Uwe Shoning
Springer, 2008, ISBN 978-0-8176-4762-9
http://dx.doi.org.databases.poly.edu/10.1007/978-0-81764763-6
http://dx.doi.org/10.1007/978-0-8176-4763-6
Logic in Computer Science:
Modelling and Reasoning about Systems
Michael Huth and Mark Ryan
Cambridge University Press, 2004, ISBN 9780511810275
http://dx.doi.org/10.1017/CBO9780511810275
Mathematical Logic for Computer Science, Second Edition
Mordechai Ben-Ari
Springer, 2004 (2001), ISBN 978-1-4471-0335-6
http://dx.doi.org/10.1007/978-1-4471-0335-6
Logic Functions and Equations:
Binary Models for Computer Science
Christian Posthoff and Bernd Steinbach
Springer, 2004, 978-1-4020-2938-7
http://dx.doi.org/10.1007/978-1-4020-2938-7
Lambda Calculi: A Guide
Chris Hankin
http://dx.doi.org/10.1007/978-94-007-0485-5_1
Handbook of Philosophical Logic, 2nd Edition, Volume 15
Dov M. Gabbay and Franz Guenther (Editors)
Springer, 2011, ISBN 978-94-007-0485-5
http://dx.doi.org/10.1007/978-94-007-0485-5
Why Sets?
Andreas Blass and Yuri Gurevich
http://dx.doi.org/10.1007/978-3-540-78127-1_11
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-78127-1, LNCS 4800
http://dx.doi.org/10.1007/978-3-540-78127-1
Set Theory for Computing:
From Decision Procedures to Declarative Programming with
Sets
Domenico Cantone, Eugenio Omodeo, and Alberto Policriti
Springer, 2001, ISBN 978-1-4757-3452-2
http://dx.doi.org/10.1007/978-1-4757-3452-2
Programming with Sets: An Introduction to SETL
J.T. Schwartz, P.B.K. Dewar, E. Dubinsky, and E. Schoenberg
Springer, 1986, ISBN 978-1-4613-9575-1
http://dx.doi.org/10.1007/978-1-4613-9575-1
Mathematics for the Analysis of Algorithms, Third Edition
Daniel H. Greene and Donald E. Knuth
Springer, 2008, ISBN 978-0-8176-4729-2
http://dx.doi.org/10.1007/978-0-8176-4729-2
Analysis for Computer Scientists:
Foundations, Methods, and Algorithms
Michael Obergruggenberger and Alexander Ostermann
Springer, 2011, ISBN 978-0-85729-446-3
http://dx.doi.org/10.1007/978-0-85729-446-3
Comprehensive Mathematics for Computer Scientists 1,
Second Edition
Guerino Mazzola, Gerard Milmeister, and Jody Weissmann
Springer, 2006, ISBN 978-3-540-36874-8
http://dx.doi.org/10.1007/978-3-540-36874-8
Comprehensive Mathematics for Computer Scientists 2
Guerino Mazzola, Gerard Milmeister, and Jody Weissmann
Springer, 2005, ISBN 978-3-540-26937-3
http://dx.doi.org/10.1007/b138337
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-85298-8
http://dx.doi.org/10.1007/978-3-540-85298-8
Graph Theory with Algorithms and Its Applications:
In Applied Science and Technology
Santanu Saha Ray
Springer, 2013, ISBN 978-81-322-0750-4
http://dx.doi.org/10.1007/978-81-322-0750-4
Extremal Combinatorics:
With Applications in Computer Science, Second Edition
Stasys Jukna
Springer, 2011, ISBN 978-3-642-17364-6
http://dx.doi.org/10.1007/978-3-642-17364-6
Probability and Statistics for Computer Science
James L. Johnson
Wiley, 2008, ISBN 9781118165836
http://dx.doi.org/10.1002/9781118165836
Finite Markov Chains and Algorithmic Applications
Olle Haggstrom
Cambridge University Press, 2002, ISBN 9780511613586
http://dx.doi.org/10.1017/CBO9780511613586
Outlier Analysis
Charu C. Aggarwal
Springer, 2013, ISBN 978-1-4614-6396-2
http://dx.doi.org/10.1007/978-1-4614-6396-2
Random Walks and Diffusions on Graphs and Databases:
An Introduction
Philippe Blanchard and Dimitri Volchenkov
Springer, 2011, ISBN 978-3-642-19592-1
http://dx.doi.org/10.1007/978-3-642-19592-1
Understanding and Using Linear Programming
Jiri Matousek and Bernd Gartner
Springer, 2007, ISBN 978-3-540-30717-4
http://dx.doi.org/10.1007/978-3-540-30717-4
On Euclid’s algorithm and elementary number theory
Roland Backhouse and Joao F. Ferreira
Science of Computer Programming,
Volume 76, Issue 3 (March 2011)
http://dx.doi.org/10.1016/j.scico.2010.05.006
An Introduction to Category Theory
Harold Simmons
Cambridge University Press, 2011, ISBN 9780511863226
http://dx.doi.org/10.1017/CBO9780511863226
Basic Category Theory
Tom Leinster
Cambridge University Press, 2014, ISBN 9781107360068
http://dx.doi.org/10.1017/CBO9781107360068
Categories and Computer Science
R. F. C. Walters
Cambridge University Press, 1992, ISBN 9780511608872
http://dx.doi.org/10.1017/CBO9780511608872
The B-Book: Assigning Programs to Meanings
J.-R. Abrial
Cambridge University Press, 1996, ISBN 9780511624162
http://dx.doi.org/10.1017/CBO9780511624162
Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
Cambridge University Press, 2010, ISBN 9781139195881
http://dx.doi.org/10.1017/CBO9781139195881
Proofs and Computations
Helmut Schwichtenberg and Stanley S. Wainer
Cambridge University Press, 2012, ISBN 9781139031905
http://dx.doi.org/10.1017/CBO9781139031905
Topology for Computing
Afra J. Zomorodian
Cambridge University Press, 2005, ISBN 978-0-511-54694-5
http://dx.doi.org/10.1017/CBO9780511546945
Probability on Trees and Networks
Russell Lyons with Yuval Peres
http://php.indiana.edu/~rdlyons/prbtree/prbtree.html
Understanding Petri Nets:
Modeling Techniques, Analysis Methods, Case Studies
Wolfgang Reisig
Springer, 2013, ISBN 978-3-642-33278-4
http://dx.doi.org/10.1007/978-3-642-33278-4
Petri Nets: Fundamental Models, Verification and Applications
Michel Diaz (Editor)
Wiley, 2009, ISBN 9780470611647
http://dx.doi.org/10.1002/9780470611647
Augmented Marked Graphs
King Sing Cheung
Springer, 2014, ISBN 978-3-319-06428-4
http://dx.doi.org/10.1007/978-3-319-06428-4
Patterns in Permutations and Words
Sergey Kitaev
Springer, 2011, ISBN 978-3-642-17333-2
http://dx.doi.org/10.1007/978-3-642-17333-2
Knapsack Problems
Hans Kellerer, Ulrich Pferschy, and David Pisinger
Springer, 2004, ISBN 978-3-540-24777-7
http://dx.doi.org/10.1007/978-3-540-24777-7
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt and Erich Gradel (editors)
Cambridge University Press, 2011, ISBN 9780511973468
http://dx.doi.org/10.1017/CBO9780511973468
Geometric Algebra:
An Object-Oriented Approach for Computer Science
Leo Dorst, Daniel Fontijne, and Stephen Mann
Elsevier, 2007, ISBN 978-0-12-374942-0
http://www.sciencedirect.com/science/book/9780123749420
A Short Course in Computational Geometry and Topology
Herbert Edelsbrunner
Springer, 2014, ISBN 978-3-319-05957-0
http://dx.doi.org/10.1007/978-3-319-05957-0
Logical Foundations of Mathematics and Computational
Complexity:
A Gentle Introduction
Pavel Pudlak
Springer, 2013, ISBN 978-3-319-00119-7
http://dx.doi.org/10.1007/978-3-319-00119-7
Back to the Table of Contents
=======================================
Debates in Computing ===================
Three Debates about Computing
Matti Tedre
http://dx.doi.org/10.1007/978-3-642-39053-1_48
The Nature of Computation. Logic, Algorithms, Applications:
9th Conference on Computability in Europe, CiE 2013
Paola Bonizzoni, Vasco Brattka, and Benedikt Lowe (Editors)
Springer, 2013, ISBN 978-3-642-39053-1
http://dx.doi.org/10.1007/978-3-642-39053-1
Computing as a Science: A Survey of Competing Viewpoints
Matti Tedre
Minds and Machines, Volume 21, Number 3 (August 2011)
http://dx.doi.org/10.1007/s11023-011-9240-4
Lecture notes in the philosophy of computer science
Matti Tedre (2007)
http://cs.joensuu.fi/~mmeri/teaching/2007/philcs/
The Science of Computing: Shaping a Discipline
Matti Tedre
CRC Press, 2015, ISBN 978-1-4822-1770-4
http://dx.doi.org/10.1201/b17764
Back to the Table of Contents
=======================================
Programming Languages and Compilers ====
Programming Languages and Operational Semantics:
A Concise Overview
Maribel Fernandez
Springer, 2014, ISBN 978-1-4471-6368-8
http://dx.doi.org/10.1007/978-1-4471-6368-8
How to Kill Epsilons with a Dagger
Filippo Bonchi, Stefan Milius, Alexandra Silva,
and Fabio Zanasi
http://dx.doi.org/10.1007/978-3-662-44124-4_4
Coalgebraic Methods in Computer Science:
12th IFIP WG 1.3 International Workshop, CMC 2014
Marcello M. Bonsangue (Editor)
Springer, 2014, ISBN 978-3-662-44124-4, LNCS 8446
http://dx.doi.org/10.1007/978-3-662-44124-4
Advanced C and C++ Compiling
Milan Stevanovic
Springer, 2014, ISBN 978-1-4302-6668-6
http://dx.doi.org/10.1007/978-1-4302-6668-6
Practical Foundations for Programming Languages
Robert Harper
Cambridge University Press, 2013, ISBN 978113934213
http://dx.doi.org/10.1017/CBO9781139342131
Programming Language Concepts
Peter Sestoft
Springer, 2012, ISBN 978-1-4471-4156-3
http://dx.doi.org/10.1007/978-1-4471-4156-3
Programming Languages: Principles and Paradigms
Maurizio Gabbrielli and Simone Martini
Springer, 2010, ISBN 978-1-84882-914-5
http://dx.doi.org/10.1007/978-1-84882-914-5
Principles of Programming Languages
Gilles Dowek
Springer, 2009, ISBN 978-1-84882-032-6
http://dx.doi.org/10.1007/978-1-84882-032-6
Programming Languages: An Active Learning Approach
Kent D. Lee
Springer, 2008, ISBN 978-0-387-79422-8
http://dx.doi.org/10.1007/978-0-387-79421-1
Object-Oriented Programming Languages: Interpretation
Iain D. Craig
Springer, 2007, ISBN 978-1-84628-774-9
http://dx.doi.org/10.1007/978-1-84628-774-9
Introduction to the Theory of Programming Languages
Gilles Dowek and Jean-Jacques Levy
Springer, 2011, ISBN 978-0-85729-076-2
http://dx.doi.org/10.1007/978-0-85729-076-2
Theories of Programming Languages
John C. Reynolds
Cambridge University Press, 1998, ISBN 9780511626364
http://dx.doi.org/10.1017/CBO9780511626364
Notation as a Tool of Thought
Kenneth E. Iverson
http://amturing.acm.org/award_winners/iverson_9147499.cfm
Communications of the ACM,
Volume 23, Number 8 (August 1980)
http://dx.doi.org/10.1145/358896.358899
A Programming Language
Kenneth E. Iverson
http://www.jsoftware.com/papers/APL.htm
How BCPL Evolved from CPL
Martin Richards
The Computer Journal, Volume 56, Number 5 (May 2013)
http://dx.doi.org/10.1093/comjnl/bxs026
Virtual Machines:
Versatile Platforms for Systems and Processes
Jim Smith and Ravi Nair
Elsevier, 2005, ISBN 978-1-55860-910-5
http://www.sciencedirect.com/science/book/9781558609105
Principles of Compilers:
A New Approach to Compilers Including the Algebraic Method
Yunlin Su and Song Y. Yan
Springer, 2011, ISBN 978-3-642-20835-5
http://dx.doi.org/10.1007/978-3-642-20835-5
Compiler Construction Using Java, JavaCC, and Yacc
Anthony J. Dos Reis
Wiley, 2012, ISBN 9781118112762
http://dx.doi.org/10.1002/9781118112762
.NET IL Assembler
Serge Lidin
Springer, 2014, ISBN 978-1-4302-6760-7
http://dx.doi.org/10.1007/978-1-4302-6760-7
Compiler Design: Virtual Machines
Reinhard Wilhelm, and Helmut Seidl
Springer, 2010, ISBN 978-3-642-14909-2
http://dx.doi.org/10.1007/978-3-642-14909-2
Compiler Design: Syntactic and Semantic Analysis
Helmut Seidl, Reinhard Wilhelm, and Sebastian Hack
Springer, 2013, ISBN 978-3-642-17540-4
http://dx.doi.org/10.1007/978-3-642-17540-4
Compiler Design: Analysis and Transformation
Helmut Seidl, Reinhard Wilhelm, and Sebastian Hack
Springer, 2012, ISBN 978-3-642-17548-0
http://dx.doi.org/10.1007/978-3-642-17548-0
Modern Compiler Design, Second Edition
Dick Grune, Kees van Reeuwijk, Henri E. Bal,
Ceriel J.H. Jacobs, and Koen Langendoen
Springer, 2012, ISBN 978-1-4614-4699-6
http://dx.doi.org/10.1007/978-1-4614-4699-6
Parsing Techniques: A Practical Guide
Dick Grune and Ceriel J.H. Jacobs
Springer, 2008, ISBN 978-0-387-68954-8
http://dx.doi.org/10.1007/978-0-387-68954-8
Formal Languages and Compilation
Stefano Crespi Reghizzi
Springer, 2009, ISBN 978-1-84882-050-0
http://dx.doi.org/10.1007/978-1-84882-050-0
Semantics with Applications: An Appetizer
Hanne Riis Nielson and Flemming Nielson
Springer, 2007, ISBN 978-1-84628-692-6
http://dx.doi.org/10.1007/978-1-84628-692-6
Transitions and Trees:
An Introduction to Structural Operational Semantics
Hans Huttel
Cambridge University Press, 2010, ISBN 9780511840449
http://dx.doi.org/10.1017/CBO9780511840449
Pattern Calculus: Computing with Functions and Structures
Barry Jay
Springer, 2009, ISBN 978-3-540-89185-7
http://dx.doi.org/10.1007/978-3-540-89185-7
Algorithms, The Lambda Calculus and Programming:
An Intuitive Approach
Abhijat Vichare
Resonance, Volume 18, Number 4 (April 2013)
http://dx.doi.org/10.1007/s12045-013-0051-1
Lambda-Calculus and Combinators, an Introduction
J. Roger Hindley and Jonathan P. Seldin
Cambridge University Press, 2008, ISBN 9780511809835
http://dx.doi.org/10.1017/CBO9780511809835
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, and Richard Statman
Cambridge University Press, 2013, ISBN 9781139032636
http://dx.doi.org/10.1017/CBO9781139032636
Type Theory and Formal Proof: An Introduction
Rob Nederpelt and Herman Geuvers
Cambridge University Press, 2014, ISBN 9781139567725
http://dx.doi.org/10.1017/CBO9781139567725
Evaluating the Design of the R Language:
Objects and Functions for Data Analysis
Floreal Morandat, Brandon Hill, Leo Osvald, and Jan Vitek
http://dx.doi.org/10.1007/978-3-642-31057-7_6
McSAF: A Static Analysis Framework for MATLAB
Jesse Doherty and Laurie Hendren
http://dx.doi.org/10.1007/978-3-642-31057-7_7
ECOOP 2012 – Object-Oriented Programming:
26th European Conference
James Noble (Editor)
Springer, 2012, ISBN 978-3-642-31057-7
http://dx.doi.org/10.1007/978-3-642-31057-7
Code Generation with Templates
B.J. Arnoldus, M.G.J. van den Brand, A. Serebrenik,
and J.J. Brunekreef
Springer, 2012, ISBN 978-94-91216-56-5
http://dx.doi.org/10.2991/978-94-91216-56-5
Back to the Table of Contents
=======================================
Operating Systems ======================
The Art of Linux Kernel Design:
Illustrating the Operating System Design Principle and
Implementation
Yang Lixiang, Liang Wenfeng, Chen Dazhao, Liu Tianhou,
Wu Ruobing, Song Qi, and Feng Ke
CRC Press, 2014, ISBN 978-1-4665-1804-9
http://dx.doi.org/10.1201/b16785
Practical Linux Infrastructure
Syed Ali
Springer, 2015, ISBN 978-1-4842-0511-2
http://dx.doi.org/10.1007/978-1-4842-0511-2
Back to the Table of Contents
=======================================
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/enus/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/
Back to the Table of Contents
=======================================
What Is Computation? ===================
ACM Ubiquity Symposium:
What is Computation?
*** Series of articles on a single theme in Ubiquity magazine ***
Editor’s Introduction
Peter J. Denning and Peter Wegner October 2010
http://dl.acm.org/citation.cfm?id=1870596
Opening Statement
Peter J. Denning
November 2010
http://dl.acm.org/citation.cfm?id=1880067
The Evolution of Computation
Peter Wegner
November 2011
http://dl.acm.org/citation.cfm?id=1883611
Computation is Symbol Manipulation
John S. Conery
November 2010
http://dl.acm.org/citation.cfm?id=1880066.1889839
Computation is Process
Dennis J. Frailey
November 2010
http://dl.acm.org/citation.cfm?id=1891341
Computing and Computation
Paul S. Rosenbloom
December 2010
http://dx.doi.org/10.1145/1895419.1897729
Computation and Information
Ruzena Bajcsy
December 2010
http://dl.acm.org/citation.cfm?id=1899473
Computation and Fundamental Physics
Dave Bacon
December 2010
http://dl.acm.org/citation.cfm?id=1920826
The Enduring Legacy of the Turing Machine
Lance Fortnow
December 2010
http://dl.acm.org/citation.cfm?id=1921573
Computation and Computational Thinking
Alfred V. Aho
January 2011
http://dl.acm.org/citation.cfm?id=1922682
What is the Right Computational Model for Continuous
Scientific Problems?
Joseph Traub
January 2011
http://dl.acm.org/citation.cfm?id=1925842
Computation, Uncertainty and Risk
Jeffrey P. Busen
January 2011
http://dx.doi.org/10.1145/1922681.1936886
Natural Computation
Erol Gelenbe
February 2011
http://dl.acm.org/citation.cfm?id=1940722
Biological Computation
Melanie Mitchell
February 2011
http://dl.acm.org/citation.cfm?id=1944826
What is Information? Beyond the Jungle of Information
Theories
Paolo Rocchi
March 2011
http://dl.acm.org/citation.cfm?id=1959017
Consideration of the Question ‘What is Computation?’
Considered Harmful
Peter A. Freeman
March 2011
http://dl.acm.org/citation.cfm?id=1959018
Closing Statement
Peter J. Denning
April 2011
http://dl.acm.org/citation.cfm?id=1967046
Back to the Table of Contents
=======================================
Theory of Computation ==================
Foundations of Computation
Carol Critchlow and David Eck
http://math.hws.edu/FoundationsOfComputation/
Alan Turing: His Work and Impact
S. Barry Cooper and Jan van Leeuwen (Editors)
Elsevier, 2013, ISBN 978-0-12-386980-7
http://www.sciencedirect.com/science/book/9780123869807
A Brief History of Cellular Automata
Palash Sarkar
ACM Computing Surveys, Volume 21, Number 1 (March 2000)
http://dx.doi.org/10.1145/349194.349202
Proofs and Algorithms:
An Introduction to Logic and Computability
Gilles Dowek
Springer, 2011, ISBN 978-0-85729-121-9
http://dx.doi.org/10.1007/978-0-85729-121-9
Logical Foundations of Mathematics and Computational
Complexity: A Gentle Introduction
Pavel Pudlak
Springer, 2013, ISBN 978-3-319-00119-7
http://dx.doi.org/10.1007/978-3-319-00119-7
Theory of Computational Complexity, Second Edition
Ding-Zhu Du and Ker-I Ko
Wiley, 2014, ISBN 9781118595091
http://dx.doi.org/10.1002/9781118595091
Complexity Theory:
Exploring the Limits of Efficient Algorithms
Ingo Wegener
Springer, 2005, ISBN 978-3-540-27477-3
http://dx.doi.org/10.1007/3-540-27477-4
Computability and Logic, Fifth Edition
George S. Boolos, John P. Burgess, and Richard C. Jeffrey
Cambridge University Press, 2007, ISBN 9780511804076
http://dx.doi.org/10.1017/CBO9780511804076
P, NP, and NP-Completeness:
The Basics of Computational Complexity
Oded Goldreich
Cambridge University Press, 2010, ISBN 9780511761355
http://dx.doi.org/10.1017/CBO9780511761355
Computational Complexity: A Modern Approach
Sanjeev Arora and Boaz Barak
Cambridge University Press, 2009, ISBN 9780511804090
http://dx.doi.org/10.1017/CBO9780511804090
Concise Guide to Computation Theory
Akira Maruoka
Springer, 2011, ISBN 978-0-85729-535-4
http://dx.doi.org/10.1007/978-0-85729-535-4
Theory of Computation
George Tourlakis
Wiley, 2012, ISBN 9781118014783
http://dx.doi.org/10.1002/9781118315361
Models of Computation:
An Introduction to Computability Theory
Maribel Fernandez
Springer, 2009, ISBN 978-1-84882-434-8
http://dx.doi.org/10.1007/978-1-84882-434-8
Limits of Computation:
An Introduction to the Undecidable and the Intractable
Edna E. Reiter and Clayton Matthew Johnson
CRC Press, 2013, ISBN 978-1-4398-8207-8
http://dx.doi.org/10.1201/b12992
Tractability
Lucas Bordeaux, Youssef Hamadi, and Pushmeet Kohli
(Editors)
Cambridge University Press, 2014, ISBN 9781149177801
http://dx.doi.org/10.1017/CBO9781139177801
Chapter 2 Algorithms and Turing Machines
The Emperor’s New Mind
Roger Penrose
Oxford University Press, 1989, ISBN 978-0-1-286198-6
https://books.google.com/books?isbn=9780192861986
The Universal Turing Machine:
A Half-Century Survey, Second Edition
Rolf Henken (Editor)
Springer, 1995, ISBN 978-3-7091-6597-3
http://dx.doi.org/10.1007/978-3-7091-6597-3
Chapter 2 The Mathematical Infinity
Enrico Bombiery
http://dx.doi.org/10.1017/CBO9780511976889.004
Infinity: New Research Frontiers
Michael Heller and W. Hugh Woodin (Editors)
Cambridge University Press, 2011, ISBN 9780511976889
http://dx.doi.org/10.1017/CBO9780511976889
Turing’s Titanic Machine?
S. Barry Cooper
Communications of the ACM,
Volume 55, Number 3 (March 2012)
http://dx.doi.org/10.1145/2093548.2093569
Chapter 8 Incomputability, Emergence and the Turing
Universe
S. Barry Cooper
http://dx.doi.org/10.1007/978-90-481-3529-5_8
Causality, Meaningful Complexity and Embodied Cognition
A. Carsetti (Editor)
Springer, 2010, ISBN 978-90-481-3529-5
http://dx.doi.org/10.1007/978-90-481-3529-5
Mathematics, Metaphysics and the Multiverse
S. Barry Cooper
http://dx.doi.org/10.1007/978-3-642-27654-5_20
Computation, Physics and Beyond,
International Workshop on TCS, WTCS 2012
Michael J. Dinneen, Bakhadyr Khoussainov, and Andre Nies
(Editors)
Springer, 2012, ISBN 978-3-642-27654-5, LNCS 7160
http://dx.doi.org/10.1007/978-3-642-27654-5
Computing Nature: Turing Centenary Perspective
Gordana Dodig-Crnkovic and Raffaela Giovagnoli (Editors)
Springer, 2013, ISBN 978-3-642-37225-4
http://dx.doi.org/10.1007/978-3-642-37225-4
Foundational Analysis of Computation
Yuri Gurevich
Microsoft Research, February 2012, Technical Report MSR-TR2012-14
http://research.microsoft.com/enus/um/people/gurevich/Opera/210.pdf
Around the Physical Church-Turing Thesis
Giles Dowek
http://dx.doi.org/10.1007/978-3-642-28332-1_3
A Parametrized Complexity Tutorial
Rod Downey
http://dx.doi.org/10.1007/978-3-642-28332-1_4
Language and Automata Theory, LATA 2012
Adrian-Horia Dediu and Carlos Martin-Vide (Editors)
Springer, 2012, ISBN 978-3-642-28332-1, LNCS 7183
http://dx.doi.org/10.1007/978-3-642-28332-1
New Computational Paradigms:
Changing Conceptions of What is Computable
S. Barry Cooper, Benedikt Lowe, and Andrea Sorbi (Editors)
Springer, 2008, ISBN 978-0-387-68546-5
http://dx.doi.org/10.1007/978-0-387-68546-5
Computability, Computation, and the Real World
Martin Davis
http://dx.doi.org/10.1007/88-470-0472-1_6
Wikipedia: http://en.wikipedia.org/wiki/Martin_Davis
Imagination and Rigor:
Essays on Eduardo R. Caianiello’s Scientific Heritage
Settimo Termini (Editor)
Springer, 2006, ISBN 978-88-470-0472-6
http://dx.doi.org/10.1007/88-470-0472-1
Transcending Turing Computability
B.J. Maclennan
Transcending Turing Computability (special issue)
Minds and Machines, Volume 13, Number1 (February 2003)
http://dx.doi.org/10.1023/A:1021397712328
On the definition of an algorithm (in Russian)
A. N. Kolmogorov and V. A. Uspenskii
Uspekhi Matematicheskikh Nauk,
Volume 13, Number 4 (82) (1958)
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrn
id=rm&paperid=7453&option_lang=rus
On Kolmogorov Machines And Related Issues
Yuri Gurevich, 1988
http://research.microsoft.com/enus/um/people/gurevich/Opera/78.pdf
Apartness and Uniformity: A Constructive Development
Douglas S. Bridges and Luminita Vita
Springer, 2011, ISBN 978-3-642-22415-7
http://dx.doi.org/10.1007/978-3-642-22415-7
Algorithmic Randomness and Complexity
Rodney G. Downwy and Denis R. Hirschfeldt
Springer, 2010, ISBN 978-0-387-68441-3
http://dx.doi.org/10.1007/978-0-387-68441-3
Game of Life Cellular Automata
Andrew Adamatzky (Editor)
Springer, 2010, ISBN 978-1-84996-217-9
http://dx.doi.org/10.1007/978-1-84996-217-9
Computation Engineering: Applied Automata Theory and Logic
Ganesh Goplalkrishnan
Springer, 2006, ISBN 978-0-387-32520-0
http://dx.doi.org/10.1007/0-387-32520-4
Automata Theory with Modern Applications
James A. Anderson
Cambridge University Press, 2006, ISBN 978-0-511-60720-2
http://dx.doi.org/10.1017/CBO9780511607202
A Second Course in Formal Languages and Automata Theory
Jeffrey Shallit
Cambridge University Press, 2009, ISBN 9780511808876
http://dx.doi.org/10.1017/CBO9780511808876
The Pillars of Computation Theory:
State, Encoding, Nondeterminism
Arnold L. Rosenberg
Springer, 2010, ISBN 978-0-387-09639-1
http://dx.doi.org/10.1007/978-0-387-09639-1
Interactive Computation: The New Paradigm
Dina Goldin, Scott A. Smolka, and Peter Wegner (Editors)
Springer, 2006, ISBN 978-3-540-34874-0
http://dx.doi.org/10.1007/3-540-34874-3
Back to the Table of Contents
=======================================
Databases and Information Retrieval =======
Practical Database Programming with Java
Ying Bai
Wiley, 2011, ISBN 9781118104651
http://dx.doi.org/10.1002/9781118104651
Practical Database Programming with Visual Basic.NET,
Second Edition
Ying Bai
Wiley, 2012, ISBN 9781118249833
http://dx.doi.org/10.1002/9781118249833
Principles of Distributed Database Systems, Third Edition
M. Tamer Ozsu and Patrick Valduriez
Springer, 2011, ISBN 978-1-4419-8834-8
http://dx.doi.org/10.1007/978-1-4419-8834-8
Joe Celko’s Trees and Hierarchies in SQL for Smarties
Joe Celko
Elsevier, 2012, ISBN 978-0-12-387733-8
http://www.sciencedirect.com/science/book/9780123877338
Joe Celko’s Complete Guide to NoSQL:
What Every SQL Professional Needs to Know about
Nonrelational Databases
Joe Celko
Elsevier, 2014, ISBN 978-0-12-407192-6
http://www.sciencedirect.com/science/book/9780124071926
Time and Relational Theory: Temporal Databases in the Relational
Model and SQL
C. J. Date, Hugh Darwen, and Nikos A. Lorentzos
Elsevier, 2014, ISBN 978-0-12-800631-3
http://www.sciencedirect.com/science/book/9780128006313
Bitemporal Data: Theory and Practice
Tom Johnston
Elsevier, 2014, ISBN 978-0-12-408067-6
http://www.sciencedirect.com/science/book/9780124080676
Fundamentals of Databases Indexing and Searching
Arnab Bhattacharya
CRC Press, 2015, ISBN 978-1-4665-8255-2
http://dx.doi.org/10.1201/b17767
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
Foundations of Data Exchange
Marcelo Arenas, Pablo Barcelo, Leonid Libkin, and Philip Murlak
Cambridge University Press, 2014, ISBN 9781139060158
http://dx.doi.org/10.1017/CBO9781139060158
Developing High Quality Data Models
Matthew West
Elsevier, 2011, ISBN 978-0-12-375106-5
http://www.sciencedirect.com/science/book/9780123751065
Foundations of Data Quality Management
Wenfei Fan and Floris Geerts
Morgan & Claypool, 2012, ISBN 9781608457786
http://dx.doi.org/10.2200/S00439ED1V01Y201207DTM030
Handbook of Data Quality: Research and Practice
Shazia Sadiq (Editor)
Springer, 2013, ISBN 978-3-642-36257-6
http://dx.doi.org/10.1007/978-3-642-36257-6
Business Processes: A Database Perspective
Daniel Deutch and Tova Milo
Morgan & Claypool, 2012, ISBN 9781608459032
http://dx.doi.org/10.2200/S00430ED1V01Y201206DTM027
Business Process Management: Theory and Applications
Michael Glykas (Editor)
Springer, 2013, ISBN 978-3-642-28409-0
http://dx.doi.org/10.1007/978-3-642-28409-0
A Feature-Centric View of Information Retrieval
Donald Metzler
Springer, 2011, ISBN 978-3-642-22898-0
http://dx.doi.org/10.1007/978-3-642-22898-8
Learning to Rank for Information Retrieval
Tie-Yan liu
Springer, 2011, ISBN 978-3-642-14267-3
http://dx.doi.org/10.1007/978-3-642-14267-3
Advanced Topics in Information Retrieval
Massimo Melucci and Ricardo Baeza-Yates (Editors)
Springer, 2011, ISBN 978-3-642-20946-8
http://dx.doi.org/10.1007/978-3-642-20946-8
The Geometry of Information Retrieval
C. J. van Rijsbergen
Cambridge University Press, 2004, ISBN 9780511543333
http://dx.doi.org/10.1017/CBO9780511543333
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://dx.doi.org/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
http://www.sciencedirect.com/science/book/9780123969811
Aggregated Search: A New Information Retrieval Paradigm
Arlind Kopliku, Karen Pinel-Sauvaqnat, and Mohand Boughanem
ACM Computing Surveys, Volume 46, Number 3 (January 2014)
http://dx.doi.org/10.1145/2523817
Multimedia Search Reranking: A Literature Survey
Tao Mei, Yong Rui, Shipeng Li, and Qi Tian
ACM Computing Surveys, Volume 46, Number 3 (January 2014)
http://dx.doi.org/10.1145/2536798
Relevance Ranking for Vertical Search Engines
Bo Long and Yi Chang (Editors)
Elsevier, 2014, ISBN 978-0-12-407171-1
http://www.sciencedirect.com/science/book/9780124071711
Recommended for You: How Online Merchants Predict Your
Preferences and Prod You to Purchase
Joseph A. Konstan & John Riedl
Pages 54-61
IEEE Spectrum, Volume 49, Number 10 (October 2012)
http://dx.doi.org/10.1109/MSPEC.2012.6309257
Recommender Systems and the Social Web:
Leveraging Tagging Data for Recommender Systems
Fatih Gedikli
Springer, 2013, ISBN 978-3-658-01948-8
http://dx.doi.org/10.1007/978-3-658-01948-8
Recommender Systems Handbook
Francesco Ricci, Lior Rokach, Bracha Shapira,
and Paul B. Kantor (Editors)
Springer, 2011, ISBN 978-0-387-85820-3
http://dx.doi.org/10.1007/978-0-387-85820-3
Three Decades of Data Integration – All Problems Solved?
Patrick Ziegler and Klaus R. Dittrich
http://dx.doi.org/10.1007/978-1-4020-8157-6_1
Building the Information Society, IFIP 18th World Computer Congress
Rene Jacquart (Editor)
Springer, 2004, ISBN 978-1-4020-8157-6
http://dx.doi.org/10.1007/b98986
Principles of Data Integration
Anhai Doan, Alon Halevy, and Zachary Ives
Elsevier, 2012, ISBN 978-0-12-416044-6
http://www.sciencedirect.com/science/book/9780124160446
Managing Data in Motion:
Data Integration Best Practice Techniques and Technologies
April Reeve
Elsevier, 2013, ISBN 978-0-12-397167-8
http://www.sciencedirect.com/science/book/9780123971678
Big Data Integration Theory:
Theory and Methods of Database Mappings,
Programming Languages, and Semantics
Zoran Majkic
Springer, 2014, ISBN 978-3-319-04156-8
http://dx.doi.org/10.1007/978-3-319-04156-8
Semantic Collation of Enterprise Data for Effective Information
Retrieval
C. Anantaram and Shailly Goyal
http://dx.doi.org/10.1007/978-3-642-27872-3_1
Data Engineering and Management, ICDEM 2010
Rajkumar Kannan and Frederic Andres (Editors)
Springer, 2012, ISBN 978 978-3-642-27872-3, LNCS 6411
http://dx.doi.org/10.1007/978-3-642-27872-3
A Course in In-Memory Data Management
Hasso Plattner
Springer, 2013, ISBN 978-3-642-36524-9
http://dx.doi.org/10.1007/978-3-642-36524-9
Benchmarking Transaction and Analytical Processing Systems: The
Creation of a Mixed Workload Benchmark and its Applications
Anja Bog
Springer, 2014, ISBN 978-3-642-38070-9
http://dx.doi.org/10.1007/978-3-642-38070-9
Topic Mapping: A View of the Road Ahead
Jack Park
http://dx.doi.org/10.1007/11676904_1
Charting the Topic Maps Research and Applications Landscape,
TMRA 2005
Lutz Maicher and Jack Park (Editors)
Springer, 2006, ISBN 978-3-540-32528-4, LNCS 3873
http://dx.doi.org/10.1007/11676904
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
Steven R. Newcomb
http://dx.doi.org/10.1007/978-3-540-71945-8_1
Towards a Methodology for Developing Topic Maps Ontologies
Lars Marius Garshol
http://dx.doi.org/10.1007/978-3-540-71945-8_3
Remote Topic Maps in Learning
Stian lavik, Tommy W. Nordeng, Jarle R. Meloy, and Tore Hoel
http://dx.doi.org/10.1007/978-3-540-71945-8_8
Leveraging the Semantics of Topic Maps, TMRA 2006
Lutz Maicher, Alexander Sigel, and Lars Marius Garshol (Editors)
Springer, 2007, ISBN 978-3-540-71945-8, LNCS 4438
http://dx.doi.org/10.1007/978-3-540-71945-8
Scaling Topic Maps
Marc Wilhelm Kuster and Graham Moore
http://dx.doi.org/10.1007/978-3-540-70874-2_1
Convergence of Classical Search and Semantic Technologies
Stefan Smolnik
http://dx.doi.org/10.1007/978-3-540-70874-2_2
Scaling Topic Maps, TMRA 2007
Springer, 2008, ISBN 978-3-540-70874-2, LNCS 4999
Lutz Maicher and Lars Marius Garshol (Editors)
http://dx.doi.org/10.1007/978-3-540-70874-2
Ontological Engineering
Asuncion Gomez-Perez, Mariano Fernandez-Lopez, and Oscar Gorcho
Springer, 2004, ISBN 978-1-85233-840-4
http://dx.doi.org/10.1007/b97353
Ontology Matching
Jerome Euzenat and Pavel Shvaiko
Springer, 2007, ISBN 978-3-540-49612-0
http://dx.doi.org/10.1007/978-3-540-49612-0
Semantic Search over the Web
Roberto De Virgilio, Francesco Guerra,
and Yannis Velegrakis (Editors)
Springer, 2012, ISBN 978-3-642-25008-8
http://dx.doi.org/10.1007/978-3-642-25008-8
Data Matching: Concepts and Techniques for Record Linkage,
Entity Resolution, and Duplicate Detection
Peter Christen
Springer, 2012, ISBN 978-3-642-31164-2
http://dx.doi.org/10.1007/978-3-642-31164-2
Schema Matching and Mapping
Zohra Bellahsene, Angela Bonifati, and Erhard Rahm (Editors)
Springer, 2011, ISBN 978-3-642-16518-4
http://dx.doi.org/10.1007/978-3-642-16518-4
Relational Knowledge Discovery
M E Muller
Cambridge University Press, 2012, ISBN 9781139047869
http://dx.doi.org/10.1017/CBO9781139047869
Theoretical Foundations for Digital Libraries: The 5S
(Societies, Scenarios, Spaces, Structures, Streams) Approach
Edward A Fox, Marcos Andre Goncalves, and Rao Shen
Morgan & Claypool, 2012, ISBN 9781608459117
http://dx.doi.org/10.2200/S00434ED1V01Y201207ICR022
Introduction to Information Extraction:
Basic Notions and Current Trends
Wolf-Tilo Balke
Pages 81-88
Special Issue on Information Extraction
Datenbank – Spektrum, Volume 12, Number 2 (July 2012)
http://dx.doi.org/10.1007/s13222-012-0090-x
Special Issue – Relational Database Systems: The Formative Years
IEEE Annals of the History of Computing, Volume 34, Number 4
(October-December 2012)
http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6359700&punu
mber=85
Special Issue – Relational Database Systems: The Business Explosion
IEEE Annals of the History of Computing, Volume 35, Number 2 (AprilJune 2013)
http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6563074&punu
mber=85
The Semantics of Relationships: An Interdisciplinary Perspective
Rebecca Green, Carol A Bean, and Sung Hyon Myaeng (Editors)
Springer, 2002, ISBN 978-94-017-0073-3
http://dx.doi.org/10.1007/978-94-017-0073-3
Back to the Table of Contents
=======================================
The Semantic Web ======================
The Semantic Web Explained:
The Technology and Mathematics behind Web 3.0
Peter Szeredi, Gergely Lukacsy, and Tamas Benko
Cambridge University Press, 2014, ISBN 9781139194129
http://dx.doi.org/10.1017/CBO9781139194129
Edging Toward the Semantic Web: Protocols, Curation, and Seeds
Espen Andersen
Ubiquity (November 2010)
http://dl.acm.org/citation.cfm?id=1891342
The Semantic Web
Tim Berners-Lee, James Handler, and Ora Lassila
Scientific American, Volume 284, Issue 5 (May 2001) Pages 34-43
http://dx.doi.org/10.1038/scientificamerican0501-34
http://www.nature.com/scientificamerican/journal/v284/n5/index.htm
l#COMPUTING
Web Science Emerges
Nigel Shadbolt and Tim Berners-Lee
Pages 76-81
Scientific American, Volume 299, Issue 4 (October 2008)
http://dx.doi.org/10.1038/scientificamerican1008-76
Special Issue on the Semantic Web
IEEE Intelligent Systems, Volume 16, Issue 2 (March-April 2001)
http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=19905
Semantics Empowered Web 3.0: Managing Enterprise, Social, Sensor,
and Cloud-based Data and Services for Advanced Applications
Amit Sheth and Krishnaprasad Thirunarayan
Morgan & Claypool, 2013, ISBN 9781608457175
http://dx.doi.org/10.2200/S00455ED1V01Y201211DTM031
Special theme: Linked Open Data
ERCIM NEWS, Number 96 (January 2014)
*** Click on ‘This issue in pdf‘ ***
http://ercim-news.ercim.eu/en96
Linked Open Data – Creating Knowledge out of Interlinked Data;
Results of the LOD2 Project
Soren Auer, Volha Bryl, and Sebastian Tramp (Editors)
Springer, 2014, ISBN 978-3-319-09846-3, LNCS 8661
http://dx.doi.org/10.1007/978-3-319-09846-3
Programming the Semantic Web
Steffen Staab, Stefan Scheglmann, Martin Leinberger,
and Thomas Gottron
http://dx.doi.org/10.1007/978-3-319-07443-6_1
The Semantic Web: Trends and Challenges;
11th International Conference, ESWC 2014
Valentina Presutti et al. (Editors)
Springer, 2014, ISBN 978-3-319-07443-6, LNCS 8465
http://dx.doi.org/10.1007/978-3-319-07443-6
Social Semantics: The Search for Meaning on the Web
Harry Halpin
Springer, 2013, ISBN 978-1-4614-1885-6
http://dx.doi.org/10.1007/978-1-4614-1885-6
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
http://www.sciencedirect.com/science/book/9780123859655
How ontologies are made: Studying the hidden social dynamics
behind collaborative ontology engineering projects
Markus Strohmaier, Simon Walk, Jan Poschko, Daniel Lamprecht,
Tania Tudorache, Csongor Nyulas, Mark a. Musen, and Natalya F. Noy
Web Semantics: Science, Services and Agents on the World Wide
Web,
Volume 20 (May 2013) Pages 18-34
http://dx.doi.org/10.1016/j.websem.2013.04.001
Semantic Web and Model-Driven Engineering
Fernando Silva Parreiras
Wiley, 2012, ISBN 9781118135068
http://dx.doi.org/10.1002/9781118135068
A Developer’s Guide to the Semantic Web
Liyang Yu
Springer, 2011, ISBN 978-3-642-15970-1
http://dx.doi.org/10.1007/978-3-642-15970-1
Aaron Swartz’s A Programmable Web: An Unfinished Work
Aaron Swartz
Morgan & Claypool, 2013, ISBN 9781627051699
http://dx.doi.org/10.2200/S00481ED1V01Y201302WBE005
Introduction to Ontologies and Semantic Web
Marek Obitko, 2007
http://www.obitko.com/tutorials/ontologies-semantic-web/
The Ontolog Community – an open, international, virtual community
of practice
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage
Chapter 1 Knowledge Representation and Reasoning in the
Semantic Web
http://dx.doi.org/10.1007/978-3-642-39283-2_1
Fuzzy Knowledge Management for the Semantic Web
Zongmin Ma, Fu Zhang, Li Yan, and Jingwei Cheng
Springer, 2014, ISBN 978-3-642-39283-2
http://dx.doi.org/10.1007/978-3-642-39283-2
The Semantic Web: Semantics for Data and Services on the Web
Vipul Kshyap, Christoph Bussler, and Matthew Moran
Springer, 2008, ISBN 978-3-540-76452-6
http://dx.doi.org/10.1007/978-3-540-76452-6
Special Issue on Evaluation of Semantic Technologies
Web Semantics: Science, Services and Agents on the World Wide
Web,
Volume 21 (August 2013)
http://www.sciencedirect.com/science/journal/15708268/21
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/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
Morgan & Claypool, 2011, ISBN 9781608454303
http://dx.doi.org/10.2200/S00334ED1V01Y201102WBE001
Agent-Based Semantic Web Service Composition
Sandeep Kumar
Springer, 2012, ISBN 978-1-4614-4663-7
http://dx.doi.org/10.1007/978-1-4614-4663-7
Mutimedia Semantics: Metadata, Analysis and Interaction
Raphael Troncy, Benoit Huet, and Simon Schenk
Wiley, 2011, ISBN 9781119970231
http://dx.doi.org/10.1002/9781119970231
Evolution of Semantic Systems
Bernd-Olaf Kuppers, Udo Hahn, and Stefan Artmann (Editors)
Springer, 2013, ISBN 978-3-642-34997-3
http://dx.doi.org/10.1007/978-3-642-34997-3
Bibliographic Information Organization in the Semantic Web
Mirna Waller and Gordon Dunsire
Elsevier, 2013, ISBN 978-1-84334-731-6
http://www.sciencedirect.com/science/book/9781843347316
Back to the Table of Contents
=======================================
The Unreasonable Effectiveness of Data ====
The Unreasonable Effectiveness of Data
Alon Halevy, Peter Norvig, and Fernando Pereira Pages 8-12
IEEE Intelligent Systems, Volume 24, Number 2 (March 2009)
http://dx.doi.org.databases.poly.edu/10.1109/MIS.2009.36
http://dx.doi.org/10.1109/MIS.2009.36
The Unreasonable Effectiveness of Mathematics in the
Natural Sciences
Eugene Wigner
Communications in Pure and Applied Mathematics,
Volume 13, No 1 (February 1960)
http://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html
Back to the Table of Contents
=======================================
The Argument Web =====================
Implementing the Argument Web
Floris Bex, John Lawrence, Mak Snaith, and Chris Reed Pages 66-73
Communications of the ACM, Volume 56, Number 10 (October 2013)
http://dx.doi.org/10.1145/2500891
Chapter 21 The Added Value of Argumentation
Sanjay Modgil et al.
Pages 357-403
http://dx.doi.org/10.1007/978-94-007-5583-3_21
Agreement Technologies
Sascha Ossowski (Editor)
Springer, 2013, ISBN 978-94-007-5583-3
http://dx.doi.org/10.1007/978-94-007-5583-3
Chapter 1 Argumentation Theory: A Very Short Introduction
Douglas Walton
Pages 1-22
http://dx.doi.org/10.1007/978-0-387-98197-0_1
Chapter 19 The Argument Interchange Format
Iyad Rahwan and Chris Reed
Pages 383-402
http://dx.doi.org/10.1007/978-0-387-98197-0_19
Argumentation in Artificial Intelligence
Iyad Rahwan and Guillermo R. Simari (Editors)
Springer, 2009, ISBN 978-0-387-98197-0
http://dx.doi.org/10.1007/978-0-387-98197-0
Laying the foundations for a World Wide Argument Web
Iyad Rahwan, Fouad Zablith, and Chris Reed
Pages 897-921
http://dx.doi.org/10.1016/j.artint.2007.04.015
Special Issue: Argumentation in Artificial Intelligence
Artificial Intelligence, Volume 171, Numbers 10-15 (July-October 2007)
Mass argumentation and the semantic web
Iyad Rahwan
Pages 29-37
Web Semantics, Volume 6, Number 1 (February 2008)
http://dx.doi.org/10.1016/j.websem.2007.11.007
A Planning-Based Approach for Enacting World Wide Argument Web
Ioan Alfred Letia and Adruian Groza
Pages 137-146
http://dx.doi.org/10.1007/978-3-540-85257-5_14
Intelligent Distributed Computing, Systems and Applications:
IDC 2008
Costin Badica, Giuseooe Mangioni, Vincenza Carchiolo,
and Dumitru Dan Burdescu
Springer, 2008, ISBN 978-3-540-85257-5
http://dx.doi.org/10.1007/978-3-540-85257-5
Contextual Extension with Concept Maps in the Argument
Interchange Format
Ioan Alfred Letia and Adrian Groza Pages 72-89
http://dx.doi.org/10.1007/978-3-642-00207-6_5
Argumentation in Multi-Agent Systems:
Fifth International Workshop, ArgMAS 2008
Iyad Rahwan and Pavlos Moraitis (Editors)
Springer, 2009, ISBN 978-3-642-00207-6, LNCS 5384
http://dx.doi.org/10.1007/978-3-642-00207-6
Mediating debate through on-line large-scale argumentation:
Evidence from the field
Ali Gurkan, Luca Iandoli, Mark Klein, and Giuseppe Zollo
Pages 3686-3702
Information Sciences, Volume 180, Number 19 (2010)
http://dx.doi.org/10.1016/j.ins.2010.06.011
A domain specific language for describing diverse systems of dialogue
S. Wells and C.A. Reed
Pages 309-329
Journal of Applied Logic, Volume 10 (2012)
http://dx.doi.org/10.1016/j.jal.2012.09.001
The Concept of Argument: A Philosophical Foundation
Harald R. Wohlrapp
Springer, 2014, ISBN 978-94-017-8762-8
http://dx.doi.org/10.1007/978-94-017-8762-8
A Systematic Theory of Argumentation:
The pragma-dialectical approach
Frans H. van Eemeren and Rob Grootendorst
Cambridge University Press, 2004, ISBN 9780511616389
http://dx.doi.org/10.1017/CBO9780511616389
Burden of Proof, Presumption and Argumentation
Douglas Walton
Cambridge University Press, 2013, ISBN 9781107110311
http://dx.doi.org/10.1017/CBO9781107110311
Back to the Table of Contents
=======================================
Data Science ===========================
Data Scientist: The Sexiest Job of the 21st Century
Thomas H. Davenport and D.J. Patil
Pages 70-76
Harvard Business Review, Volume 90, Number 10 (October 2012)
http://search.ebscohost.com/login.aspx?direct=true&db=bth&AN=799
96214&site=ehost-live
Book Review: Doing Data Science
Brian Hayes
Pages 1068-1071
Notices of the AMS, Volume 61, Number 9 (October 2014)
http://dx.doi.org/10.1090/noti1167
Data Scientists at Work
Sebastian Gutierrez
Springer, 2014, ISBN 978-1-4302-6599-3
http://dx.doi.org/10.1007/978-1-4302-6599-3
The Art of Data Science
Pages 47-59
Matthew J. Graham
http://dx.doi.org/10.1007/978-1-4614-3323-1_4
Astrostatistics and Data Mining
Luis Manuel Sarro, Laurent Eyer, William O’Mullane,
and Joris De Ridder (Editors)
Springer, 2012, ISBN 978-1-614-3323-1
http://dx.doi.org/10.1007/978-1-4614-3323-1
Data is a singular noun
http://nxg.me.uk/note/2005/singular-data/
Home Page of Norman Gray
http://nxg.me.uk/
Back to the Table of Contents
=======================================
Data Mining ===========================
Also see:
Probability and Statistics shelf in the
Mathematics section;
Machine Learning shelf in the
Artificial Intelligence, … section;
Rough Sets shelf in the
Artificial Intelligence, … section.
An Introduction to Data Mining
http://www.thearling.com/text/dmwhite/dmwhite.htm
Home Page of Kurt Thearling
http://www.thearling.com/
Mathematical Tools for Data Mining:
Set Theory, Partial Orders, Combinatorics; Second Edition
Dan A. Simovici and Chabane Djeraba
Springer, 2014, ISBN 978-1-4471-6407-4
http://dx.doi.org/10.1007/978-1-4471-6407-4
Data mining and Statistics: What’s the Connection?
Jerome H. Friedman
(1997)
http://statweb.stanford.edu/~jhf/#reports
The Future of Data Analysis
John W. Tukey
Annals of Mathematical Statistics,
Volume 33, Number 1 (March 1962) Pages 1-67
http://www.jstor.org/stable/2237638
Proactive Data Mining with Decision Trees
Haim Dahan, Shahar Cohen, Lior Rokach, and Oded Maimon
Springer, 2014, ISBN 978-1-4939-0539-3
http://dx.doi.org/10.1007/978-1-4939-0539-3
Discovering Knowledge in Data:
An Introduction to Data Mining, Second Edition
Daniel T. Larose and Chantal D. Larose
Wiley, 2014, ISBN 9781118874059
http://dx.doi.org/10.1002/9781118874059
Data Mining and Knowledge Discovery for Geoscientists
Guangren Shi
Elsevier, 2014, ISBN 978-0-12-410437-2
http://www.sciencedirect.com/science/book/9780124104372
Data Mining for Geoinformatics: Methods and Applications
Guido Cervone, Jessica Lin, and Nigel Waters (Editors)
Springer, 2014, ISBN 978-1-4614-7669-6
http://dx.doi.org/10.1007/978-1-4614-7669-6
Data Mining Concepts and Techniques, Third Edition
Jiawei Han, Micheline Kamber, and Jian Pei
Elsevier, 2012, ISBN 978-0-12-381479-1
http://www.sciencedirect.com/science/book/9780123814791
Data Mining Applications with R
Yanchang Zhao and Yonghua Cen
Elsevier, 2014, ISBN 978-0-12-411511-8
http://www.sciencedirect.com/science/book/9780124115118
Principles of Data Mining, Second Edition
Max Bramer
Springer, 2013, ISBN 978-1-4471-4884-5
http://dx.doi.org/10.1007/978-1-4471-4884-5
Data Mining:
Concepts, Models, Methods, and Algorithms, Second Edition
Mehmed Kantardzic
Wiley, 2011, ISBN 9781118029145
http://dx.doi.org/10.1002/9781118029145
Contrast Data Mining: Concepts, Algorithms, and Applications
Guozhu Dong and James Bailey (Editors)
CRC Press, 2013, ISBN 978-1-4398-5433-4
http://dx.doi.org/10.1201/b12986
Foundations of Rule Learning
Johannes Furnkranz, Dragan Gamberger, and Nada Lavrac
Springer, 2012, ISBN 978-3-540-75197-7
http://dx.doi.org/10.1007/978-3-540-75197-7
Data Mining for Association Rules and Sequential Patterns:
Sequential and Parallel Algorithms
Jean-Marc Adamo
Springer, 2001, ISBN 978-1-4613-0085-4
http://dx.doi.org/10.1007/978-1-4613-0085-4
Anomaly Detection: A Survey
Varun Chandola, Arindam Banerjee, and Vipin Kumar
ACM Computing Surveys, Volume 41, Number 3 (July 2009)
http://dx.doi.org/10.1145/1541880.1541882
Data Preprocessing in Data Mining
Salvador Garcia, Julian Luengo, and Francisco Herrera
Springer, 2015, ISBN 978-3-319-10247-4
http://dx.doi.org/10.1007/978-3-319-10247-4
Relational Knowledge Discovery
M E Muller
Cambridge University Press, 2012, ISBN 9781139047869
http://dx.doi.org/10.1017/CBO9781139047869
Scientific Data Mining and Knowledge Discovery:
Principles and Foundations
Mohamed Medhat Gaber (Editor)
Springer, 2010, ISBN 978-3-642-02788-8
http://dx.doi.org/10.1007/978-3-642-02788-8
Data Mining Techniques in CRM: Inside Customer Segmentation
Konstantinos Tsiptsis and Antonios Chorionopoulos
Wiley, 2009, ISBN 9780470685815
http://dx.doi.org/10.1002/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
http://www.sciencedirect.com/science/book/9780123748560
Chapter 2 Data Mining
http://dx.doi.org/10.1007/978-3-642-02541-9_2
Automating the Design of Data Mining Algorithms: An Evolutionary
Computation Approach
Gisele L. Pappa and Alex A. Freitas
Springer, 2010, ISBN 978-3-642-02541-9
http://dx.doi.org/10.1007/978-3-642-02541-9
Data mining: past, present and future
Frans Coenen
25th Anniversary Issue
The Knowledge Engineering Review,
Volume 26, Issue 1 (February 2011) Pages 25-29
http://dx.doi.org/10.1017/S0269888910000378
Web Data Mining:
Exploring Hyperlinks, Contents, and Usage Data, Second Edition
Bing Liu
Springer, 2011, ISBN 978-3-642-19460-3
http://dx.doi.org/10.1007/978-3-642-19460-3
Graph Mining: Laws, Tools, and Case Studies
D. Chakrabarti and C. Faloutsos
Morgan & Claypool, 2012, ISBN 9781608451166
http://dx.doi.org/10.2200/S00449ED1V01Y201209DMK006
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
Text Mining with MATLAB®
Rafael E. Banchs
Springer, 2013, ISBN 978-1-4614-4151-9
http://dx.doi.org/10.1007/978-1-4614-4151-9
Process Mining: Discovery, Conformance and Enhancement of
Business Processes
Wil M.P. van der Aalst
Springer, 2011, ISBN 978-3-642-19345-3
http://dx.doi.org/10.1007/978-3-642-19345-3
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
Understanding High-Dimensional Spaces
David B. Skillicorn
Springer, 2012, ISBN 978-3-642-33398-9
http://dx.doi.org.databases.poly.edu/10.1007/978-3-642-33398-9
http://dx.doi.org/10.1007/978-3-642-33398-9
Data-Intensive Computing: Architectures, Algorithms, and
Applications
Ian Gorton and Deborah K. Gracio (Editors)
Cambridge University Press, 2013, ISBN 97805111844409
http://dx.doi.org/10.1017/CBO9780511844409
Data Mining and Knowledge Discovery Handbook,
Second Edition
Oded Maimon and Lior Rokach (Editors)
Springer, 2010, ISBN 978-0-387-09823-4
http://dx.doi.org/10.1007/978-0-387-09823-4
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/science/book/9780123964632
Data Mining: Special Issue in Annals of Information Systems
Robert Stahlbock, Sven F. Crone, and Stefan Lessmann (Editors)
Springer, 2010, ISBN 978-1-4419-1280-0
http://dx.doi.org/10.1007/978-1-4419-1280-0
Robust Data Mining
Petros Xanthopoulos, Panos M. Pardalos, and Theodore B. Trafalis
Springer, 2013, ISBN 978-1-4419-9878-1
http://dx.doi.org/10.1007/978-1-4419-9878-1
Data Mining: Foundations and Intelligent Paradigms – Volume 1:
Clustering, Association and Classification
Dawn E. Holmes and Lakhmi C. Jain (Editors)
Springer, 2012, ISBN 978-3-642-23166-7
http://dx.doi.org/10.1007/978-3-642-23166-7
Data Mining: Foundations and Intelligent Paradigms – Volume 2:
Statistical, Bayesian, Time Series and other Theoretical Aspects
Dawn E. Holmes and Lakhmi C. Jain (Editors)
Springer, 2012, ISBN 978-3-642-23241-1
http://dx.doi.org/10.1007/978-3-642-23241-1
Data Mining: Foundations and Intelligent Paradigms – Volume 3:
Medical, Health, Social, Biological and other Applications
Dawn E. Holmes and Lakhmi C. Jain (Editors)
Springer, 2012, ISBN 978-3-642-23151-3
http://dx.doi.org/10.1007/978-3-642-23151-3
Growing a list
Benjamin Letham, Cynthia Rudin, and Katherine A. Heller
Pages 372-395
Data Mining and Knowledge Discovery,
Volume 27, Number 3 (November 2013)
http://dx.doi.org/10.1007/s10618-013-0329-7
Back to the Table of Contents
=======================================
Clustering
============================
Clustering: A Data Recovery Approach; Second Edition
Boris Mirkin
CRC Press, 2013, ISBN 978-1-4398-3842-6
http://dx.doi.org/10.1201/b13101
Data Clustering: Algorithms and Applications
Charu C. Aggarwal and Chandan K. Reddy (Editors)
CRC Press, 2014, ISBN 978-1-4665-5822-9
http://www.crcnetbase.com/isbn/978-1-4665-5821-2
Data Clustering in C++: An Object Oriented Approach
Guojun Gan
CRC Press, 2011, ISBN 978-1-4398-6223-0
http://dx.doi.org.databases.poly.edu/10.1201/b10814
http://dx.doi.org/10.1201/b10814
Clustering and Information Retrieval
Weili Wu, Hui Xiong, and Shashi Shekhar
Springer, 2004, ISBN 978-1-4613-0227-8
http://dx.doi.org/10.1007/978-1-4613-0227-8
Co-Clustering: Models, Algorithms and Applications
Gerard Govaert and Mohamed Nadif
Wiley, 2014, ISBN 9781118649480
http://dx.doi.org/10.1002/9781118649480
Distributed clustering of ubiquitous data streams
Pedro Pereira Rodrigues and Joao Gama
Wiley Interdisciplinary Reviews: Data Mining and Knowledge
Discovery,Volume 4, Number 1 (January/February 2014) Pages 38-54
http://dx.doi.org/10.1002/widm.1109
Open issues for partitioning clustering methods: an overview
Maria Camila N. Barioni, Humberto Razente,
Alessandra M. R. Marcelino, Agma J. M. Traina, and Caetano Traina Jr.
Wiley Interdisciplinary Reviews: Data Mining and Knowledge
Discovery,Volume 4, Number 3 (May/June 2014) Pages 161-177
http://dx.doi.org/10.1002/widm.1127
Cluster Analysis, 5th Edition
Brian S. Everitt, Sabine Landau, Morven Leese, and Daniel Stahl
Wiley, 2011, ISBN 9780470977811
http://dx.doi.org/10.1002/9780470977811
Robust Cluster Analysis and Variable Selection
Gunter Ritter
CRC Press, 2015, ISBN 978-1-4398-5797-7
http://www.crcnetbase.com/isbn/978-1-4398-5796-0
Fuzzy Sets in Information Retrieval and Cluster Analysis
Sadaaki Miyamoto
Springer, 1990, ISBN 978-94-015-7887-5
http://dx.doi.org/10.1007/978-94-015-7887-5
Some Methods for Classification and Analysis of Multivariate
Observations
J. MacQueen
Fifth Berkeley Symposium on Mathematical Statistics and Probability,
Vol. 1 (University of California Press, 1967)
http://projecteuclid.org/euclid.bsmsp/1200512992
carrot2 – open source framework for building
search clustering engines
http://project.carrot2.org/
Back to the Table of Contents
=======================================
High-Dimensional Data ==================
Understanding High-Dimensional Spaces
David B. Skillicorn
Springer, 2012, ISBN 978-3-642-33398-9
http://dx.doi.org/10.1007/978-3-642-33398-9
Inference and Prediction in Large Dimensions
Denis Bosq and Delphine Blanke
Wiley, 2007, ISBN 9780470724033
http://dx.doi.org/10.1002/9780470724033
Grouping Multidimensional Data: Recent Advances in Clustering
Jacob Cogan, Charles Nicholas, and Marc Teboulle (Editors)
Springer, 2006, ISBN 978-3-540-28349-2
http://dx.doi.org/10.1007/3-540-28349-8
Analysis of Multivariate and High-Dimensional Data
Inge Koch
Cambridge University Press, 2014, ISBN 9781139025805
http://dx.doi.org/10.1017/CBO9781139025805
Back to the Table of Contents
=======================================
Symbolic Data Analysis ==================
Symbolic Data Analysis:
another look at the interaction of Data Mining and Statistics
Paula Brito
Wiley Interdisciplinary Reviews: Data Mining and Knowledge
Discovery,
Volume 4, Number 4 (July/August 2014) Pages 281-295
http://dx.doi.org/10.1002/widm.1133
Far Beyond the Classical Data Models: Symbolic Data Analysis
Monique Noirhomme-Fraiture and Paula Brito
Statistical Analysis and Data Mining: The ASA Data Science Journal,
Volume 4, Number 2 (April 2011)
Pages 157-170
http://dx.doi.org/10.1002/sam.10112
Analysis of Symbolic Data: Exploratory Methods for Extracting
Statistical Information from Complex Data
Hans-Hermann Bock and Edwin Diday (Editors)
Springer, 2000, ISBN 978-3-642-57155-8
http://dx.doi.org/10.1007/978-3-642-57155-8
Symbolic Data Analysis: Conceptual Statistics and Data Mining
Lynne Billard and Edwin Diday
Wiley, 2006, ISBN 9780470090183
http://dx.doi.org/10.1002/9780470090183
Symbolic Data Analysis and the SOPDAS Software
Edwin Diday and Monique Noirhomme-Fraiture (Editors)
Wiley, 2008, ISBN 9780470923562
http://dx.doi.org/10.1002/9780470723562
Information Granules: Towards Foundations of Granular Computing
Andzej Skowron and Jaroslaw Stepaniuk
http://dx.doi.org/10.1002/1098-111X(200101)16:1%3C57::AIDINT6%3E3.0.CO;2-Y
A Rough Set Approach to Reasoning About Data (special issue)
James F. Peters and Anrzej Skowron (Editors)
International Journal of Intelligent Systems,
Volume 16, Number 1 (January 2001)
http://onlinelibrary.wiley.com/doi/10.1002/1098111X(200101)16:1%3C%3E1.0.CO;2-B/issuetoc
Granular Computing: Analysis and Design of Intelligent Systems
Witold Pedrycz
CRC Press, 2013, ISBN 978-1-4398-8687-8
http://dx.doi.org/10.1201/b14862
Statistical Models for Data Analysis
Paolo Giudici, Salvatore Ingrassia, and Maurizio Vichi (Editors)
Springer, 2013, ISBN 978-3-319-00032-9
http://dx.doi.org/10.1007/978-3-319-00032-9
Analysis and Modeling of Complex Data in Behavioral and
Social Sciences
Donatella Vicari, Akinori Okada, Giancarlo Ragozini,
and Claus Weihs (Editors)
Springer, 2014, ISBN 978-3-319-06692-9
http://dx.doi.org/10.1007/978-3-319-06692-9
On the Analysis of Symbolic Data
Paula Brito
http://dx.doi.org/10.1007/978-3-540-73560-1_2
Selected Contributions in Data Analysis and Classification
Paula Brito, Patrice Bertrand, Guy Cucumel,
and Francisco de Carvalho (Editors)
Springer, 2007, ISBN 978-3-540-73560-1
http://dx.doi.org/10.1007/978-3-540-73560-1
From the Statistics of Data to the Statistics of Knowledge:
Symbolic Data Analysis
L. Billard and E. Diday
Journal of the American Statistical Association,
Volume 98, Number 462 (June 2003)
http://dx.doi.org/10.1198/016214503000242
Theory of Capacities
Gustave Choquet
Annales d l’institut Fourier, Volume 5 (1954) Pages 131-295
http://www.numdam.org/numdambin/items?id=AIF_1954__5__131_0
Rough Set Theory and Its Application to Data Analysis
Zdzislaw Pawlak
Cybernetics and Systems: An International Journal,
Volume 29, Number 7 (1998)
http://dx.doi.org/10.1080/019697298125470
Rough Sets and Data Mining: Analysis of Imprecise Data
T. Y. Lin and N. Cercone
Springer, 1997, ISBN 978-1-4613-1461-5
http://dx.doi.org/10.1007/978-1-4613-1461-5
Rough Set Theory: A True Landmark in Data Analysis
Ajith Abraham, Rafael Falcon, and Rafael Bello (Editors)
Springer, 2009, ISBN 978-3-540-89921-1
http://dx.doi.org/10.1007/978-3-540-89921-1
Back to the Table of Contents
=======================================
Data Stream Mining =====================
Beyond Batch Processing: Towards Real-Time and Streaming Big Data
Saeed Shahrivari
Computers, Volume 3, Number 4 (December 2014)
http://dx.doi.org/10.3390/computers3040117
Data stream mining in ubiquitous environments:
state-of-the-art and current directions
Mohamed Medhat Gaber, Joao Gama, Shonali Krishnaswamy,
Joao Bartolo Gomes, and Frederic Stahl
Wiley Interdisciplinary Reviews: Data Mining and Knowledge
Discovery,
Volume 4, Number 2 (March/April 2014)
http://dx.doi.org/10.1002/widm.1115
Data Streams: Models and Algorithms
Charu C. Aggarwal (Editor)
Springer, 2007, ISBN 978-0-387-47534-9
http://dx.doi.org/10.1007/978-0-387-47534-9
Learning from Data Streams: Processing Techniques in Sensor Data
Joao Gama and Mohamed Medhat Gaber (Editors)
Springer, 2007, ISBN 978-3-540-73679-0
http://dx.doi.org/10.1007/3-540-73679-4
Applied Data Mining
Zhenglu Yang
CRC Press, 2013, ISBN 978-1-4665-8584-3
http://dx.doi.org/10.1201/b15027
Stream Data Management
Nauman A. Chaudhry, Kevin Shaw, and Mahdi Abdelguerfi (Editors)
Springer, 2005, ISBN 978-0-387-25229-2
http://dx.doi.org/10.1007/b106968
Fundamentals of Stream Processing:
Application Design, Systems, and Analytics
Henrique C. M. Andrade, Bugra Gedik, and Deepak S. Turaga
Cambridge University Press, 2014, ISBN 9781139058940
http://dx.doi.org/10.1017/CBO9781139058940
Data-Intensive Computing:
Architectures, Algorithms, and Applications
Ian Gorton and Deborah K. Gracio (Editors)
Cambridge University Press, 2013, ISBN 97805111844409
http://dx.doi.org/10.1017/CBO9780511844409
Mining of Massive Datasets
Anand Rajaraman and Jeffrey David Ullman
Cambridge University Press, 2011, ISBN 9781139058452
http://dx.doi.org/10.1017/CBO9781139058452
Ubiquitous Knowledge Discovery:
Challenges, Techniques, Applications
Michael May and Lorenza Saitta (Editors)
Springer, 2010, ISBN 978-3-642-16392-0
http://dx.doi.org/10.1007/978-3-642-16392-0
Chapter 12 - On-board Mining of Data Streams in Sensor Networks
Mohamed Medhat Gaber, Shonali Krishnaswamy,
and Arkady Zaslavsky
http://dx.doi.org/10.1007/1-84628-284-5_12
Advanced Methods for Knowledge Discovery from Complex
Data
Sanghamitra Bandyopadhyay, Ujjwal Maulik, Lawrence B. Holder,
and Diane J. Cook (Editors)
Springer, 2005, ISBN 978-1-84628-284-3
http://dx.doi.org/10.1007/1-84628-284-5
A Holistic Approach for Resource-aware Adaptive Data Stream Mining
Mohamed Medhat Gaber and Philip S. Yu
New Generation Computing, Volume 25, Number 1 (November 2006)
http://dx.doi.org/10.1007/s00354-006-0005-1
Back to the Table of Contents
=======================================
Text Mining ===========================
Fundamentals of Predictive Text Mining
Sholom M. Weiss, Nitin Indurkhya, and Tong Zhang
Springer, 2010, ISBN 978-1-84996-226-1
http://dx.doi.org/10.1007/978-1-84996-226-1
Survey of Text Mining: Clustering, Classification, and Retrieval
Michael W. Berry (Editor)
Springer, 2004, ISBN 978-1-4757-4305-0
http://dx.doi.org/10.1007/978-1-4757-4305-0
Survey of Text Mining II: Clustering, Classification, and Retrieval
Michael W. Berry and Malu Castellanos (Editors)
Springer, 2008, ISBN 978-1-84800-046-9
http://dx.doi.org/10.1007/978-1-84800-046-9
Learning to Classify Text Using Support Vector Machines
Thorsten Joachims
Springer, 2002, 978-1-4615-0907-3
http://dx.doi.org/10.1007/978-1-4615-0907-3
Analysis of Content of Posts and Comments in Evolving Social Groups
Bogdan Gliwa, Anna Zygmunt and Piots Bober
http://dx.doi.org/10.1007/978-3-319-11328-9_3
Advances in ICT for Business, Industry and Public Sector
Maria Mach-Krol, Celina M. Olszak,
and Thomasz Pelech-Pilichowski (Editors)
Springer, 2015, ISBN 978-3-319-11328-9
http://dx.doi.org/10.1007/978-3-319-11328-9
Back to the Table of Contents
=======================================
Computational Social Science and Social Data
Analytics =============================
Introduction to Computational Social Science:
Principles and Applications
Claudio Cioffi-Revilla
Springer, 2014, ISBN 978-1-4471-5661-1
http://dx.doi.org/10.1007/978-1-4471-5661-1
Social Media:
Fundamentals, Models, and Ranking of User-Generated Content
Claudia Wyrwall
Springer, 2014, ISBN 978-3-658-06984-1
http://dx.doi.org/10.1007/978-3-658-06984-1
Mutative Media: Communication Technologies and Power
Relations in the Past, Present, and Futures
James A. Dator, John A. Sweeney, and Aubrey M. Yee
Springer, 2015, ISBN 978-3-319-07809-0
http://dx.doi.org/10.1007/978-3-319-07809-0
Networks of Echoes: Imitation, Innovation and Invisible Leaders
Bruce J. West, Malgorzata Turalska, and Paolo Grigolini
Springer, 2014, ISBN 978-3-319-04879-6
http://dx.doi.org/10.1007/978-3-319-04879-6
Complex Networks: An Algorithmic Perspective
Kayhan Erciyes
CRC Press, 2015, ISBN 089-1-4665-7167-9
http://dx.doi.org/10.1201/b17409
Mobile Social Networking: An Innovative Approach
Alvin Chin and Daqing Zhang (Editors)
Springer, 2014, ISBN 978-1-4614-8579-7
http://dx.doi.org/10.1007/978-1-4614-8579-7
Analyzing the Social Web
Jennifer Golbeck
Elsevier, 2013, ISBN 978-0-12-405531-5
http://www.sciencedirect.com/science/book/9780124055315
Social Networks: Analysis and Case Studies
Sule Gunduz-Oguducu and A. Sima Etaner-Uyar (Editors)
Springer, 2014, ISBN 978-3-7091-1797-2
http://dx.doi.org/10.1007/978-3-7091-1797-2
Social Multimedia Signals:
A Signal Processing Approach to Social Network Phenomena
Suman Deb Roy and Wenjun Zeng
Springer, 2015, ISBN 978-3-319-09117-4
http://dx.doi.org/10.1007/978-3-319-09117-4
Social Media Mining: An Introduction
Reza Zafarani, Mohhamad Ali Abbasi, and Huan Liu
Cambridge University Press, 2014, ISBN 9781139088510
http://dx.doi.org/10.1017/CBO9781139088510
Social Networking: Mining, Visualization, and Security
Mrutyunjaya Panda, Satchidananda Dehuri, and Gi-Nam Wang
(Editors)
Springer, 2014, ISBN 978-3-319-05164-2
http://dx.doi.org/10.1007/978-3-319-05164-2
Twitter Data Analytics
Shamanth Kumar, Fred Morstatter, and Huan Liu
Springer, 2014, ISBN 978-1-4614-9372-3
http://dx.doi.org/10.1007/978-1-4614-9372-3
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
Human-Centered Social Media Analytics
Yun Fu (Editor)
Springer, 2014, ISBN 978-3-319-05491-9
http://dx.doi.org/10.1007/978-3-319-05491-9
Chapter 5 Words and Networks: How Reliable Are
Network Data Constructed from Text Data?
Jana Diesner
Pages 81-89
http://dx.doi.org/10.1007/978-3-319-05467-4_5
Chapter 7 From Invisible Algorithms to Interactive
Affordances: Data After the Ideology of Machine
Learning
Bernie Hogan
Pages 103-117
http://dx.doi.org/10.1007/978-3-319-05467-4_7
Roles, Trust, and Reputation in Social Media Markets:
Theory and Methods
Elisa Bertino and Sorin Adam Matei (Editors)
http://dx.doi.org/10.1007/978-3-319-05467-4
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
Privacy in Social Networks
Elena Zheleva, Evimaria Terzi, and Lise Getoor
Morgan & Claypool, 2012, ISBN 9781608458639
http://dx.doi.org/10.2200/S00408ED1V01Y201203DMK004
Back to the Table of Contents
=======================================
Sentiment Analysis =====================
Techniques and Applications for Sentiment Analysis
Ronen Feldman
Communications of the ACM,
Volume 56, Number 4 (April 2013) Pages 82-89
http://dx.doi.org/10.1145/2436256.2436274
Sentiment Analysis and Opinion Mining
Bing Liu
Morgan & Claypool, 2012, ISBN 9781608458851
http://dx.doi.org/10.2200/S00416ED1V01Y201204HLT016
Sentic Analysis: Techniques, Tools, and Applications
Eric Cambria and Amir Hussain
Springer, 2012, ISBN 978-94-007-5070-8
http://dx.doi.org/10.1007/978-94-007-5070-8
Opinion Mining and Sentiment Analysis
Bo Pang and Lillian Lee
Foundations and Trends in Information Retrieval,
Volume 2, Numbers 1-2 (2008) Pages 1-135
http://dx.doi.org/10.1561/1500000011
Back to the Table of Contents
=======================================
Data Analysis and Data Visualization =======
Also see:
Probability and Statistics shelf in the
Mathematics section.
Prefuse – information visualization toolkit
http://prefuse.org/
Data Insights:
New Ways to Visualize and Make Sense of Data
Hunter Whitney
Elsevier, 2013, ISBN 978-0-12-387793-2
http://www.sciencedirect.com/science/book/9780123877932
Visualization Analysis & Design
Tamara Munzner
CRC Press, 2015, ISBN 978-1-4665-0893-4
http://www.crcnetbase.com/isbn/978-1-4665-0891-0
Visual Thinking for Design
Colin Ware
Elsevier, 2008, ISBN 978-0-12-370896-0
http://www.sciencedirect.com/science/book/9780123708960
Information Visualization: Perception for Design,
Third Edition
Colin Ware
Elsevier, 2013, ISBN 978-0-12-381464-7
http://www.sciencedirect.com/science/book/9780123814647
Scientific Visualization: From Data to Insight
Vijay Natarajan
Pages 615-629
Resonance, Volume 18, Number 7 (July 2013)
http://dx.doi.org/10.1007/s12045-013-0081-8
Mapping Scientific Frontiers:
The Quest for Knowledge Visualization, Second Edition
Chaomei Chen
Springer, 2013, ISBN 978-1-4471-5128-9
http://dx.doi.org/10.1007/978-1-4471-5128-9
Information Visualization: Beyond the Horizon, Second Edition
Chaomei Chen
Springer, 2006, ISBN 978-1-84628-579-0
http://dx.doi.org/10.1007/1-84628-579-8
Visualization and Verbalization of Data
Jorg Blasius and Michael Greenacre (Editors)
CRC Press, 2014, ISBN 978-1-4665-8981-0
http://www.crcnetbase.com/doi/book/10.1201/b16741
Introduction to Information Visualisation
Alan Dix
http://dx.doi.org/10.1007/978-3-642-36415-0_1
Information Retrieval Meets Information Visualization:
PROMISE Winter School 2012
Maristella Agosti, Nicola Ferro, Pamela Forner, Henning Muller,
and Guisepe Santucci (Editors)
Springer, 2013, ISBN 978-3-642-36415-0, LNCS 7757
http://dx.doi.org/10.1007/978-3-642-36415-0
Website of Alan Dix
http://alandix.com/academic/
7 Classic Foundational Vis Papers You Might not Want
to Publicly Confess you Don’t Know
Enrico Bertini
http://fellinlovewithdata.com/guides/7-classic-foundational-vis-papers
Fell in Love with Data Blog
http://fellinlovewithdata.com/
Implementing Analytics:
A Blueprint for Design, Development, and Adoption
Nauman Sheikh
Elsevier, 2013, ISBN 978-0-12-401696-5
http://www.sciencedirect.com/science/book/9780124016965
Core Concepts in Data Analysis:
Summarization, Correlation and Visualization
Boris Mirkin
Springer, 2011, ISBN 978-0-85729-287-2
http://dx.doi.org/10.1007/978-0-85729-287-2
Data Analytics: Models and Algorithms for Intelligent Data Analysis
Thomas A. Runkler
Springer, 2012, ISBN 978-3-8348-2589-6
http://dx.doi.org/10.1007/978-3-8348-2589-6
Data Analysis: What Can Be Learned From the Past 50 Years
Peter J. Huber
Wiley, 2011, ISBN 9781118018255
http://dx.doi.org/10.1002/9781118018255
Making Sense of Data:
A Practical Guide to Exploratory Data Analysis and Data Mining
Glenn J. Myatt
Wiley, 2007, ISBN 9780470074718
http://dx.doi.org/10.1002/0470101024
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
http://dx.doi.org/10.1002/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
http://dx.doi.org/10.1002/9781118121610
Data Analysis
Gerard Govaert (Editor)
Wiley, 2009, ISBN 9780470611777
http://dx.doi.org/10.1002/9780470611777
Symmetry Studies:
An Introduction to the Analysis of Structured Data in Applications
Marlos A. G. Viana
Cambridge University Press, 2008, ISBN 9780511755477
http://dx.doi.org/10.1017/CBO9780511755477
Spatial Data Analysis: Theory and Practice
Robert Haining
Cambridge University Press, 2003, ISBN 9780511754944
http://dx.doi.org/10.1017/CBO9780511754944
Do We Really Need the S-word?
Megan D. Higgs
Pages 6-9
American Scientist, Volume 101, Number 1 (January-February 2013)
http://www.americanscientist.org/issues/pub/2013/1/do-we-reallyneed-the-s-word
Business Intelligence: The Savvy Manager’s Guide, Second Edition
David Loshin
Elsevier, 2013, ISBN 978-0-12-385889-4
http://www.sciencedirect.com/science/book/9780123858894
Business Intelligence:
Second European Summer School, eBISS 2012, Tutorial Lectures
Marie-Aude Aufaure and Esteban Zimanyi (Editors)
Springer, 2013, ISBN 978-3-642-36318-4
http://dx.doi.org/10.1007/978-3-642-36318-4
High Impact Data Visualization with Power View,
Power Map, and Power BI
Adam Aspin
Springer, 2014, ISBN 978-1-4302-6617-4
http://dx.doi.org/10.1007/978-1-4302-6617-4
Handbook of Human Centric Visualization
Weidong Huang (Editor)
Springer, 2014, ISBN 978-1-4614-7485-2
http://dx.doi.org/10.1007/978-1-4614-7485-2
How to Write a Visualization Research Paper: A Starting Point
Robert S. Laramee
Pages 2363-2371
Computer Graphics Forum, Volume 29, Number 8 (December 2010)
http://dx.doi.org/10.1111/j.1467-8659.2010.01748.x
Expanding the Frontiers of Visual Analytics and Visualization
John Dill, Rae Earnshaw, David kasik, John Vince, and Pak Chung
Wong (Editors)
Springer, 2012, ISBN 978-1-4471-2804-5
http://dx.doi.org/10.1007/978-1-4471-2804-5
Multidimensional Data Visualization: Methods and Applications
Gintautas Dzemyda, Olga Kurasova, and Julius Zilinskas
Springer, 2013, ISBN 978-1-4419-0236-8
http://dx.doi.org/10.1007/978-1-4419-0236-8
Visualization of Time-Oriented Data
Wolfgang Aigner, Silvia Miksch, Heidrun Schumann,
and Christian Tominski
Springer, 2011, ISBN 978-0-85729-079-3
http://dx.doi.org/10.1007/978-0-85729-079-3
Data Representations, Transformations, and Statistics for
Visual Reasoning
Ross Maciejewski
Morgan & Claypool, 2011, ISBN 9781608456260
http://dx.doi.org/10.2200/S00357ED1V01Y201105VIS002
The Visualization of Spatial Social Structure
Daniel Dorling
Wiley, 2012, ISBN 9781118353929
http://dx.doi.org/10.1002/9781118353929
Introduction to Information Visualization
Riccardo Mazza
Springer, 2009, ISBN 978-1-84800-219-7
http://dx.doi.org/10.1007/978-1-84800-219-7
Knowledge and Information Visualization: Searching for Synergies
Sigmar-Olaf Tergan and Tanja Keller (Editors)
Springer, 2005, ISBN 978-3-540-31962-7
http://dx.doi.org/10.1007/b138081
Knowledge Visualization Currents: From Text to Art to Culture
Francis T. Marchese and Ebad Banissi (Editors)
Springer, 2013, ISBN 978-1-4471-4303-1
http://dx.doi.org/10.1007/978-1-4471-4303-1
Handbook of Data Visualization
Chun-houh Chen, Wolfgang Hardle, and Antony Unwin (Editors)
Springer, 2008, ISBN 978-3-540-33037-0
http://dx.doi.org/10.1007/978-3-540-33037-0
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/
R for Business Analytics
A. Ohri
Springer, 2012, ISBN 978-1-4614-4343-8
http://dx.doi.org/10.1007/978-1-4614-4343-8
Visual Intelligence:
Microsoft Tools and Techniques for Visualizing Data
Mark Stacey, Joe Salvatore, and Adam Jorgenson
Wiley, 2013, ISBN 9781118987179
http://dx.doi.org/10.1002/9781118987179
The Volume Library - volume datasets for scientists involved with
volume visualization and rendering
http://www9.informatik.uni-erlangen.de/External/vollib/
Computer Graphics, Dept. of Computer Science, University of
Erlangen-Nuremberg, Germany
http://lgdv.cs.fau.de/
Back to the Table of Contents
=======================================
Big Data ==============================
Special Report: Big Data
IEEE (September 2014)
http://theinstitute.ieee.org/static/special-report-big-data
Big Data: Related Technologies, Challenges and Future Prospects
Min Chen, Shiwen Mao, Yin Zhang, and Victor C.M. Leung
Springer, 2014, ISBN 978-3-319-06245-7
http://dx.doi.org/10.1007/978-3-319-06245-7
Principles of Big Data:
Preparing, Sharing and Analyzing Complex Information
Jules J. Berman
Elsevier, 2013, ISBN 978-0-12-404576-7
http://www.sciencedirect.com/science/book/9780124045767
Data Management – A Look Back and a Look Ahead
Raghunath Nambiar, Ramesh Chitor, and Ashok Joshi
http://dx.doi.org/10.1007/978-3-642-53974-9_2
Specifying Big Data Benchmarks, WBDB 2012
Tilmann Rabl, Meikel Poess, Chaitaya Baru,
and Hans-Arno Jacobsen (Editors)
Springer, 2014, ISBN 978-3-642-53974-9, LNCS 8163
http://dx.doi.org/10.1007/978-3-642-53974-9
The End of Theory:
The Data Deluge Makes the Scientific Method Obsolete
Chris Anderson
Wired Magazine, Volume 16, Number 7 (06.23.08)
http://archive.wired.com/science/discoveries/magazine/1607/pb_theory
Data Mining and Knowledge Discovery for Big Data: Methodologies,
Challenge and Opportunities
Wesley W. Chu (Editor)
Springer, 2014, ISBN 978-03-642-40837-3
http://dx.doi.org/10.1007/978-3-642-40837-3
Information Granularity, Big Data, and Computational Intelligence
Witold Pedrycz and Shyi-Ming Chen (Editors)
Springer, 2015, ISBN 978-3-319-08254-7
http://dx.doi.org/10.1007/978-3-319-08254-7
Pocket Data Mining: Big Data on Small Devices
Mohamed Medhat Gaber, Frederic Stahl, and Joao Bartolo Gomes
Springer, 2014, ISBN 978-3-319-02711-1
http://dx.doi.org/10.1007/978-3-319-02711-1
Big Data Application Architecture Q & A:
A Problem-Solution Approach
Nitin Sawant and Himanshu Shah
Springer, 2013, ISBN 978-1-4302-6293-0
http://dx.doi.org/10.1007/978-1-4302-6293-0
Modeling and Processing for Next-Generation Big-Data Technologies:
With Applications and Case Studies
Fatos Xhafa, Leonard Barolli, Admir Barolli,
and Petraq Papajorgji (Editors)
Springer, 2015, ISBN 978-3-319-09177-8
http://dx.doi.org/10.1007/978-3-319-09177-8
Big Data: The Management Revolution
Andrew McAfee and Erik Brynjolfsson
Pages 60-68
Harvard Business Review, Volume 90, Number 10 (October 2012)
http://search.ebscohost.com/login.aspx?direct=true&db=bth&AN=799
96279&site=ehost-live
Making Advanced Analytics Work For You: A practical guide to
capitalizing on big data
Dominic Barton and David Court
Pages 78-83
Harvard Business Review, Volume 90, Number 10 (October 2012)
http://search.ebscohost.com/login.aspx?direct=true&db=bth&AN=799
96092&site=ehost-live
Data Warehousing in the Age of Big Data
Krish Krishnan
Elsevier, 2013, ISBN 978-0-12-405891-0
http://www.sciencedirect.com/science/book/9780124058910
Chapter 4 Web-Scale Analytics for BIG Data
http://dx.doi.org/10.1007/978-1-4614-6856-1_4
Web-Scale Data Management for the Cloud
Wolfgang Lehner and Kai-Uwe Sattler
Springer, 2013, ISBN 978-1-4614-6856-1
http://dx.doi.org/10.1007/978-1-4614-6856-1
A Comprehensive Survey on Data Intensive Computing and
MapReduce Paradigm in Cloud Computing Environments
Girish Neelakanta Iyer and Salaja Silas
http://dx.doi.org/10.1007/978-81-322-1916-3_9
Informatics and Communication Technologies for Societal
Development: Proceedings of ICICTS 2014
Elija Blassing Rajsingh, Anand Bhojan, and J. Dinesh Peter (Editors)
Springer, 2015, ISBN 978-81-322-1916-3
http://dx.doi.org/10.1007/978-81-322-1916-3
Chapter 8 Data-Intensive Computing: MapReduce Programming
http://dx.doi.org/10.1016/B978-0-12-411454-8.00008-5
Mastering Cloud Computing:
Foundations and Applications Programming
Rajkumar Buyya, Christian Vecchiola, and S. Thamaraj Selvi
Elsevier, 2013, ISBN 978-0-12-411454-8
http://www.sciencedirect.com/science/book/9780124114548
Chapter 1 The Family of Map-Reduce
Sherif Sakr and Anna Liu
http://dx.doi.org/10.1007/978-1-4614-9242-9_1
Large-Scale Data Analytics
Aris Gkoilalas-Divanis and Abderrahim Labbi (Editors)
Springer, 2014, ISBN 978-1-4614-9242-9
http://dx.doi.org/10.1007/978-1-4614-9242-9
Distributed Data Management Using MapReduce
Feng Li, Beng Chin Ooi, M. Tamer Ozsu, and Sai Wu
ACM Computing Surveys, Volume 46, Number 3 (January 2014)
http://dx.doi.org/10.1145/2503009
Chapter 17 Big Data for the SQL Server DBA
Carlos Bossy
http://dx.doi.org/10.1007/978-1-4302-4771-5_17
Pro SQL Server 2012 Practices
Bradley Ball et al
Springer, 2012, ISBN 978-1-4302-4771-5
http://dx.doi.org/10.1007/978-1-4302-4771-5
MapReduce Tutorial
http://hadoop.apache.org/docs/stable/mapred_tutorial.html
Apache Hadoop
http://hadoop.apache.org/
Introduction to MapReduce with Hadoop on Linux
Adam Monsen
Linux Journal (June 05, 2013)
http://www.linuxjournal.com/content/introduction-mapreducehadoop-linux
Pro Microsoft HDInsight: Hadoop on Windows
Debarchan Sarkar
Springer, 2014, ISBN 978-1-4302-6056-1
http://dx.doi.org/10.1007/978-1-4302-6056-1
The Google File System
Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung
Google, Inc. (2003)
http://research.google.com/archive/gfs.html
MapReduce: Simplified Data Processing on Large Clusters
Jeffrey Dean and Sanjay Ghemawat
Google, Inc. (2004)
http://research.google.com/archive/mapreduce.html
Communications of the ACM,
Volume 51, Number 1 (January 2008) Pages 107-113
http://dx.doi.org/10.1145/1327452.1327492
Bigtable: A Distributed Storage System for Structured Data
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, et al
Google, Inc. (2006)
http://research.google.com/archive/bigtable.html
Google’s MapReduce programming model – Revisited
Ralf Lammel
Science of Computer Programming,
Volume 70, Number 1 (January 2008) Pages 1-30
http://dx.doi.org/10.1016/j.scico.2007.07.001
Data-Intensive Text Processing with MapReduce
Jimmy Lin and Chris Dyer
Morgan & Claypool, 2010, ISBN 9781608453436
http://lintool.github.io/MapReduceAlgorithms/
http://dx.doi.org/10.2200/S00274ED1V01Y201006HLT007
MapReduce is Good Enough? If All You Have is a Hammer, Throw
Away Everything That’s Not a Nail!
Jimmy Lin
arXiv:1209.2191 [cs.DC] (September 2012)
http://arxiv.org/abs/1209.2191
MapReduce Patterns, Algorithms, and Use Cases
Ilya Katsov
Blog (February 1, 2012)
http://highlyscalable.wordpress.com/2012/02/01/mapreducepatterns/
Big Data Beyond MapReduce: Google’s Big Data Papers
Mikio Braun
Big Data/BI Zone (02.25.2013)
http://architects.dzone.com/articles/big-data-beyond-mapreduce
Twister: Iterative MapReduce
http://www.iterativemapreduce.org/
The Disco Project
http://discoproject.org/
Big Data and Internet of Things: A Roadmap for Smart Environments
Nik Bessis and Ciprian Dobre (Editors)
Springer, 2014, ISBN 978-3-319-05029-4
http://dx.doi.org/10.1007/978-3-319-05029-4
Is Big Data Enough? A Reflection on the Changing Role of
Mathematics in Applications
Domenico Napoletani, Marco Panza, and Daniele C Scruppa
Notices of the AMS, Volume 61, Number 5 (May 2014)
http://www.ams.org/notices/201405/rnoti-p485.pdf
The curse of big data
Vincent Granville (January 5, 2013)
http://www.analyticbridge.com/profiles/blogs/the-curse-of-big-data
Back to the Table of Contents
=======================================
Human-Computer Interaction =============
Also see:
User Interfaces and Human Factors shelf in
the Software Science and Technology section;
Industrial Engineering and Design shelf in
the Engineering section.
Designing with the Mind in Mind:
Simple Guide to Understanding User Interface Design Guidelines,
Second Edition
Jeff Johnson
Elsevier, 2014, ISBN 978-0-12-407914-4
http://www.sciencedirect.com/science/book/9780124079144
Studying and Designing Technology for Domestic Life:
Lessons from Home
Tejinder K. Judge and Carman Neustaedter
Elsevier, 2015, ISBN 978-0-12-800555-2
http://www.sciencedirect.com/science/book/9780128005552
**** Here HCI means Human-Centered Informatics ****
Conceptual Models: Core to Good Design
Jeff Johnson
Morgan & Claypool, 2012, ISBN 9781608457502
http://dx.doi.org/10.2200/S00391ED1V01Y201111HCI012
Uncomfortable User Experience
Steve Benford, Chris Greenhalgh, Gabriella Giannachi,
Brendan Walker, Joe Marshall, and Tom Rodden
Communications of the ACM,
Volume 56, Number 9 (September 2013) Pages 66-73
http://dx.doi.org/10.1145/2500468.2500889
Mobile User Experience:
Patterns to Make Sense of it All
Adrian Mendoza
Elsevier, 2014, ISBN 978-0-12-409514-4
http://www.sciencedirect.com/science/book/9780124095144
There’s Not an App for That:
Mobile User Experience Design for Life
Simon Robinson, Gary Marsden, and Matt Jones
Elsevier, 2015, ISBN 978-0-12-416691-2
http://www.sciencedirect.com/science/book/9780124166912
Experience with Technology:
Dynamics of User Experience with Mobile Media Devices
Ali al-Azzawi
Springer, 2014, ISBN 978-1-4471-5397-9
http://dx.doi.org/10.1007/978-1-4471-5397-9
Natural Interaction with Robots, Knowbots and Smartphones:
Putting Spoken Dialog Systems into Practice
Joseph Mariani, Sophie Rosset, Martine Garnier-Rizet,
and Laurence Devillers (Editors)
Springer, 2014, ISBN 978-1-4614-8280-2
http://dx.doi.org/10.1007/978-1-4614-8280-2
Human-Computer Interaction:
An Empirical Research Perspective
I. Scott Mackenzie
Elsevier, 2013, ISBN 978-0-12-405865-1
http://www.sciencedirect.com/science/book/9780124058651
Ways of Knowing in HCI
Judith S. Olson and Wendy A. Kellogg (Editors)
Springer, 2014, ISBN 978-1-4939-0378-8
http://dx.doi.org/10.1007/978-1-4939-0378-8
Reframing Information Architecture
Andrea Resmini (Editor)
Springer, 2014, ISBN 978-3-319-06492-5
http://dx.doi.org/10.1007/978-3-319-06492-5
Pervasive Information Architecture:
Designing Cross-Channel User Experience
Andrea Resmini and Luca Rosati
Elsevier, 2011, ISBN 978-0-12-382094-5
http://www.sciencedirect.com/science/book/9780123820945
The Encyclopedia of Human-Computer Interaction
http://www.interaction-design.org/books/hci.html
Interactive Design Foundation
http://www.interaction-design.org/
Intersection: How Enterprise Design Bridges the Gap
between Business, Technology and People
Milan Guenther
Elsevier, 2012, ISBN 978-0-12-388435-0
http://www.sciencedirect.com/science/book/9780123884350
Total Interaction: Theory and practice of a new
paradigm for the design disciplines
Gerhard M. Buurman (Editor)
Springer, 2005, ISBN 978-3-7643-76772-2
http://dx.doi.org/10.1007/3-7643-7677-5
Forms that Work: Designing Web Forms for Usability
Caroline Jarett and Gerry Gaffney
Elsevier, 2009, ISBN 978-1-55860-710-1
http://www.sciencedirect.com/science/book/9781558607101
HCI Models, Theories, and Frameworks:
Toward a Multidisciplinary Science
John M. Carroll (Editor)
Elsevier, 2003, ISBN 978-1-55860-808-5
http://www.sciencedirect.com/science/book/9781558608085
HCI Beyond the GUI:
Design for Haptic, Speech, Olfactory, and Other
Nontraditional Interfaces
Philip Kortum
Elsevier, 2008, ISBN 978-0-12-374017-5
http://www.sciencedirect.com/science/book/9780123740175
The Human-Computer Interaction Handbook:
Fundamentals, Evolving Technologies, and Emerging
Applications; Third Edition
Julie A. Jacko (Editor)
CRC Press, 2012, ISBN 978-1-4398-2944-8
http://dx.doi.org/10.1201/b11963
Music and Human-Computer Interaction
Simon Holland, Katie Wilkie, Paul Mulholland,
and Allan Seago (Editors)
Springer, 2013, ISBN 978-1-4471-2990-5
http://dx.doi.org/10.1007/978-1-4471-2990-5
Interactive Experience in the Digital Age: Evaluating New Art Practice
Linda Candy and Sam Ferguson (Editors)
Springer, 2014, ISBN 978-3-319-04510-8
http://dx.doi.org/10.1007/978-3-319-04510-8
Experimental Human-Computer Interaction:
A Practical Guide with Visual Examples
Helen C. Purchase
Cambridge University Press, 2012, ISBN 9780511844522
http://dx.doi.org/10.1017/CBO9780511844522
Visual Usability:
Principles and Practices for Designing Digital Applications
Tania Schlachter and Deborah Levinson
Elsevier, 2013, ISBN 978-0-12-398536-1
http://www.sciencedirect.com/science/book/9780123985361
Practical Web Analytics:
How Analytics Can Help You Understand Your Users
Michael Beasley
Elsevier, 2013, ISBN 978-0-12-404619-1
http://www.sciencedirect.com/science/book/9780124046191
Your Virtual Butler: The Making-of
Robert Trappl (Editor)
Springer, 2013, ISBN 978-3-642-37346-6
http://dx.doi.org/10.1007/978-3-642-37346-6
Cognition Beyond the Brain:
Computation, Interactivity and Human Artifice
Stephen J. Cowley and Frederic Vallee-Tourangeau (Editors)
Springer, 2013, ISBN 978-1-4471-5125-8
http://dx.doi.org/10.1007/978-1-4471-5125-8
Life-Like Characters: Tools, Affective Functions, and Applications
Helmut Prendinger and Mitsuru Ishizuka (Editors)
Springer, 2004, ISBN 978-3-662-08373-4
http://dx.doi.org/10.1007/978-3-662-08373-4
TV-Anytime: Paving the Way for Personalized TV
Alberto Gil Solla and Rafael G. Sotelo Bovino
Springer, 2013, ISBN 978-3-642-36766-3
http://dx.doi.org/10.1007/978-3-642-36766-3
Human Computer Interaction Using Hand Gestures
Prashan Premaratne
Springer, 2014, ISBN 978-981-4585-69-9
http://dx.doi.org/10.1007/978-981-4585-69-9
Brave NUI World:
Designing Natural User Interfaces for Touch and Gesture
Daniel Wigdor and Dennis Wixon
Elsevier, 2011, ISBN 978-0-12-382231-4
http://www.sciencedirect.com/science/book/9780123822314
Zero Effort Technologies: Considerations, Challenges, and Use in
Health, Wellness, and Rehabilitation
Alex Mihailidis, Jennifer Boger, Jesse Hoey, and Tizneem Jiancaro
Morgan & Claypool, 2011, ISBN 9781608455201
http://dx.doi.org/10.2200/S00380ED1V01Y201108ARH002
Design and the Digital Divide: Insights from 40 Years in
Computer Support for Older and Disabled People
Alan F. Newell
Morgan & Claypool, 2011, ISBN 9781608457410
http://dx.doi.org/10.2200/S00369ED1V01Y201106ARH001
Neural Engineering, Second Edition
Bin He (Editor)
Springer, 2013, ISBN 978-1-4614-5227-0
http://dx.doi.org/10.1007/978-1-4614-5227-0
Digital Outcasts:
Moving Technology Forward without Leaving People Behind
Kel Smith
Elsevier, 2013, ISBN 978-0-12-404705-1
http://www.sciencedirect.com/science/book/9780124047051
Creativity and Rationale: Enhancing Human Experience by Design
John M. Carroll (Editor)
Springer, 2013, ISBN 978-1-4471-4111-2
http://dx.doi.org/10.1007/978-1-4471-4111-2
Vision-Based Interaction
Matthew Turk and Gang Hua
Morgan & Claypool, 2014, ISBN 9781628452422
http://dx.doi.org/10.2200/S00536ED1V01Y201309COV005
Eye Tracking Methodology: Theory and Practice
Andrew T. Duchowski
Springer, 2003, ISBN 978-1-4471-3750-4
http://dx.doi.org/10.1007/978-1-4471-3750-4
Gazing at Games: An Introduction to Eye Tracking Control
Vronica Sundstedt
Morgan & Claypool, 2012, ISBN 9781608456505
http://dx.doi.org/10.2200/S00395ED1V01Y201111CGR014
Game Analytics: Maximizing the Value of Player Data
Magy Seif El-Nasr, Anders Drachen, and Alessandro Canossa (Editors)
Springer, 2013, ISBN 978-1-4471-4769-5
http://dx.doi.org/10.1007/978-1-4471-4769-5
Usability and Internationalization, UI-HCII 2007
N. Aykin (Editor)
Springer, 2007, ISBN 978-3-540-73286-0, LNCS 4559
http://www.springerlink.com/content/978-3-540-73286-0/contents/
Chapter 1 – Introducing the Information Experience
http://dx.doi.org/10.1016/B978-0-12-394813-7.00001-8
Writing for Interaction: Crafting the Information
Experience for Web and Software Apps
Linda Newman Lior
Elsevier, 2013, ISBN 978-0-12-394813-7
http://www.sciencedirect.com/science/book/9780123948137
The Digital Crown: Winning at Content on the Web
Ahava Leibtag
Elsevier, 2014, ISBN 978-0-12-407674-7
http://www.sciencedirect.com/science/book/9780124076747
Letting Go of the Words: Writing Web Content that Works
Janice (Ginny) Redish
Elsevier, 2012, ISBN 978-0-12-385930-3
http://www.sciencedirect.com/science/book/9780123859303
Content Strategy at Work: Real-World Stories to
Strengthen Every Interactive Project
Margot Bloomstein
Elsevier, 2012, ISBN 978-0-12-391922-9
http://www.sciencedirect.com/science/book/9780123919229
Thoughts on Interaction Design, Second edition
Jon Kolko
Elsevier, 2011, ISBN 978-0-12-380930-8
http://www.sciencedirect.com/science/book/9780123809308
Orchestrating Human-Centered Design
Guy Andre Boy
Springer, 2013, ISBN 978-1-4471-4339-0
http://dx.doi.org/10.1007/978-1-4471-4339-0
User Experience Innovation
Christian Kraft
Springer, 2012, ISBN 978-1-4302-4150-8
http://dx.doi.org/10.1007/978-1-4302-4150-8
The UX Five-Second Rules: Guidelines for User Experience
Design’s Simplest Testing Technique
Paul Doncaster
Elsevier, 2014, ISBN 978-0-12-800534-7
http://www.sciencedirect.com/science/book/9780128005347
Personas – User Focused Design
Lene Nielsen
Springer, 2013, ISBN 978-1-4471-4084-9
http://dx.doi.org/10.1007/978-1-4471-4084-9
Psychological Personas for Universal User Modeling in
Human-Computer Interaction
Caio Felix de Araujo and Plinio Thomaz Aquino Junior
http://dx.doi.org/10.1007/978-3-319-07233-3_1
Human-Computer Interaction: Theories, Methods, and Tools;
HCI International 2014; Proceedings, Part I
Masaaki Kurozu (Editor)
Springer, 2014, ISBN 978-3-319-07233-3, LNCS 8510
http://dx.doi.org/10.1007/978-3-319-07233-3
A Journey Through Cultures:
Metaphors for Guiding the Design of Cross-Cultural
Interactive Systems
Luciana Cardoso de Castro Salgado, Carla Faria Leitao,
and Clarisse Sieckenius de Souza
Springer, 2013, ISBN 9781-4471-4114-3
http://dx.doi.org/10.1007/978-1-4471-4114-3
Mutimodal Signal Processing:
Theory and Applications for Human-Computer Interaction
Jean-Philippe Thiran, Ferran Marques, and Herve Bourlard (Editors)
Elsevier, 2009, ISBN 978-0-12-374825-6
http://www.sciencedirect.com/science/book/9780123748256
**** Here HCI means Human-Centered Informatics ****
HCI Theory: Classical, Modern, and Contemporary
Yvonne Rogers
Morgan & Claypool, 2012, ISBN 9781608459018
http://dx.doi.org/10.2200/S00418ED1V01Y201205HCI014
**** Here HCI means Human-Centered Informatics ****
Activity Theory in HCI: Fundamentals and Reflections
Victor Kaptelinin and Bonnie Nardi
Morgan & Claypool, 2012, ISBN 9781608457052
http://dx.doi.org/10.2200/S00413ED1V01Y201203HCI013
**** Here HCI means Human-Centered Informatics ****
Making Claims: Knowledge Design, Capture, and Sharing in HCI
D. Scott McCrickard
Morgan & Claypool, 2012, ISBN 9781608459056
http://dx.doi.org/10.2200/S00423ED1V01Y201205HCI015
2 Human Attention and its implications for human-computer
interaction
Claudia Roda
http://dx.doi.org/10.1017/CBO9780511974519.002
Human Attention in Digital Environments
Claudia Roda (Editor)
Cambridge University Press, 2011, ISBN 9780511974519
http://dx.doi.org/10.1017/CBO9780511974519
Agile User Experience Design:
A Practitioner’s Guide to Making It Work
Diana DeMarco Brown
Elsevier, 2013, ISBN 978-0-12-415953-2
http://www.sciencedirect.com/science/book/9780124159532
Observing the User Experience:
A Practitioner’s Guide to User Experience
Elizabeth Goodman, Mike Kuniavsky, and Andrea Moed
Elsevier, 2012, ISBN 978-0-12-384869-7
http://www.sciencedirect.com/science/book/9780123848697
The Moderator’s Survival Guide: Handling Common,
Tricky, and Sticky Situations in User Research
Donna Tedesco and Fiona Tranquada
Elsevier, 2014, ISBN 978-0-12-404700-6
http://www.sciencedirect.com/science/book/9780124047006
Measuring the User Experience: Collecting, Analyzing,
and Presenting Usability Metrics, Second Edition
Tom Tullis and Bill Albert
Elsevier, 2013, ISBN 978-0-12-415781-1
http://www.sciencedirect.com/science/book/9780124157811
It’s Our Research: Getting Stakeholder Buy-in for User
Experience Research Projects
Tomer Sharon
Elsevier, 2012, ISBN 978-0-12-385130-7
http://www.sciencedirect.com/science/book/9780123851307
Quantifying the User Experience: Practical Statistics for User Research
Jeff Sauro and James R. Lewis
Elsevier, 2012, ISBN 978-0-12-384968-7
http://www.sciencedirect.com/science/book/9780123849687
User experience: does it matter in complex systems?
Pula Savioja, Marja Linasio, and Hanna Koskinen
Cognition, Technology & Work,
Volume 16, Number 4 (November 2014)
http://dx.doi.org/10.1007/s10111-013-0271-x
The Cockpit Metaphor
Lynne Colgan, Robert Spence, and Paul Rankin
Pages 251-263
Behaviour & Information Technology, Volume 14, Number 4 (1995)
http://dx.doi.org/10.1080/01449299508914638
The science of interaction
Pages 263-274
William A. Pike, John Stasko, Remco Chang, and Theresa A. O’Connell
Information Visualization, Volume 8, Number 4 (2009)
http://dx.doi.org/10.1057/ivs.2009.22
The magical number seven, plus or minus two:
some limits on our capacity for processing information
George A. Miller
Pages 81-97
Psychological Review, Volume 63, Issue 2 (March 1956)
http://psycnet.apa.org/journals/rev/63/2/
Features of Similarity
Amos Tversky
Psychological Review, Volume 84, Issue 4 (July 1977)
http://psycnet.apa.org/journals/rev/84/4/
Funology: From Usability to Enjoyment
Mark A. Blythe, Kees Overbeeke, Andrew F. Monk,
and Peter C. Wright (Editors)
Springer, 2005, ISBN 978-1-4020-2967-7
http://dx.doi.org/10.1007/1-4020-2967-5
The Psychology of Cyberspace
John Suler
http://www-usr.rider.edu/~suler/psycyber/psycyber.html
Teaching Clinical Psychology Website
http://www-usr.rider.edu/~suler/tcp.html
As We May Think
Vannevar Bush
The Atlantic Magazine (July 1945)
http://www.theatlantic.com/magazine/print/1945/07/as-we-maythink/3881/
Wikipedia:
http://en.wikipedia.org/wiki/Vannevar_Bush
HCIcourse - free open online HCI course
http://hcicourse.com/
Website of Alan Dix
http://alandix.com/academic/
ALL ABOUT UX – Information for user experience
professionals
http://www.allaboutux.org/
Back to the Table of Contents
=======================================
Ironies of Automation ===================
Ironies of Automation
Lisanne Bainbridge
Automatica,
Volume 19, Number 6 (1983) Pages 775-779
http://dx.doi.org/10.1016/0005-1098(83)90046-8
Handbook of Human Factors and Ergonomics,
Fourth Edition
Gavriel Salvendy (Editor)
Wiley, 2012, ISBN 978111813350
http://dx.doi.org/10.1002/9781118131350
Springer Handbook of Automation
Shimon Y. Nof (Editor)
Springer, 2009, OSBN 978-3-540-78831-7
http://dx.doi.org/10.1007/978-3-540-78831-7
Why Are People’s Decisions Sometimes Worse with Computer
Support?
Eugeni Alberdi, Lorenzo Strigini, Audrey A. Povyakalo,
and Peter Ayton
http://dx.doi.org/10.1007/978-3-642-04468-7_3
Computer Safety, Reliability, and Security:
28th International Conference, SAFECOMP 2009
Bettina Buth, Gerd Rabe, and Till Seyfarth (Editors)
Springer, 2009, ISBN 978-3-642-04468-7, LNCS 5775
http://dx.doi.org/10.1007/978-3-642-04468-7
I want to believe: some myths about the management of industrial
safety
Denis Besnard and Erik Holinagel
Cognition, Technology & Work, Volume 16, Number 1 (February 2014)
http://dx.doi.org/10.1007/s10111-012-0237-4
Back to the Table of Contents
=======================================
Fun with Algorithms ====================
Special Issue: Fun with Algorithms
Theory of Computing Systems, Volume 50, Number 1 (January 2012)
http://link.springer.com/journal/224/50/1/
Fun with Algorithms – 7th International Conference,
FUN 2014
Alfredo Ferro, Fabrizio Luccio, and Peter Widmayer (Editors)
Springer, 2014, ISBN 978-3-319-07890-8. LNCS 8496
http://dx.doi.org/10.1007/978-3-319-07890-8
Fun with Algorithms – 6th International Conference,
FUN 2012
Evangelos Kranakis, Danny Krizanc, and Flaminia Luccio (Editors)
Springer, 2012, ISBN 978-3-642-30347-0
http://dx.doi.org/10.1007/978-3-642-30347-0
Fun with Algorithms - 5th International Conference,
FUN 2010
Paolo Boldi and Luisa Gargano (Editors)
Springer, 2010, ISBN 978-3-642-13122-6, LNCS 6099
http://dx.doi.org/10.1007/978-3-642-13122-6
Fun with Algorithms - 4th International Conference,
FUN 2007
Pierluigi Crescenzi, Guiseppe Prencipe, and Geppino Pucci (Editors)
Springer, 2007, ISBN 978-3-540-72914-3, LNCS 4475
http://dx.doi.org/10.1007/978-3-540-72914-3
Special Issue: FUN with Algorithms 2004
Theory of Computing Systems, Volume 39, Number 3 (June 2006)
http://link.springer.com/journal/224/39/3/
Special Issue: Fun with Algorithms 2
Discrete Applied Mathematics,
Volume 144, Number 3 (15 December 2004)
http://www.sciencedirect.com/science/journal/0166218X/144/3
Special Issue: FUN with Algorithms
Theoretical Computer Science, Volume 282, Number 2 (10 June 2002)
http://www.sciencedirect.com/science/journal/03043975/282/2
Proceedings of the 3rd International Conference on Fun
and Games, Fun and Games ‘10
** Click on the “Table of Contents” **
http://dl.acm.org/citation.cfm?id=1823818
Fun with Games - Second International Conference
Panos Markopoulos, Boris de Ruyter, Wijnand IJsselsteijn,
and Duncan Rowland (Editors)
Springer, 2008, ISBN 978-3-540-88322-7, LNCS 5294
http://dx.doi.org/10.1007/978-3-540-88322-7
Back to the Table of Contents
=======================================
ACM Turing Award Lectures ==============
ACM Turing Award Lectures – Alternative Access
(not complete)
http://www.informatik.uni-trier.de/~ley/db/journals/cacm/turing.html
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/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/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/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
http://dl.acm.org/citation.cfm?id=233436
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
http://dl.acm.org/citation.cfm?id=194313.214781
It’s Time to Reconsider Time
Richard E. Stearns – 1993
http://amturing.acm.org/award_winners/stearns_1081900.cfm
Communications of the ACM,
Volume 37, Number 11 (November 1994) Pages 95-99
http://dl.acm.org/citation.cfm?id=188280.188379
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
http://dl.acm.org/citation.cfm?id=151233.151240
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
http://dl.acm.org/citation.cfm?id=114669.114686
Micropipelines
Ivan Sutherland – 1988
http://amturing.acm.org/award_winners/sutherland_3467412.cfm
Communications of the ACM,
Volume 32, Number 6 (June 1989) Pages 720-738
http://dl.acm.org/citation.cfm?id=63532
An Interview with Ivan Sutherland
Communications of the ACM,
Volume 32, Number 6 (June 1989) Pages 711-718
http://dl.acm.org/citation.cfm?id=63531
The Search for Performance in Scientific Processors
John Cocke – 1987
http://amturing.acm.org/award_winners/cocke_2083115.cfm
Communications of the ACM,
Volume 31, Number 3 (March 1988) Pages 250-253
http://dl.acm.org/citation.cfm?id=42394
Computer Science: The Emergence of a Discipline
John E. Hopcroft - 1986
http://amturing.acm.org/award_winners/hopcroft_1053917.cfm
Communications of the ACM,
Volume 30, Number 3 (March 1987) Pages 198-202
http://dl.acm.org/citation.cfm?id=214750
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
http://dl.acm.org/citation.cfm?id=214752
An Interview with 1986 A. M. TURING AWARD RECIPIENTS
John E. Hopcroft and Robert E. Tarjan – 1986
Communications of the ACM,
Volume 30, Number 3 (March 1987) Pages 214-222
http://dl.acm.org/citation.cfm?id=214748.214754
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
http://dl.acm.org/citation.cfm?id=5658
From Programming Language Design to Computer Construction
Niklaus Wirth – 1984
http://amturing.acm.org/award_winners/wirth_1025774.cfm
Communications of the ACM,
Volume 28, Number 2 (February 1985) Pages 159-164
http://dl.acm.org/citation.cfm?id=2789
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
http://dl.acm.org/citation.cfm?id=358207
Reflections on Trusting Trust
Ken Thompson – 1983
http://amturing.acm.org/award_winners/thompson_4588371.cfm
Communications of the ACM,
Volume 27, Number 8 (August 1984) Pages 761-763
http://dl.acm.org/citation.cfm?id=358210
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
http://dl.acm.org/citation.cfm?id=358144
Relational Database: A Practical Foundation for Productivity
E. F. Codd – 1981
http://amturing.acm.org/award_winners/codd_1000892.cfm
Communications of the ACM,
Volume 25, Number 2 (February 1982) Pages 109-117
http://dl.acm.org/citation.cfm?id=358400
The Emperor’s Old Clothes
Charles Anthony Richard Hoare – 1980
http://amturing.acm.org/award_winners/hoare_4622167.cfm
Communications of the ACM,
Volume 24, Number 2 (February 1981) Pages 75-83
http://dx.doi.org/10.1145/358549.358561
Notation as a Tool of Thought
Kenneth E. Iverson - 1979
http://amturing.acm.org/award_winners/iverson_9147499.cfm
Communications of the ACM,
Volume 23, Number 8 (August 1980) Pages 444-465
http://dx.doi.org/10.1145/358896.358899
The Paradigms of Programming
Robert W. Floyd – 1978
http://amturing.acm.org/award_winners/floyd_3720707.cfm
Communications of the ACM,
Volume 22, Number 8 (August 1979) Pages 455-460
http://dl.acm.org/citation.cfm?id=359140
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
Communications of the ACM,
Volume 21, Number 8 (August 1978) Pages 613-641
http://dx.doi.org/10.1145/359576.359579
Complexity of Computations
Michael O. Rabin – 1976
http://amturing.acm.org/award_winners/rabin_9681074.cfm
Communications of the ACM,
Volume 20, Number 9 (September 1977) Pages 625-633
http://dl.acm.org/citation.cfm?id=359816
Logic and Programming Languages
Dana S. Scott – 1976
http://amturing.acm.org/award_winners/scott_1193622.cfm
Communications of the ACM,
Volume 20, Number 9 (September 1977) Pages 634-641
http://dl.acm.org/citation.cfm?id=359826
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
Communications of the ACM,
Volume 19, Number 3 (March 1976) Pages 113-126
http://dl.acm.org/citation.cfm?id=360022
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
http://dl.acm.org/citation.cfm?id=361612
The Programmer as Navigator
Charles W. Bachman – 1973
http://amturing.acm.org/award_winners/bachman_1896680.cfm
Communications of the ACM,
Volume 16, Number 11 (November 1973) Pages 653-658
http://dl.acm.org/citation.cfm?id=362534
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-866
http://dx.doi.org/10.1145/355604.361591
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
http://dl.acm.org/citation.cfm?doid=33447.33448
Back to the Table of Contents
=======================================
Thoughts, Ideas, Opinions, and Surveys =====
A Computer Scientist’s View of Life, the Universe, and
Everything
Jurgen Schmidhuber
arXiv:quant-ph/9904050 (April 13, 1999)
http://arxiv.org/abs/quant-ph/9904050
Conversation About Challenges in Computing
Are Magnus Bruaset and Aslak Tveito (Editors)
Springer, 2013, ISBN 978-3-319-00209-5
http://dx.doi.org/10.1007/978-3-319-00209-5
Organic Computing – A Paradigm Shift for Complex Systems
Christian Muller-Schloer, Hartmut Schmeck,
and Theo Ungerer (Editors)
Springer, 2011, ISBN 978-3-0348-0130-0
http://dx.doi.org/10.1007/978-3-0348-0130-0
Turing’s Connectionism:
An Investigation of Neural Network Architecture
Christof Teuscher
Springer, 2002, ISBN 978-1-4471-0161-1
http://dx.doi.org/10.1007/978-1-4471-0161-1
Proof assistants: History, ideas and future
H. Geuvers
Pages 3-25
Special Issue on Interactive Theorem Proving and Verification
Sadhana, Volume 34, Number 1 (February 2009)
http://dx.doi.org/10.1007/s12046-009-0001-5
Handbook of Nature-Inspired and Innovative
Computing: Integrating Classical Models with
Emerging Technologies
Albert Y. Zomaya (Editor)
Springer, 2006, ISBN 978-0-387-27705-9
http://dx.doi.org/10.1007/0-387-27705-6
Natural Born Computing
Peter J. Bentley
Pages 20-36
http://dx.doi.org/10.1007/978-3-642-25929-6_2
Mathematical and Engineering Methods in Computer Science,
MEMICS 2011
Zdenek Kotasek et al. (Editors)
Springer, 2012, ISBN 978-3-642-25929-6, LNCS 7119
http://dx.doi.org/10.1007/978-3-642-25929-6
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-23157-5
http://dx.doi.org/10.1007/978-3-642-23157-5
Science Fiction Prototyping:
Designing the Future with Science Fiction
Brian David Johnson
Morgan & Claypool, 2011, ISBN 9781608456567
http://dx.doi.org/10.2200/S00336ED1V01Y201102CSL003
Cognitive Agent-based Computing-I:
A Unified Framework for Modeling Complex Adaptive Systems
Using Agent-based & Complex Network-based Methods
Muaz A. Niazi and Amir Hussain
Springer, 2013, ISBN 978-94-007-3852-2
http://dx.doi.org/10.1007/978-94-007-3852-2
The Language of Design: Theory and Computation
Andy Dong
Springer, 2009, ISBN 978-1-84882-021-0
http://dx.doi.org/10.1007/978-1-84882-021-0
Analysis and Design of Advice
Ivan Jureta
Springer, 2011, ISBN 978-3-642-18059-0
http://dx.doi.org/10.1007/978-3-642-18059-0
Agreement Technologies
Sascha Ossowski (Editor)
Springer, 2013, ISBN 978-94-007-5583-3
http://dx.doi.org/10.1007/978-94-007-5583-3
Back to the Table of Contents
=======================================
Formal Methods – Dijkstra et al. –
Then and Now =========================
40 Years of Formal Methods: Some Obstacles and Some Possibilities
Dines Bjorner and Klaus Havelund
http://dx.doi.org/10.1007/978-3-319-06410-9_4
FM2014: Formal Methods; 19th International Symposium
Cliff Jones, Pekka Pihlajasaari, and Jun Sun (Editors)
Springer, 2014, ISBN 978-3-319-06410-9, LNCS 8442
http://dx.doi.org/10.1007/978-3-319-06410-9
An Interview with Edsger W. Dijsktra (condensed)
Communications of the ACM, Volume 53, Number 8 (August 2010)
http://dx.doi.org/10.1145/1787234.1787249
An Interview with Edsger W. Dijsktra
Conducted by Philip L. Frana (August 2001)
http://conservancy.umn.edu/handle/107247
Charles Babbage Institute Collections, University of Minnesota
http://www.cbi.umn.edu/oh/
Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius
Krzysztof R. Apt
Pages 92-98
Formal Aspects of Computing, Volume 14, Number 2 (December 2002)
http://dx.doi.org/10.1007/s001650200029
E. W. Dijkstra Archive:
the manuscripts of Edsger W. Dijkstra
http://www.cs.utexas.edu/~EWD/
The Humble Programmer
Edsger W. Dijkstra
http://amturing.acm.org/award_winners/dijkstra_1053701.cfm
Communications of the ACM, Volume 15, Number 10 (October 1972)
http://dx.doi.org/10.1145/355604.361591
Program Construction: International Summer School
F. L. Bauer and M. Broy (Editors)
Springer, 1979, ISBN 978-3-540-35312-6, LNCS 69
http://dx.doi.org/10.1007/BFb0014649
Selected Writings on Computing: A Personal Perspective
Edsger W. Dijkstra
Springer, 1982, ISBN 978-1-4612-5695-3
http://dx.doi.org/10.1007/978-1-4612-5695-3
Smoothsort, an alternative for sorting in situ
Edsger W. Dijkstra
Pages 223-233
Science of Computer Programming, Volume 1, Number 3 (May 1982)
http://dx.doi.org/10.1016/0167-6423(82)90016-8
A heuristic explanation of Batcher’s baffler
Edsger W. Dijkstra
Science of Computer Programming,
Volume 3, Number 3 (December 1987) Pages 213-220
http://dx.doi.org/10.1016/0167-6423(87)90007-4
Predicate Calculus and Program Semantics
Edsger W. Dijkstra and Carel S. Scholten
Springer, 1990, ISBN 978-1-4612-3228-5
http://dx.doi.org/10.1007/978-1-4612-3228-5
Beauty Is Our Business:
A Birthday Salute to Edsger W. Dijkstra
W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, and J. Misra (Editors)
Springer, 1990, ISBN 978-1-4612-4476-9
http://dx.doi.org/10.1007/978-1-4612-4476-9
Programming in the 1990s:
An Introduction to the Calculation of Programs
Edward Cohen
Springer, 1990, ISBN 978-1-4613-9706-9
http://dx.doi.org/10.1007/978-1-4613-9706-9
Program Verification:
Fundamental Issues in Computer Science
Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin (Editors)
Springer, 1993, ISBN 867-94-011-1793-7
http://dx.doi.org/10.1007/978-94-011-1793-7
The Science of Programming
David Gries
Springer, 1981, ISBN 978-1-4612-5983-1
http://dx.doi.org/10.1007/978-1-4612-5983-1
Finding repeated elements
J. Misra and David Gries
Science of Computer Programming,
Volume 2, Number 2 (November 1982) Pages 143-152
http://dx.doi.org/10.1016/0167-6423(82)90012-0
A note on a standard strategy for developing loop invariants and
loops
David Gries
Science of Computer Programming,
Volume 2, Number 3 (December 1982) Pages 207-214
http://dx.doi.org/10.1016/0167-6423(83)90015-1
McLaren’s masterpiece
D. Gries and J.F. Prins
Science of Computer Programming,
Volume 8, Number 2 (April 1987) Pages 139-145
http://www.sciencedirect.com/science/article/pii/0167642387900189
A Logical Approach to Discrete Math
David Gries and Fred B. Schneider
Springer, 1993, ISBN 978-1-4757-3837-7
http://dx.doi.org/10.1007/978-1-4757-3837-7
Proof of a recursive program: Quicksort
M. Foley and C. A. R. Hoare
Pages 391-395
The Computer Journal, Volume 14, Number 4 (1971)
http://dx.doi.org/10.1093/comjnl/14.4.391
Proof of a structured program: ‘The sieve of Eratosthenes’
C. A. R. Hoare
Pages 321-325
The Computer Journal, Volume 15, Number 4 (1972)
http://dx.doi.org/10.1093/comjnl/15.4.321
The Emperor’s Old Clothes
Charles Anthony Richard Hoare
http://amturing.acm.org/award_winners/hoare_4622167.cfm
Communications of the ACM,
Volume 24, Number 2 (February 1981) Pages 75-83
http://dx.doi.org/10.1145/358549.358561
A calculus of total correctness for communicating processes
C.A.R. Hoare
Science of Computer Programming,
Volume 1, Number 1-2 (October 1981) Pages 49-72
http://dx.doi.org/10.1016/0167-6423(81)90005-8
Communicating Sequential Processes
C.A.R. (Tony) Hoare
Prentice-Hall, 1995
http://www.usingcsp.com/
Unifying Theories of Programming
C.A.R. Hoare and He Jifeng
Prentice-Hall, 1996
http://www.unifyingtheories.org/
A Tutorial Introduction to Designs in Unifying Theories of
Programming
Jim Woodcock and Ana Cavalcanti Pages 40-66
http://dx.doi.org/10.1007/978-3-540-24756-2_4
Integrated Formal Methods, 4th International Conference,
IFM 2004
Eerke A. Boiten, John Derrick, and Graeme Smith (Editors)
Springer, 2004, ISBN 978-3-540-24756-2, LNCS 2999
http://dx.doi.org/10.1007/b96106
The Laws of Programming Unify Process Calculi
Tony Hoare and Stephan van Staden
http://dx.doi.org/10.1007/978-3-642-31113-0_2
Mathematics of Program Construction:
11th International Conference, MPC 2012
Jeremy Gibbons and Pablo Nogueira (Editors)
Springer, 2012, ISBN 978-3-642-31113-0, LNCS 7342
http://dx.doi.org/10.1007/978-3-642-31113-0
The Ideal of Program Correctness: Third Computer Journal Lecture
Tony Hoare
Pages 254-260
http://dx.doi.org/10.1093/comjnl/bxl078
Discussion on The Ideal of Program Correctness
Mark B. Josephs, Cliff Jones, Michael Jackson,
Aaron Turner, Mike Holcombe, Geoff Sharman, Zhaohui Luo,
Martin Lloyd, Guy Haworth, Colin Tully, and David Crocker
http://dx.doi.org/10.1093/comjnl/bxl079
Discussion on The Ideal of Program Correctness:
Responses from Tony Hoare
http://dx.doi.org/10.1093/comjnl/bxl080
The Computer Journal, Volume 50, Number 3 (May 2007)
http://comjnl.oxfordjournals.org/content/50/3.toc
Theories of Programming and Formal Methods:
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Zhiming Liu, Jim Woodcock, and Huibiao Zhu (Editors)
Springer, 2013, ISBN 089-3-642-39698-4
http://dx.doi.org/10.1007/978-3-642-39698-4
The B-Book: Assigning Programs to Meanings
J.-R. Abrial
Cambridge University Press, 1996, ISBN 9780511624162
http://dx.doi.org/10.1017/CBO9780511624162
Using B as a High Level Programming Language in an Industrial
Project: Roissy VAL
Frederic Badeau and Arnaud Amelot
Pages 334-354
http://dx.doi.org/10.1007/11415787_20
ZB 2005: Formal Specification and Development in Z and B,
4th International Conference of B and Z Users
Helen Treharne, Steve King, Martin Henson,
and Steve Schneider (Editors)
Springer, 2005, ISBN 978-3-540-32007-4, LNCS 3455
http://dx.doi.org/10.1007/b135596
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
Pages 619-628
http://www.jucs.org/jucs_13_5/formal_methods_theory_becoming
Special Issue on the contemporary scene in Formal Methods
Journal of Universal Computer Science, Volume 13, Issue 5 (2007)
http://www.jucs.org/jucs_13_5/
Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
Cambridge University Press, 2010, ISBN 9781139195881
http://dx.doi.org/10.1017/CBO9781139195881
Using Event-B for Critical Device Software Systems
Neeraj Kumar Singh
Springer, 2013, ISBN 978-1-4471-5260-6
http://dx.doi.org/10.1007/978-1-4471-5260-6
A Formal Approach to Software Architecture
Robert J. Allen
PhD Thesis, Carnegie Mellon University (May 1997) CMU-CS-97-144
http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97144.html
SCS Technical Report Collection
School of Computer Science, Carnegie Mellon University
http://reports-archive.adm.cs.cmu.edu/
Preface to Special Issue on Software Verification
C.A.R. Hoare and Jaydev Misra
http://dx.doi.org/10.1145/1592434.1592435
The Verified Software Initiative
C.A.R. Hoare, Jaydev Misra, Gary T. Leavens, and Natarajan Shankar
http://dx.doi.org/10.1145/1592434.1592439
Special Issue on Software Verification
ACM Computing Surveys, Volume 41, Number 4 (October 2009)
****** Click on Table of Contents *******
http://dl.acm.org/citation.cfm?id=1592434
Reflection on the Work of C.A.R. Hoare
Cliff B. Jones, A.W. Roscoe, and Kenneth R. Wood (Editors)
Springer, 2010, ISBN 978-1-84882-912-1
http://dx.doi.org/10.1007/978-1-84882-912-1
Rigorous Software Development:
An Introduction to Program Verification
Jose Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto,
and Simao Melo de Sousa
Springer, 2011, ISBN 978-0-85729-018-2
http://dx.doi.org/10.1007/978-0-85729-018-2
Loop Invariants: Analysis, Classification, and Examples
Carlo A. Furia, Bertarnd Meyer, and Sergey Velder
ACM Computing Surveys, Volume 46, Number 3 (January 2014)
http://dx.doi.org/10.1145/2506375
Modern Formal Methods and Applications
Hossam A. Gabbar (Editor)
Springer, 2006, ISBN 978-1-4020-4223-2
http://dx.doi.org/10.1007/1-4020-4223-X
Program Checking with Less Hassle
Pages 149-169
Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
http://dx.doi.org/10.1007/978-3-642-54108-7_8
Verified Calculations
K. Rustan M. Leino and Nadia Polikarpova Pages 170-190
http://dx.doi.org/10.1007/978-3-642-54108-7_9
Verified Software: Theories, Tools, Experiments;
5th International Conference, VSTTE 2013
Ernie Cohen and Andrey Rybalchenko (Editors)
Springer, 2014, ISBN 978-3-642-54108-7
http://dx.doi.org/10.1007/978-3-642-54108-7
Back to the Table of Contents
=======================================
Proof Assistants and Formally Verified
Mathematics ==========================
Formally Verified Mathematics
Jeremy Avigad and John Harrison
Communications of the ACM, Volume 57, Number 4 (April 2014)
http://dx.doi.org/10.1145/2591012
Dense Sphere Packings: A blueprint for formal proofs
Thomas C. Hales
Cambridge University Press, 2012, ISBN 9781139193894
http://dx.doi.org/10.1017/CBO9781139193894
Mathematics: Form and Function
Saunders Mac Lane
Springer, 1986, ISBN 978-1-4612-4872-9
http://dx.doi.org/10.1007/978-1-4612-4872-9
The de Bruijn Factor (unpublished manuscript, 2000)
Freek Wiedijk
http://www.cs.ru.nl/~freek/factor/
Home Page of Freek Wiedijk
http://www.cs.ru.nl/~freek/
The Seventeen Provers of the World
Freek Wiedijk (Editor)
Springer, 2006, LNCS 3600, ISBN 978-3-540-32888-9
http://dx.doi.org/10.1007/11542384
Back to the Table of Contents
=======================================
Classics ===============================
Alan Turing: His Work and Impact
S. Barry Cooper and Jan van Leeuwen (Editors)
Elsevier, 2013, ISBN 978-0-12-386980-7
http://www.sciencedirect.com/science/book/978012386
9807
A Programming Language
Kenneth E. Iverson
http://www.jsoftware.com/papers/APL.htm
Structured Programming
O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare
Academic Press, 1972
http://dl.acm.org/citation.cfm?id=1243380
A theory of type polymorphism in programming
Robin Milner
Pages 348-375
Journal of Computer and System Sciences,
Volume 17, Number 3 (December 1978)
http://dx.doi.org/10.1016/0022-0000(78)90014-4
Essays in Computing Science
C. A. R. Hoare and C. B. Jones
Prentice Hall, 1989
http://dl.acm.org/citation.cfm?id=63445
Communicating Sequential Processes
C.A.R. (Tony) Hoare
http://www.usingcsp.com/
Fast Pattern Matching in Strings
Donald E. Knuth, James H. Morris, Jr.
and Vaughan R. Pratt
SIAM Journal on Computing,
Volume 6, Number 2 (June 1977) Pages 323-350
http://dx.doi.org/10.1137/0206024
Back to the Table of Contents
=======================================
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
Turing’s Cathedral, Computer History Museum (March 7, 2012)
http://www.youtube.com/watch?v=hF9VsUxHM9U
George Boole, a Forerunner of Symbolic Computation
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano,
and Alberto Brunori
http://dx.doi.org/10.1007/3-540-44990-6_1
Artificial Intelligence and Symbolic Computation:
International Conference AISC 2000
John A. Campbell and Eugenio Roanes-Lozano (Editors)
Springer, 2001, ISBN 978-3-540-44990-4, LNCS 1930
http://dx.doi.org/10.1007/3-540-44990-6
Boole:
From Calculating Numbers to Calculating Thoughts
Pages 172-179
Michele Friend
http://dx.doi.org/10.1007/978-3-642-13962-8_19
Programs, Proofs, Processes: 6th Conference on Computability in
Europe, CiE 2010
Fernando Ferreira, Benedikt Lowe, Elvira Mayordomo,
and Luis Mendes Gomes (Editors)
Springer, 2010, ISBN 978-3-642-13962-8, LNCS 6158
http://dx.doi.org/10.1007/978-3-642-13962-8
From Boolean Logic to Switching Circuits and Automata:
Towards Modern Information Technology
Radomir S. Stankovic and Jakko Astola
Springer, 2011, ISBN 978-3-642-11682-7
http://dx.doi.org/10.1007/978-3-642-11682-7
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://search.proquest.com/docview/302990687/abstract
Alan M. Turing: Centenary Edition, Second Edition
Sara Turing
Cambridge University Press, 2012, ISBN 9781139105736
http://dx.doi.org/10.1017/CBO9781139105736
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/
Documentary: The Strange Life and Death of Dr Turing
http://www.youtube.com/watch?v=gyusnGbBSHE
http://www.youtube.com/watch?v=5LHFzNMgWzw
Part 1 of 2
Part 2 of 2
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-01156-6
http://dx.doi.org/10.1007/978-3-642-01156-6
As We May Think
Vannevar Bush
The Atlantic Magazine (July 1945)
http://www.theatlantic.com/magazine/print/1945/07/as-we-maythink/3881/
Wikipedia:
http://en.wikipedia.org/wiki/Vannevar_Bush
From the History of Russian Computer Science
Yakov Fet
Pages 265-288
http://dx.doi.org/10.1007/978-3-642-33899-1_17
Reflections on the History of Computing:
Preserving Memories and Sharing Stories
Springer, 2012, ISBN 978-3-642-33899-1
http://dx.doi.org/10.1007/978-3-642-33899-1
A Science of Operations:
Machines, Logic and the Invention of Programming
Mark Priestley
Springer, 2011, ISBN 978-1-84882-555-0
http://dx.doi.org/10.1007/978-1-84882-555-0
IBM Archives
http://www-03.ibm.com/ibm/history/
Back to the Table of Contents
=======================================
Telecommunications and Networking ======
Also see:
Telecommunications, Networking, and Digital Media
shelf in the Information Technology, Information
Systems, and Professional Computing section.
Communications and Networking: An Introduction, Second Edition
John Cowley
Springer, 2012, ISBN 978-1-4471-4357-4
http://dx.doi.org/10.1007/978-1-4471-4357-4
Communication Networks: A Concise Introduction
Jean Walrand and Shyam Parekh
Morgan & Claypool, 2010, ISBN 9781608450954
http://dx.doi.org/10.2200/S00254ED1V01Y201002CNT004
Design of Modern Communications Networks:
Methods and Applications
Christopher Larsson
Elsevier, 2014, ISBN 978-0-12-407238-1
http://www.sciencedirect.com/science/book/9780124072381
Computational Network Science
Henry Hexmoor
Elsevier, 2015, ISBN 978-0-12-800891-1
http://www.sciencedirect.com/science/book/9780128008911
Next-Generation Internet: Architectures and Protocols
Byrav Ramamurthy, George N. Rouskas,
and Krishna M. Sivalingam (Editors)
Cambridge University Press, 2011, ISBN 97805119200950
http://dx.doi.org/10.1017/CBO9780511920950
Guide to OSI and TCP/IP Models
Mohammed M. Alani
Springer, 2014, ISBN 978-3-319-05152-9
http://dx.doi.org/10.1007/978-3-319-05152-9
Networked Life: 20 Questions and Answers
Mung Chiang
Cambridge University Press, 2012, ISBN 9781139176200
http://dx.doi.org/10.1017/CBO9781139176200
Architecture of Network Systems
Dimitrios Serpanos and Timan Wolf
Elsevier, 2011, ISBN 978-0-12-374494-4
http://www.sciencedirect.com/science/book/9780123744944
An Introduction to Network Programming with Java,
Third Edition
Jan Graba
Springer, 2013, ISBN 978-1-4471-5254-5
http://dx.doi.org/10.1007/978-1-4471-5254-5
Optical CDMA Networks: Principles, Analysis and Applications
Hooshang Ghafouri-Shiraz and M. Massoud Karbassian
Wiley, 2012, ISBN 9781119941330
http://dx.doi.org/10.1002/9781119941330
Optical Code Division Multiple Access: A Practical Perspective
Ken-ichi Kitayama
Cambridge University Press, 2014, ISBN 9781139206914
http://dx.doi.org/10.1017/CBO9781139206914
Optically Amplified WDM Networks
John Zyskind and Atul Srivastava
Elsevier, 2011, ISBN 978-0-12-374965-9
http://www.sciencedirect.com/science/book/9780123749659
OFDM for Optical Communication
William Shieh and Ivan Djordjevic
Elsevier, 2010, ISBN 978-0-12-374879-9
http://www.sciencedirect.com/science/book/9780123748799
Optical Network Design and Planning, Second Edition
Jane M. Simmons
Springer, 2014, ISBN 978-3-319-05227-4
http://dx.doi.org/10.1007/978-3-319-05227-4
Distributed Graph Algorithms for Computer Networks
K. Erciyes
Springer, 2013, ISBN 978-1-4471-5173-9
http://dx.doi.org/10.1007/978-1-4471-5173-9
Network Geeks: How They Built the Internet
Brian E. Carpenter
Springer, 2013, ISBN 978-1-4471-5025-1
http://dx.doi.org/10.1007/978-1-4471-5025-1
IPv6 Deployment and Management
Michael Dooley and Timothy Rooney
Wiley 2013, ISBN 9781118590447
http://dx.doi.org/10.1002/9781118590447
Linear and Nonlinear Video and TV Applications:
Using IPv6 and IPv6 Multicast
Daniel Minoli
Wiley, 2012, ISBN 9781118327470
http://dx.doi.org/10.1002/9781118327470
Advanced Transport Protocols: Designing the Next Generation
Ernesto Exposito
Wiley, 2013, ISBN 9781118580202
http://dx.doi.org/10.1002/9781118580202
Network Convergence: Ethernet Applications and Next Generation
Packet Transport Architectures
Vinod Joseph and Srinivas Mulugu
Elsevier, 2014, ISBN 978-0-12-397877-6
http://www.sciencedirect.com/science/book/9780123978776
Internetworking: Technological Foundations and Applications
Christoph Meinel and Harald Sack
Springer, 2013, ISBN 978-3-642-35392-5
http://dx.doi.org/10.1007/978-3-642-35392-5
Wireless Networking: Understanding Internetworking Challenges
Jack L. Burbank, Julia Andrusenko, Jared S. Everett,
and William T.M. Kasch
Wiley, 2013, ISBN 9781118590775
http://dx.doi.org/10.1002/9781118590775
Channel Coding: Theory, Algorithms, and Applications
David Declerq, Marc Fossorier, and Ezio Biglieri (Editors)
Elsevier, 2014, ISBN 978-0-12-396499-1
http://www.sciencedirect.com/science/book/9780123964991
The Innovation Journey of Wi-Fi: The Road to Global Success
Wolter Lemstra, Vic Hayes and John Groenewegen (Editors)
Cambridge University Press, 2011, ISBN 9780511666995
http://dx.doi.org/10.1017/CBO9780511666995
Game Theory and Learning for Wireless Networks:
Fundamentals and Applications
Samson lasaulce and Hamidou Tembine
Elsevier, 2011, ISBN 978-0-12-3846983
http://www.sciencedirect.com/science/book/9780123846983
Essentials of Positioning and Location Technology
David Bartlett
Cambridge University Press, 2013, ISBN 97805118433860
http://dx.doi.org/10.1017/CBO9780511843860
Handbook of Position Location:
Theory, Practice, and Advances
Seyed A. (Reza) Zekavat and R. Michael Buehrer (Editors)
Wiley, 2012, ISBN 9781118104750
http://dx.doi.org/10.1002/9781118104750
GALILEO Positioning Technology
Jari Nurmi, Elena Simona Lohan, Stephan Sand,
and Heikki Hurskainen (Editors)
Springer, 2015, ISBN 978-94-007-1830-2
http://dx.doi.org/10.1007/978-94-007-1830-2
Introduction to Wireless Localization: with iPhone SDK Examples
Eddie C.L. Chan and George Baciu
Wiley, 2012, ISBN 9781118298534
http://dx.doi.org/10.1002/9781118298534
Mobility Data Management and Exploration
Nikos Pelekis and Yannis Theodoridis
Springer, 2014, ISBN 978-1-4939-0392-4
http://dx.doi.org/10.1007/978-1-4939-0392-4
Smart Grid Communications and Networking
Ekram Hossain, Zhu Han, and H. Vincent Poor (Editors)
Cambridge University Press, 2012, ISBN 9781139013468
http://dx.doi.org/10.1017/CBO9781139013468
Principles of Spread-Spectrum Communication Systems,
Second Edition
Don Torrieri
Springer, 2011, ISBN 978-1-4419-9595-7
http://dx.doi.org/10.1007/978-1-4419-9595-7
Autonomic Network Management Principles:
From Concepts to Applications
Nazim Agoulmine
Elsevier, 2011, ISBN 978-0-12-382190-4
http://www.sciencedirect.com/science/book/9780123821904
Network Coding: Fundamentals and Applications
Muriel Medard and Alex Sprintson (Editors)
Elsevier, 2012, ISBN 978-0-12-380918-6
http://www.sciencedirect.com/science/book/9780123809186
Mobile WiMAX: A Systems Approach to
Understanding IEEE 802.16m Radio Access Technology
Sassan Ahmadi
Elsevier, 2011, ISN 978-0-12-374964-2
http://www.sciencedirect.com/science/book/9780123749642
MIMO: From Theory to Implementation
Alain Sibille, Claude Oestges, and Alberto Zanella
Elsevier, 2011, ISBN 978-0-12-382194-2
http://www.sciencedirect.com/science/book/9780123821942
MIMO Wireless Networks: Channels, Techniques and Standards for
Multi-Antenna, Multi-User and Multi-Cell Systems, Second Edition
Bruno Clerckx and Claude Oestges
Elsevier, 2013, ISBN 978-0-12-385055-3
http://www.sciencedirect.com/science/book/9780123850553
Adaptive Wireless Communications: MIMO Channels and Networks
Daniel W. Bliss and Siddhartan Govindasamy
Cambridge University Press, 2013, ISBN 9781139519465
http://dx.doi.org/10.1017/CBO9781139519465
OFDMA Mobile Broadband Communications: A Systems Approach
Junyi Li, Xinzhou Wu, and Rajiv Laroia
Cambridge University Press, 2013, ISBN 9780511736186
http://dx.doi.org/10.1017/CBO9780511736186
Mobile Video with Mobile IPv6
Daniel Minoli
Wiley, 2012, ISBN 9781118396599
http://dx.doi.org/10.1002/9781118396599
4G LTE/LTE-Advanced for Mobile Broadband, Second Edition
Eric Dahlman, StefanParkvall, and Johan Skold
Elsevier, 2014, ISBN 978-0-12-419985-9
http://www.sciencedirect.com/science/book/9780124199859
LTE-Advanced: A Practical Systems Approach to Understanding the
3GPP LTE Releases 10 and 11 Radio Access Technologies
Sassan Ahmadi
Elsevier, 2014, ISBN 978-0-12-405162-1
http://www.sciencedirect.com/science/book/9780124051621
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
http://www.sciencedirect.com/science/book/9780123945952
Architectures for Baseband Signal Processing
Frank Kienle
Springer, 2014, ISBN 978-1-4614-8030-3
http://dx.doi.org/10.1007/978-1-4614-8030-3
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
Cambridge University Press, 2013, ISBN 9781139236850
http://dx.doi.org/10.1017/CBO9781139236850
Cognitive Radio Networks: From Theory to Practice
Ahmed Khattab, Dmitri Perkins, and Magdy Bayoumi
Springer, 2013, ISBN 978-1-4614-4033-8
http://dx.doi.org/10.1007/978-1-4614-4033-8
Scalability, Density, and Decision Making in Cognitive Wireless
Networks
Preston Marshall
Cambridge University Press, 2013, ISBN 9781139058599
http://dx.doi.org/10.1017/CBO9781139058599
Cognitive Networked Sensing and Big Data
Robert Qiu and Michael Wicks
Springer, 2014, ISBN 978-1-4614-4544-9
http://dx.doi.org/10.1007/978-1-4614-4544-9
Publish/Subscribe Systems: Design and Principles
Sasu Tarkoma
Wiley, 2012, ISBN 9781118354261
http://dx.doi.org/10.1002/9781118354261
Introduction to Queueing Systems with Telecommunications
Applications
Laszlo Lakatos, Laszlo Szeidl, and Miklos Telek
Springer, 2013, ISBN 978-1-4614-5317-8
http://dx.doi.org/10.1007/978-1-4614-5317-8
Queuing Theory and Telecommunications:
Networks and Applications, Third Edition
Giovanni Giambene
Springer, 2014, ISBN 978-1-4614-4084-0
http://dx.doi.org/10.1007/978-1-4614-4084-0
Statistical Analysis of Network Data with R
Eric D. Kolaczyk and Gabor Csardi
Springer, 2014, ISBN 978-1-4939-0983-4
http://dx.doi.org/10.1007/978-1-4939-0983-4
Structured Peer-to-Peer Systems: Fundamentals of Hierarchical
Organization, Routing, Scaling, and Security
Dmitry Korzun and Andrei Gurtov
Springer, 2013, ISBN 978-1-4614-5483-0
http://dx.doi.org/10.1007/978-1-4614-5483-0
Understanding Weightless: Technology, Equipment, and Network
Deployment for M2M Communications in White Spaces
William Webb
Cambridge University Press, 2012, ISBN 9781139208857
http://dx.doi.org/10.1017/CBO9781139208857
Body Area Communications:
Channel Modeling, Communications Systems, and EMC
Jianqing Wang and Qiong Wang
Wiley, 2013, ISBN 9781118188491
http://dx.doi.org/10.1002/9781118188491
Flow Networks: Analysis and Optimization of Repairable
Flow Networks, Networks with Disturbed Flows,
Static Flow Networks and Reliability Networks
Michael T. Todinov
Elsevier, 2013, ISBN 978-0-12-398396-1
http://www.sciencedirect.com/science/book/9780123983961
Advances in Analog and RF IC Design for Wireless Communication
Systems
Gabriele Manganaro and Domine Leenaerts (Editors)
Elsevier, 2013, ISBN 978-0-12-398326-8
http://www.sciencedirect.com/science/book/9780123983268
Near Field Communication: From Theory to Practice
Vedat Coskun, Kerem Ok and Busra Ozdenizci
Wiley, 2012, ISBN 9781119965794
http://dx.doi.org/10.1002/9781119965794
Back to the Table of Contents
=======================================
Information Theory and Coding Theory ======
The Information Paradox
Peter J. Denning and Tim Bell
American Scientist,
Volume 100, Number 6 (November/December 2012) Pages 470-477
http://dx.doi.org/10.1511/2012.99.470
The Scientific Conceptualization of Information: A Survey
William Aspray
Annals of the History of Computing,
Volume 7, Number 2 (April-June 1985) Pages 117-140
http://dx.doi.org/10.1109/MAHC.1985.10018
The Communication of Information (An Historical Review)
E. Colin Cherry
Pages 640-664, 724-725
American Scientist, Volume 40, Number 4 (October 1952)
http://www.jstor.org/stable/27826460
Information Theory and Life
Gerard Battail
Springer, 2014, ISBN 978-94-007-7040-9
http://dx.doi.org/10.1007/978-94-007-7040-9
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
A Student’s Guide to Coding and Information Theory
Stefan Moser and Po-Ning Chen
Cambridge University Press, 2012, SBN 9781139059534
http://dx.doi.org/10.1017/CBO9781139059534
The Theory of Information and Coding, Second Edition
R. J. McEliece
Cambridge University Press, 2004, ISBN 978-0-511-60626-7
http://dx.doi.org/10.1017/CBO9780511606267
Coding Theory: A First Course
San Ling and Chaoping Xing
Cambridge University Press, 2004, ISBN 978-0-511-75527-9
http://dx.doi.org/10.1017/CBO9780511755279
Storing and Transmitting Data:
Rudolf Ahlswede’s Lectures on Information Theory 1
Rudolf Ahlswede
Springer, 2014, ISBN 978-3-319-05479-7
http://dx.doi.org/10.1007/978-3-319-05479-7
Transmitting and Gaining Data:
Rudolf Ahlswede’s Lectures on Information Theory 2
Rudolf Ahlswede
Springer, 2015, ISBN 978-3-319-12523-7
http://dx.doi.org/10.1007/978-3-319-12523-7
Fast Algorithms for Signal Processing
Richard E. Blahut
Cambridge University Press, 2010, SBN 978-0-511-76092-1
http://dx.doi.org/10.1017/CBO9780511760921
Physical-Layer Security: From Information Theory to Security
Engineering
Matthieu Block and Joao Barros
Cambridge University Press, 2011, ISBN 9780511977985
http://dx.doi.org/10.1017/CBO9780511977985
Information Theory Tools for Computer Graphics
Mateu Sbert, Miquel Feixas, Jaume Rigau, Miguel Chover,
and Ivan Viola
Morgan & Claypool, 2009, ISBN 9781598299304
http://dx.doi.org/10.2200/S00208ED1V01Y200909CGR012]
Distributed Source Coding
Pier Luigi Dragotti and Michael Gastpar
Elsevier, 2009, ISBN 9780-12-374485-2
http://www.sciencedirect.com/science/book/9780123744852
Algebraic Shift Register Sequences
Mark Goresky and Andrew Klapper
Cambridge University Press, 2012, ISBN 9781139057448
http://dx.doi.org/10.1017/CBO9781139057448
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-3379.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-4656.pdf
Claude Shannon: Father of the Information Age
http://www.youtube.com/watch?v=z2Whj_nL-x8
Some evidence concerning the genesis of Shannon’s information
theory
Samuel W. Thomsen
Studies in History and Philosophy of Science,
Volume 40, Number 1 (March 2009) Pages 81-91
http://dx.doi.org/10.1016/j.shpsa.2008.12.011
Theory of Statistical Estimation
R. A. Fisher
Mathematical Proceedings of the Cambridge Philosophical Society,
Volume 22, Number 05 (July 1925) Pages 700-725
http://dx.doi.org/10.1017/S0305004100009580
Optimal Estimation of Parameters
Jorma Rissanen
Cambridge University Press, 2012, ISBN 9780511791635
http://dx.doi.org/10.1017/CBO9780511791635
Probability and Information: An Integrated Approach, Second Edition
David Applebaum
Cambridge University Press, 2008, ISBN 978-0-511-75526-2
http://dx.doi.org/10.1017/CBO9780511755262
Introduction to Data Compression, Fourth Edition
Khalid Sayood
Elsevier, 2012, ISBN 978-0-12-415796-5
http://www.sciencedirect.com/science/book/9780124157965
Data Compression: The Complete Reference, Fourth Edition
David Salomon
Springer, 2007, ISBN 978-1-84628-603-2
http://dx.doi.org/10.1007/978-1-84628-603-2
Fundamental Data Compression
Ida Mengyi Pu
Elsevier, 2005, ISBN 978-0-7506-6310-6
http://www.sciencedirect.com/science/book/9780750663106
Digital Signal Compression: Principles and Practice
William A. Pearlman and Amir Said
Cambridge University Press, 2011, ISBN 9780511984655
http://dx.doi.org/10.1017/CBO9780511984655
Compression for Multimedia
Irina Bocharova
Cambridge University Press, 2010, ISBN 9780511804069
http://dx.doi.org/10.1017/CBO9780511804069
Lossless Compression Handbook
Khalid Sayood
Elsevier, 2003, ISBN 978-0-12-620861-0
http://www.sciencedirect.com/science/book/9780126208610
System Parameter Identification: Information Criteria and Algorithms
Badong Chen, Yu Zhu, Jinchun Hu, and Jose C. Principe
Elsevier, 2013, ISBN 978-0-12-404574-3
http://www.sciencedirect.com/science/book/9780124045743
Molecular Communication
Tadashi Nakano, Andrew W. Eckford, and Tokuko Haraguchi
Cambridge University Press, 2013, ISBN 9781139149693
http://dx.doi.org/10.1017/CBO9781139149693
Low-Density Parity-Check Codes
(an expanded and revised version of doctoral dissertation)
Robert G. Gallagher (1963)
http://www.rle.mit.edu/rgallager/documents/ldpc.pdf
Information Adaptation: The Interplay Between Shannon Information
and Semantic Information in Cognition
Hermann Haken and Juval Portugali
Springer, 2015, ISBN 978-3-319-11170-4
http://dx.doi.org/10.1007/978-3-319-11170-4
Back to the Table of Contents
=======================================
Quantum Computing ====================
Quantum Computing: A Great Science in the Making
Andrew Chi-Chih Yao, Director and Professor,
Institute for Theoretical Computer Science, Tsinghua University
http://www.youtube.com/watch?v=v627kZTQ2Ck
TURING CENTENNIAL CELEBRATION
Princeton University (May 10-12, 2012)
http://www.princeton.edu/turing/index.xml
An Introduction to Quantum Computing for Non-Physicists
Eleanor Rieffel and Wolfgang Polak
ACM Computing Surveys, Volume 32, Number 3 (September 2000)
http://dx.doi.org/10.1145/367701.367709
Elements of Quantum Computing:
History, Theories and Engineering Applications
Seiki Akama
Springer, 2015, ISBN 978-3-319-08284-4
http://dx.doi.org/10.1007/978-3-319-08284-4
Quantum Computing since Democritus
Scott Aaronson
Cambridge University Press, 2013, ISBN 9780511979309
http://dx.doi.org/10.1017/CBO9780511979309
Explorations in Quantum Computing
Colin P. Williams
Springer, 2011, ISBN 978-1-84628-887-6
http://dx.doi.org/10.1007/978-1-84628-887-6
Quantum Computing for Computer Architects, Second Edition
Tzvetan S. Metodi, Arvin I. Faruque, and Frederic T. Chong
Morgan & Claypool, 2011, ISBN 9781608456208
http://dx.doi.org/10.2200/S00331ED1V01Y201101CAC013
Schrodinger’s Killer App:
Race to Build the World’s First Quantum Computer
Jonathan P. Dowling
CRC Press, 2013, ISBN 978-1-4398-9674-7
http://dx.doi.org/10.1201/b13866
Introduction to Quantum Information Science
Masahito Hayashi, Satoshi Ishizaka, Akinori Kawachi,
Gen Kimura, and Tomohiro Ogawa
Springer, 2015, ISBN 978-3-662-43502-1
http://dx.doi.org/10.1007/978-3-662-43502-1
Classical and Quantum Information
Dan C. Marinescu and Gabriela M. Marinescu
Elsevier, 2012, ISBN 978-0-12-383874-2
http://www.sciencedirect.com/science/book/9780123838742
Quantum Information Theory
Mark M. Wilde
Cambridge University Press, 2013, ISBN 9781139525343
http://dx.doi.org/10.1017/CBO9781139525343
Classical and Quantum Information Theory:
An Introduction for the Telecom Scientist
Emmanuel Desurvire
Cambridge University Press, 2009, ISBN 9780511803758
http://dx.doi.org/10.1017/CBO9780511803758
Coming of Age with Quantum Information:
Notes on a Paulian Idea
Christopher A. Fuchs
Cambridge University Press, 2011, ISBN 9780511762789
http://dx.doi.org/10.1017/CBO9780511762789
Quantum Models of Cognition and Decision
Jerome R. Busemeyer and Peter D. Bruza
Cambridge University Press, 2012, ISBN 9780511997716
http://dx.doi.org/10.1017/CBO9780511997716
Quantum Information Processing and Quantum Error Correction:
An Engineering Approach
Ivan Djordjevic
Elsevier, 2012, ISBN 978-0-12-385491-9
http://www.sciencedirect.com/science/book/9780123854919
Introduction to Topological Quantum Computation
Jiannis K. Pachos
Cambridge University Press, 2012, ISBN 9780511792908
http://dx.doi.org/10.1017/CBO9780511792908
Quantum Physics for Scientists and Technologists:
Fundamental Principles and Applications for Biologists, Chemists,
Computer Scientists, and Nanotechnologists
Paul Sanghera
Wiley, 2011, ISBN 9780470917121
http://dx.doi.org/10.1002/9780470917121
Back to the Table of Contents
=======================================
Computer Hardware and Architecture ======
Also see:
Embedded and Real-Time Systems shelf in
the Software section.
Limits on fundamental limits to computation
Igor L. Markov
Nature, Volume 512, Number 7513 (14 August 2014) Pages 147-154
http://dx.doi.org/10.1038/nature13570
Computer Architecture
Gerard Blanchet and Bertrand Dupouy
Wiley, 2013, ISBN 9781118577431
http://dx.doi.org/10.1002/9781118577431
Digital Logic Design: A Rigorous Approach
Guy Even and Moti Medina
Cambridge University Press, 2012, ISBN 9781139226455
http://dx.doi.org/10.1017/CBO9781139226455
Top-Down Digital VLSI Design:
From Architectures to Gate-Level Circuits and FPGAs
Hubert Kaeslin
Elsevier, 2015, ISBN 978-0-12-800730-3
http://www.sciencedirect.com/science/book/9780128007303
Theory of Digital Automata
Bohdan Borowik, Mykola Karpinskyy, Valery Lahno,
and Oleksandr Petrov
Springer, 2013, ISBN 978-94-007-5228-3
http://dx.doi.org/10.1007/978-94-007-5228-3
Computer Arithmetic: Algorithms and Hardware Implementations
Mircea Vladutiu
Springer, 2012, ISBN 978-3-642-183-15-7
http://dx.doi.org/10.1007/978-3-642-18315-7
Modern Computer Arithmetic
Richard P. Brent and Paul Zimmerman
Cambridge University Press, 20111, ISBN 9780511921698
http://dx.doi.org/10.1017/CBO9780511921698
The Quest to Build a Silicon Brain: An engineer’s
revolutionary new chip, inspired by how our own brains
work, could turn computing on its head
Adam Piore
Discover Magazine (June 2013)
http://discovermagazine.com/2013/june/17-cognitive-computing-andthe-quest-to-build-a-silicon-brain
The brain chip
Robert F. Service
Science, Volume 345, Number 6197 (8 August 2014) Pages 614-616
*** This feature has a link to the full report ***
by Dharmendra S. Modha et al. *************
http://dx.doi.org/10.1126/science.345.6197.614
A Practical Introduction to Hardware/Software Codesign,
Second Edition
Patrick R. Schaumont
Springer, 2013, ISBN 978-1-4614-3737-6
http://dx.doi.org/10.1007/978-1-4614-3737-6
Designing Digital Computer Systems with Verilog
David J. Lija and Sachin S. Sapathekar
Cambridge University Press, 2007 (with corrections), 9780511607059
http://dx.doi.org/10.1017/CBO9780511607059
SystemVerilog Assertions and Functional Coverage:
Guide to Language, Methodology and Applications
Ashok B. Mehta
Springer, 2014, ISBN 978-1-4614-7324-4
http://dx.doi.org/10.1007/978-1-4614-7324-4
SVA: The Power of Assertions in SystemVerilog, Second Edition
Eduard Cerny, Surrendra Dudani, John Havlicek,
and Dmitry Korchemny
Springer, 2015, ISBN 978-3-319-07139-8
http://dx.doi.org/10.1007/978-3-319-07139-8
Arithmetic Optimization Techniques for Hardware and Software
Design
Ryan Kastner, Anup Hosangadi, and Farzan Fallah
Cambridge University Press, 2010, ISBN 9780511712180
http://dx.doi.org/10.1017/CBO9780511712180
Designing Sorting Networks: A New Paradigm
Sherenaz W. Al-Haj Baddar and Kenneth E. Batcher
Springer, 2011, ISBN 978-1-4614-1851-1
http://dx.doi.org/10.1007/978-1-4614-1851-1
Model-Based Engineering for Complex Electronic Systems
Peter Wilson and H. Alan Mantooth
Elsevier, 2013, ISBN 978-0-12-385085-0
http://www.sciencedirect.com/science/book/9780123850850
Parallel Computer Organization and Design
Michel Dubois, Murali Annavaram, and Per Stenstrom
Cambridge University Press, 2012, ISBN 9781139051224
http://dx.doi.org/10.1017/CBO9781139051224
Multithreading Architecture
Mario Nemirivsky and Dean M. Tullsen
Morgan & Claypool, 2013, ISBN 9781608458561
http://dx.doi.org/10.2200/S00458ED1V01Y201212CAC021
Architectures for Computer Vision:
From Algorithm to Chip with Verilog
Hong Jeong
Wiley, 2014, ISBN 9781118659199
http://dx.doi.org/10.1002/9781118659199
Performance Modeling and Design of Computer Systems:
Queueing Theory in Action
Mor Harchol-Balter
Cambridge University Press, 2012, ISBN 9781139226424
http://dx.doi.org/10.1017/CBO9781139226424
Performance Analysis and Tuning for General Purpose Graphics
Processing Units (GPGPU)
Hyesoon Kim, Richard Vuduc, Sara Baghsorkhi, Jee Choi,
and Wen-mei Hwu
Morgan & Claypool, 2012, ISBN 9781608459551
http://dx.doi.org/10.2200/S00451ED1V01Y201209CAC020
The Memory System: You Can’t Avoid It, You Can’t
Ignore It, You Can’t Fake It
Bruce Jacob
Morgan & Claypool, 2009, ISBN 9781598295887
http://dx.doi.org/10.2200/S00201ED1V01Y200907CAC007
Advances in Non-volatile Memory and Storage Technology
Yoshio Nishi (Editor)
Elsevier, 2014, ISBN 978-0-85709-803-0
http://www.sciencedirect.com/science/book/9780857098030
Phase Change Memory: From Devices to Systems
Moinuddin K. Qureshi, Sudhanva Gurumurthi, and Bipin Rajjendran
Morgan & Claypool, 2012, ISBN 9781608456666
http://dx.doi.org/10.2200/S00381ED1V01Y201109CAC018
Transactional Memory, 2nd edition
Tim Harris, James Larus, and Ravi Rajwar
Morgan & Claypool, 2010, ISBN 9781608452361
http://dx.doi.org/10.2200/S00272ED1V01Y201006CAC011
Computing with Memory for Energy-Efficient Robust Systems
Somnath Paul and Swarup Bhunia
Springer, 2014, ISBN 978-1-4614-7798-3
http://dx.doi.org/10.1007/978-1-4614-7798-3
An ASIC Low Power Primer: Analysis, Techniques and Specification
Rakesh Chadha and J. Bhasker
Springer, 2013, ISBN 978-1-4614-4271-4
http://dx.doi.org/10.1007/978-1-4614-4271-4
High-Frequency Integrated Circuits
Sorin Voinigescu
Cambridge University Press, 2013, ISBN 9781139021128
http://dx.doi.org/10.1017/CBO9781139021128
Finite State Machine Logic Synthesis for Complex
Programmable Logic Devices
Robert Czerwinski and Dariusz Kania
Springer, 2013, ISBN 978-3-642-36166-1
http://dx.doi.org/10.1007/978-3-642-36166-1
High-Level Synthesis: From Algorithm to Digital Circuit
Philippe Coussy and Adam Morawiec (Editors)
Springer, 2008, ISBN 978-1-4020-8588-8
http://dx.doi.org/10.1007/978-1-4020-8588-8
Processor Description Languages
Prabhat Mishra and Nikil Dutt (Editors)
Elsevier, 2008, ISBN 978-0-12-374287-2
http://www.sciencedirect.com/science/book/9780123742872
Practical Design Verification
Dhiraj K. Pradham and Ian G. Harris (Editors)
Cambridge University Press, 2009, ISBN 9780511626913
http://dx.doi.org/10.1017/CBO9780511626913
Security Basics for Computer Architects
Ruby B. Lee
Morgan & Claypool, 2013, ISBN 9781627051569
http://dx.doi.org/10.2200/S00512ED1V01Y201305CAC025
Introduction to Hardware Security and Trust
Mohammad Tehranipoor and Cliff Wang (Editors)
Springer, 2012, ISBN 9781-4419-8080-9
http://dx.doi.org/10.1007/978-1-4419-8080-9
Physical Unclonable Functions in Theory and Practice
Christoph Bohm and Maximilian Hofer
Springer, 2013, ISBN 978-1-4614-5040-5
http://dx.doi.org/10.1007/978-1-4614-5040-5
Embedded Systems: Hardware, Design, and Implementation
Krzysztof Iniewski (Editor)
Wiley, 2013, ISBN 9781118468654
http://dx.doi.org/10.1002/9781118468654
Three Approaches to Data Analysis:
Test Theory, Rough Sets and Logical Analysis of Data
Igor Chikalov et al.
Springer, 2013, ISBN 978-3-642-28667-4
http://dx.doi.org/10.1007/978-3-642-28667-4
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglub and Rolf Drechsler
Springer, 2012, ISBN 978-1-4419-9976-4
http://dx.doi.org/10.1007/978-1-4419-9976-4
Artificial Intelligence in Logic Design
Svetlana N. Yanushkevich (Editor)
Springer, 2004, ISBN 978-1-4020-2075-9
http://dx.doi.org/10.1007/978-1-4020-2075-9
Energy-Aware System Design: Algorithms and Architectures
Chong-Min Kyung and Sungjoo Yoo (Editors)
Springer, 2011, ISBN 978-94-007-1679-7
http://dx.doi.org/10.1007/978-94-007-1679-7
Architectures for Baseband Signal Processing
Frank Kienle
Springer, 2014, ISBN 978-1-4614-8030-3
http://dx.doi.org/10.1007/978-1-4614-8030-3
Open-Source Lab:
How to Build Your Own Hardware and Reduce Research Costs
Joshua M. Pearce
Elsevier, 2014, ISBN 978-0-12-410462-4
http://www.sciencedirect.com/science/book/9780124104624
Back to the Table of Contents
=======================================
FPGAs ================================
FPGAs 101: Everything you need to know to get you started
Gina Smith
Elsevier, 2010, ISBN 978-1-85617-706-1
http://www.sciencedirect.com/science/book/9781856177061
Tree-Based Heterogeneous FPGA Architectures:
Application Specific Exploration and Optimization
Umer Farooq, Zied Marrakchi, and Habib Mehrez
Springer, 2012, ISBN 978-1-4614-3594-5
http://dx.doi.org/10.1007/978-1-4614-3594-5
Application-Specific Mesh-based Heterogeneous FPGA Architectures
Husain Parvez and Habib Mehrez
Springer, 2011, ISBN 978-1-4419-7928-5
http://dx.doi.org/10.1007/978-1-4419-7928-5
Introduction to Reconfigurable Supercomputing
Marco Lanzagorta, Stephen Bique, and Robert Rosenberg
Morgan & Claypool, 2010, ISBN 9781608453375
http://dx.doi.org/10.2200/S00238ED1V01Y200911CAC009
VHDL 101: Everything you need to know to get started
**** FPGA design ******************************
William Kafig
Elsevier, 2011, ISBN 978-1-85617-704-7
http://www.sciencedirect.com/science/book/9781856177047
Reconfigurable Computing:
The Theory and Practice of FPGA-Based Computation
Scott Hauck and Andre DeHon (Editors)
Elsevier, 2008, ISBN 978-0-12-370522-8
http://www.sciencedirect.com/science/book/9780123705228
Synthesizable VHDL Design for FPGAs
Eduardo Augusto Bezerra and Djones Vinicius Lettnin
Springer, 2014, ISBN 978-3-319-02547-6
http://dx.doi.org/10.1007/978-3-319-02547-6
Guide to FPGA Implementation of Arithmetic Functions
Jean-Pierre Deschamps, Gustavo D. Sutter, and Enrique Canto
Springer, 2012, ISBN 978-94-007-2987-2
http://dx.doi.org/10.1007/978-94-007-2987-2
Top-Down Digital VLSI Design:
From Architectures to Gate-Level Circuits and FPGAs
Hubert Kaeslin
Elsevier, 2015, ISBN 978-0-12-800730-3
http://www.sciencedirect.com/science/book/9780128007303
VLSI Design: A Practical Guide for FPGA and ASIC Implementations
Vikram Arkalgud Chandrasetty
Springer, 2011, ISBN 978-1-4614-1120-8
http://dx.doi.org/10.1007/978-1-4614-1120-8
FPGA Design: Best Practices for Team-based Design
Philip Simpson
Springer, 2010, ISBN 978-1-4419-6339-0
http://dx.doi.org/10.1007/978-1-4419-6339-0
The Design Warrior’s Guide to FPGAs: Devices, Tools and Flows
Clive Maxfield
Elsevier, 2004, ISBN 978-0-7506-7604-5
http://www.sciencedirect.com/science/book/9780750676045
FPGA Programming for the Masses: The programmability of FPGAs
must improve if they are to be part of mainstream computing.
David F. Bacon, Rodric Rabbah, and Sunil Shukla
Pages 56-63
Communications of the ACM, Volume 56, Number 4 (April 2013)
http://dx.doi.org/10.1145/2436256.2436271
Partial Reconfiguration on FPGAs:
Architectures, Tools and Applications
Dirk Koch
Springer, 2013, ISBN 978-1-4614-1225-0
http://dx.doi.org/10.1007/978-1-4614-1225-0
High-Performance Computing Using FPGAs
Wim Vanderbauwhede and Khaled Benkrid (Editors)
Springer, 2013, ISBN 978-1-4614-1791-0
http://dx.doi.org/10.1007/978-1-4614-1791-0
Compilation Techniques for Reconfigurable Architectures
Joao M. P. Cardoso and Pedro C. Diniz
Springer, 2009, ISBN 978-0-387-09671-1
http://dx.doi.org/10.1007/978-0-387-09671-1
Efficient FPGA hardware development: A multi-language approach
K. Benkrid, A. Benkrid, and S. Belkacemi
Pages 184-209
Journal of Systems Architecture, Volume 53, Number 4 (April 2007)
http://dx.doi.org/10.1016/j.sysarc.2006.09.010
Handbook of FPGA Design Security
Ted Huffmire, Cynthia Irvine, Thuy D. Nguyen, Timothy Levin,
Ryan Kastner, and Timothy Sherwood
Springer, 2010, ISBN 978-90-481-9157-4
http://dx.doi.org/10.1007/978-90-481-9157-4
Back to the Table of Contents
=======================================
Embedded and Real-Time Systems =========
Introduction to Embedded Systems:
Using Microcontrollers and the MSP430
Manuael Jimenez, Rogelio Palomera, and Isidoro Couvertier
Springer, 2014, ISBN 978-1-4614-3143-5
http://dx.doi.org/10.1007/978-1-4614-3143-5
Embedded Systems Design for High-Speed Data Acquisition and
Control
Maurizio Di Paolo Emilio
Springer, 2015, ISBN 978-3-319-06865-7
http://dx.doi.org/10.1007/978-3-319-06865-7
Embedded Software: The Works, Second Edition
Colin Walls
Elsevier, 2012, ISBN 978-0-12-415822-1
http://www.sciencedirect.com/science/book/9780124158221
High-Performance Embedded Computing:
Applications in Cyber-Physical Systems and Mobile Computing,
Second Edition
Marilyn Wolf
Elsevier, 2014, ISBN 978-0-12-410511-9
http://www.sciencedirect.com/science/book/9780124105119
Time-Predictable Architectures
Christine Rochange, Sascha Uhrig, and Pascal Sainrat
Wiley, 2014, ISBN 9781118790229
http://dx.doi.org/10.1002/9781118790229
Embedded Computing:
A VLIW Approach to Architecture, Compilers and Tools
Joseph A. Fisher, Paolo Faraboschi, and Cliff Young
Elsevier, 2005, ISBN 978-1-55860-766-8
http://www.sciencedirect.com/science/book/9781558607668
Modeling and Analysis of Real-Time and Embedded Systems with UML
and MARTE: Developing Cyber-Physical Systems
Bran Selic and Sebastien Gerard
Elsevier, 2014, ISBN 978-0-12-416619-6
http://www.sciencedirect.com/science/book/9780124166196
The Art of Designing Embedded Systems, Second Edition
Jack Ganssle
Elsevier, 2008, ISBN 978-0-7506-8644-0
http://www.sciencedirect.com/science/book/9780750686440
Fast and Effective Embedded Systems Design – Applying the ARM
mbed
Rob Toulson and Tim Wilshurst
Elsevier, 2012, ISBN 978-0-08-097768-3
http://www.sciencedirect.com/science/book/9780080977683
Embedded Systems Architecture:
A Comprehensive Guide for Engineers and Programmers,
Second Edition
Tammy Noergaard
Elsevier, 2013, ISBN 978-0-12-382196-6
http://www.sciencedirect.com/science/book/9780123821966
Software Engineering for Embedded Systems:
Methods, Practical Techniques, and Applications
Robert Oshana and Mark Kraeling
Elsevier, 2013, ISBN 978-0-12-415917-4
http://www.sciencedirect.com/science/book/9780124159174
Model-Based Engineering for Complex Electronic Systems
Peter Wilson and H. Alan Mantooth
Elsevier, 2013, ISBN 978-0-12-385085-0
http://www.sciencedirect.com/science/book/9780123850850
Embedded Systems Development:
From Functional Models to Implementations
Alberto Sangiovanni-Vincentenelli, Haibo Zeng,
Marco Di Natale, and Peter Marwedel (Editors)
Springer, 2014, ISBN 978-1-4614-3879-3
http://dx.doi.org/10.1007/978-1-4614-3879-3
Memory Allocation Problems in Embedded Systems:
Optimization Methods
Mario Soto, Andre Rossi, Marc Sevaux, and Johann Laurent
Wiley, 2013, ISBN 9781118577585
http://dx.doi.org/10.1002/9781118577585
Real World Multicore Embedded Systems:
A Practical Approach – Expert Guide
Bryon Moyer (Editor)
Elsevier, 2013, ISBN 978-0-12-416018-7
http://www.sciencedirect.com/science/book/9780124160187
The Designer’s Guide to the Cortex-M Processor Family:
A Tutorial Approach
Trevor Martin
Elsevier, 2013, ISBN 978-0-08-098296-0
http://www.sciencedirect.com/science/book/9780080982960
The Definitive Guide to ARM® Cortex®-M3 and Cortex-M4 Processors,
Third Edition
Joseph Yiu
Elsevier, 2014, ISBN 978-0-12-408082-9
http://www.sciencedirect.com/science/book/9780124080829
Linux for Embedded and Real-Time Applications, Third Edition
Doug Abbott
Elsevier, 2013, ISBN 978-0-12-415996-9
http://www.sciencedirect.com/science/book/9780124159969
Real-Time Systems Design and Analysis: Tools for the Practitioner,
Fourth Edition
Phillip A. Laplante and Seppo J. Ovaska
Wiley, 2012, ISBN 9781118136607
http://dx.doi.org/10.1002/9781118136607
MSP430-based Robot Applications:
A Guide to Developing Embedded Systems
Dan Harres
Elsevier, 2013, ISBN 978-0-12-397012-1
http://www.sciencedirect.com/science/book/9780123970121
Software Development for Embedded Multi-core Systems –
A Practical Guide Using Embedded Intel Architecture
Max Domeika
Elsevier, 2008, ISBN 978-0-7506-8539-9
http://www.sciencedirect.com/science/book/9780750685399
Embedded C Programming:
Techniques and Applications of C and PIC® MCUS
Mark Siegesmund
Elsevier, 2014, ISBN 978-0-12-801314-4
http://www.sciencedirect.com/science/book/9780128013144
Design Patterns for Embedded Systems in C
Bruce Powel Douglas
Elsevier, 2011, ISBN 978-1-85617-707-8
http://www.sciencedirect.com/science/book/9781856177078
DSP Software Development Techniques for Embedded and
Real-Time Systems
Robert Oshana
Elsevier, 2005, ISBN 978-0-7506-7759-2
http://www.sciencedirect.com/science/book/9780750677592
DSP for Embedded and Real Time Systems: Expert Guide
Robert Oshana
Elsevier, 2012, ISBN 978-0-12-386535-9
http://www.sciencedirect.com/science/book/9780123865359
Mission-Critical and Safety-Critical Systems Handbook –
Design and Development for Embedded Applications
Kim Fowler (Editor)
Elsevier, 2010, ISBN 978-0-7506-8567-2
http://www.sciencedirect.com/science/book/9780750685672
Demystifying Embedded Systems Middleware
Tammy Noergaard
Elsevier, 2011, ISBN 978-0-7506-8455-2
http://www.sciencedirect.com/science/book/9780750684552
Design of Multithreaded Software:
the Entity-Life Modeling Approach
Bo I. Sanden
Wiley, 2011, ISBN 9780470904916
http://dx.doi.org/10.1002/9780470904916
Digital Video Processing for Engineers:
A Foundation for Embedded Systems Design
Michael Parker and Suhel Dhanani
Elsevier, 2013, ISBN 978-0-12-415760-6
http://www.sciencedirect.com/science/book/9780124157606
Back to the Table of Contents
=======================================
Theoretical Computer Science ============
Relations and Graphs: Discrete Mathematics for Computer Scientists
Gunther Schmidt and Thomas Strohlein
Springer, 1993, ISBN 978-3-642-77968-8
http://dx.doi.org/10.1007/978-3-642-77968-8
Analysis of Boolean Functions
Ryan O’Donnell
Cambridge University Press, 2014, ISBN 9781139814782
http://dx.doi.org/10.1017/CBO9781139814782
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/stable/27857631
Conversations with a Mathematician:
Math, Art, Science and the Limits of Reason
Gregory J. Chaitin
Springer, 2002, ISBN 978-1-4471-0185-7
http://dx.doi.org/10.1007/978-1-4471-0185-7
Exploring RANDOMNESS
Gregory J. Chaitin
Springer, 2001, ISBN 978-1-4471-0307-3
http://dx.doi.org/10.1007/978-1-4471-0307-3
Algorithmic Information Theory
Gregory J. Chaitin
Cambridge University Press, 1987, ISBN 9780511608858
http://dx.doi.org/10.1017/CBO9780511608858
G J Chaitin Home Page
http://www.umcs.maine.edu/~chaitin/
Wikipedia:
http://en.wikipedia.org/wiki/Gregory_Chaitin
The Quest for Randomness
Scott Aaronson
American Scientist, Volume 102, Number 3 (May-June 2014)
http://dx.doi.org/10.1511/2014.108.170
Quantum Randomness
Scott Aaronson
American Scientist, Volume 102, Number 4 (July-August 2014)
http://dx.doi.org/10.1511/2014.109.266
How Much Information Can There Be in a Real Number?
Gregory Chaitin
Pages 247-231
http://dx.doi.org/10.1007/978-3-642-27654-5_19
Is the Universe Like π or Ω?
Stephen Wolfram
Pages 315-319
http://dx.doi.org/10.1007/978-3-642-27654-5_24
Computation, Physics and Beyond,
International Workshop on TCS, WTCS 2012
Michael J. Dinneen, Bakhadyr Khoussainov, and Andre Nies (Editors)
Springer, 2012, ISBN 978-3-642-27654-5, LNCS 7160
http://dx.doi.org/10.1007/978-3-642-27654-5
Chapter 1 Algorithmic Probability: Theory and Applications
Ray J. Solomonoff
Pages 1-23
http://dx.doi.org/10.1007/978-0-387-84816-7_1
Information Theory and Statistical Learning
Frank Emmert-Streib and Matthias Dehmer (Editors)
Springer, 2009, ISBN 978-0-387-84816-7
http://dx.doi.org/10.1007/978-0-387-84816-7
Ray Solomonoff Home Page
http://www.idsia.ch/~juergen/ray.html
Wikipedia:
http://en.wikipedia.org/wiki/Ray_Solomonoff
An Introduction to Kolmogorov Complexity and Its Applications,
Third Edition
Ming Li and Paul Vitanyi
Springer, 2008, ISBN 978-0-387-49820-1
http://dx.doi.org/10.1007/978-0-387-49820-1
Metamathematics, Machines, and Godel’s Proof
N. Shankar
Cambridge University Press, 1994, ISBN 9780511569883
http://dx.doi.org/10.1017/CBO9780511569883
Programs, Recursion and Unbounded Choice:
Predicate Transformation Semantics and Transformation Rules
Wim H. Hesselink
Cambridge University Press, 1992, ISBN 9780511569784
http://dx.doi.org/10.1017/CBO9780511569784
Modeling Time in Computing
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi
Springer, 2012, ISBN 978-3-642-32332-4
http://dx.doi.org/10.1007/978-3-642-32332-4
Back to the Table of Contents
=======================================
Legal Matters ==========================
Patenting mathematical algorithms: What’s the harm? –
A thought experiment in algebra
Pal B. de Laat
International Review of Law and Economics, Volume 20 (2000)
http://dx.doi.org/10.1016/S0144-8188(00)00031-4
Back to the Table of Contents
=======================================
Additional Web Resources ===============
Project Euclid – Mathematics and Statistics Online
http://projecteuclid.org/
The DBLP Computer Science Bibliography
http://www.informatik.uni-trier.de/~ley/db/
Research areas, Microsoft Research
http://research.microsoft.com/en-us/about/our-research/
The Collection of Computer Science Bibliographies
http://liinwww.ira.uka.de/bibliography/index.html
ePrints Soton
University of Southampton Institutional Research Repository
http://eprints.soton.ac.uk/
Free and open access video lectures repository
http://videolectures.net/
Back to the Table of Contents
=======================================
Reference Material =====================
Algorithms, Encyclopedia of
Ming-Yang Kao (Editor)
Live Reference – Constantly updated,
ISBN 978-3-642-27848-8
http://dx.doi.org/10.1007/978-3-642-27848-8
Computer Science and Engineering,
Wiley Encyclopedia of
Benjamin W. Wah (Editor)
Wiley, 1999-present, ISBN 9780470050118
http://dx.doi.org/10.1002/9780470050118
Computer Science and Software Engineering,
Computing Handbook
Teogilo Gonzalez and Jorge Diaz-Herrera (Editors)
Allen Tucker (Editor-in-Chief)
CRC Press, 2014, ISBN 978-1-4398-9853-6
http://dx.doi.org/10.1201/b16812
Database Systems, Encyclopedia of
Ling Liu and M. Tamer Ozsu (Editors)
Springer, 2009, ISBN 978-0-387-39940-9
http://dx.doi.org/10.1007/978-0-387-39940-9
Information Systems and Information Technology,
Computing Handbook
Heikki Topi (Editor)
Allen Tucker (Editor-in-Chief)
CRC Press, 2014, ISBN 978-1-4398-9856-7
http://dx.doi.org/10.1201/b16768
Philosophy of Computing and Information,
The Blackwell Guide to the
Luciano Floridi (Editor)
Wiley, 2004, ISBN 9780470757017
http://dx.doi.org/10.1002/9780470757017
Back to the Table of Contents
=======================================
Odds & Ends ===========================
Giants of Computing: A Compendium of Select, Pivotal Pioneers
Gerard O’Regan
Springer, 2013, ISBN 978-1-4471-5340-5
http://dx.doi.org/10.1007/978-1-4471-5340-5
People, Problems, and Proofs –
Essays from Godel’s Lost Letter: 2010
Richard J. Lipton and Kenneth W. Regan
Springer, 2013, ISBN 978-3-642-41422-0
http://dx.doi.org/10.1007/978-3-642-41422-0
Schrodinger’s Killer App:
Race to Build the World’s First Quantum Computer
Jonathan P. Dowling
CRC Press, 2013, ISBN 978-1-4398-9674-7
http://dx.doi.org/10.1201/b13866
Algorithmic Aspects of Analysis, Prediction,
and Control in Science and Engineering:
An Approach Based on Symmetry and Similarity
Jaime Nava and Vladik Kreinovich
Springer, 2015, ISBN 978-3-662-44955-4
http://dx.doi.org/10.1007/978-3-662-44955-4
Trust, Computing, and Society
Richard H.R. Harper (Editor)
Cambridge University Press, 2014, ISBN 9781139828567
http://dx.doi.org/10.1017/CBO9781139828567
Algorithmic Composition:
Paradigms of Automated Music Generation
Gerhard Nierhaus
Springer, 2009, ISBN 978-3-211-75540-2
http://dx.doi.org/10.1007/978-3-211-75540-2
Music Navigation with Symbols and Layers:
Toward Content Browsing with IEEE 1599 XML Encoding
Denis L. Baggi and Gottfredo M. Haus (Editors)
Wiley, 2013, ISBN 9781118494455
http://dx.doi.org/10.1002/9781118494455
Simulating Social Complexity: A Handbook
Bruce Edmonds and Ruth Meyer (Editors)
Springer, 2013, ISBN 978-3-540-93813-2
http://dx.doi.org/10.1007/978-3-540-93813-2
Logic and the Organization of Information
Martin Fricke
Springer, 2012, ISBN 978-1-4614-3088-9
http://dx.doi.org/10.1007/978-1-4614-3088-9
Computing with Real Numbers, from Archimedes to
Turing and Beyond
Mark Braverman
Communications of the ACM,
Volume 56, Number 9 (September 2013) Pages 74-83
http://dl.acm.org/citation.cfm?id=2500890
Complexity and Real Computation
Lenore Blum, Felipe Cucker, Michael Shub, and Steve Smale
Springer, 1998, ISBN 978-1-4612-0701-6
http://dx.doi.org/10.1007/978-1-4612-0701-6
Computability of Julia Sets
Mark Braverman and Michael Yampolsky
Springer, 2009, ISBN 978-3-540-68547-0
http://dx.doi.org/10.1007/978-3-540-68547-0
Computable Analysis: An Introduction
Klaus Weihrauch
Springer, 2000, ISBN 978-3-642-56999-9
http://dx.doi.org/10.1007/978-3-642-56999-9
A New Kind of Science
Stephen Wolfram
Wolfram Media, 2002
http://www.wolframscience.com/
Interactive course “Human Information Processing”
OpenEr Course: Human Information Processing
OpenUniversiteitNederlan
http://www.opener2.ou.nl/opener/hip/
Knowledge-Based Systems: Techniques and Applications
Volumes 1, 2, 3, and 4
Cornelius T. Leondes (Editor)
Elsevier, 2000, ISBN 978-0-12-443875-0
http://www.sciencedirect.com/science/book/9780124438750
Linux Kernel Networking: Implementation and Theory
Rami Rosen
Springer, 2014, ISBN 978-1-4302-6197-1
http://dx.doi.org/10.1007/978-1-4302-6197-1
Semantic Acquisition Games:
Harnessing Manpower for Creating Semantics
Jakub Simko and Maria Bielikova
Springer, 2014, ISBN 978-3-319-06115-3
http://dx.doi.org/10.1007/978-3-319-06115-3
Satisficing Games and Decision Making:
With applications to engineering and computer science
Wynn C. Sterling
Cambridge University Press, 2003, ISBN 9780511543456
http://dx.doi.org/10.1017/CBO9780511543456
Back to the Table of Contents
=======================================