Download Computer Science - UWaterloo Library

University of Waterloo Library
The accompanying Collection Development Policy statement is submitted by Leeanne
Romane, Liaison Librarian for the School of Computer Science, and is approved by the
undersigned.
____________________________________
Associate University Librarian,
Information Resources & Services
______________________________
Director, David R. Cheriton School
of Computer Science
____________________________________
Leeanne Romane
Liaison Librarian
______________________________
Jeffrey Shallit
Department Library Representative
Date: June 27, 2007
Page 1 of 11
University of Waterloo Library
Collection Development Policy statement for the David R. Cheriton
School of Computer Science.
Date Completed: June 27, 2007
Persons Responsible for Collection
The decision to select library materials is the responsibility of the Liaison Librarian, Leeanne Romane, in
consultation with the Faculty Library Representative, Jeffrey Shallit.
Department Description and Purpose
The David R. Cheriton School of Computer Science is one of the world's pioneers in computing education
and research, and it takes pride in its diversity of strengths, innovation in research and education, and close
contact with local high-tech companies.
Materials are collected to support teaching and research in Computer Science. Research groups in this
department that influence current collecting include:
Algorithms and Complexity
Artificial Intelligence
Bioinformatics
Computational Statistics
Computer Graphics
Computer Science Education
Computer Systems
Cryptography, Security and Privacy
Databases
Formal Methods
Health Informatics
Human Computer Interaction
Information Retrieval
Networks and Distributed Systems
Programming Languages
Quantum Computing
Scientific Computation
Software Architecture
Software Engineering
Symbolic Computation
Text Management
User interfaces
Page 2 of 11
Scope of Coverage
Languages
English language materials are preferred; however, major foreign language works may be purchased as
required to meet special needs.
Places of Publication
Priority is given to materials published in North America and Europe.
Dates of Publication
The primary emphasis of collecting activities is on materials published in the last 7 years.
Types and Formats of Materials Collected
In general, the Library does not acquire any type of materials in a format for which access cannot be
provided in the Library.
Included
The following types of materials are generally included: books, periodicals, conference proceedings
reference works, and government documents in print or electronic format as appropriate.
Collected Selectively
The following types of materials are collected selectively: dissertations and theses, introductory textbooks,
laboratory manuals, user guides and manuals for software packages and programming languages.
Excluded
The following types of materials are excluded: films, slides and videos, and reprints.
Subjects Collected
(For further explanation about collecting levels see Appendix 1)
General Literature
Introductory and Survey
Instructional Support Level
(Undergraduate)
Reference
Instructional Support Level
(Undergraduate)
Algorithms and Complexity
Design and Analysis of Algorithms
Research Level
Models of Computation and Computational Complexity
Artificial Intelligence
Decision-theoretic Planning and Learning
Research Level
Research Level
Intelligent User Interfaces
Research Level
Multi-Agent Systems
Research Level
Page 3 of 11
Pragmatics of Natural Language
Research Level
Computational Vision
Research Level
Constraint Programming
Research Level
Machine Learning
Research Level
Robotics
Research Level
Bioinformatics
Protein Structure Prediction
Research Level
Homology Search
Research Level
Hidden Markov Models (HMMs)
Research Level
Haplotype Inference
Research Level
Computational Drug Design
Research Level
Multiple Sequence Alignment
Research Level
Motifs
Research Level
Structural Alignment
Research Level
Structural Pattern Recognition
Research Level
Phenome Phylogeny
Research Level
Computational Statistics
Pattern Recognition / Structure Discovery
Research Level
Statistical Estimation, Inference & Prediction
Research Level
Statistical Decision Making
Research Level
Dimensionality Reduction
Research Level
Large Model Methods
Research Level
Data Visualization Algorithms and Tools
Research Level
Computer Graphics
Colour Imaging
Research Level
Psychology of Human Interfaces
Research Level
Splines
Research Level
High Performance Image Synthesis
Research Level
3D Modelling
Research Level
Page 4 of 11
Computer Science Education
Computer Industry
Instructional Support Level
(Undergraduate)
Computers and Computer Systems
Instructional Support Level
(Undergraduate)
History of Computing
Instructional Support Level
(Undergraduate)
Computers and Society
Instructional Support Level
(Undergraduate)
Legal Aspect of Computing
Instructional Support Level
(Undergraduate)
Management of Computing and Information
Systems
Research Level
Computer Systems
Automatic Administration
Research Level
Tuning of Computer Systems
Research Level
Cryptography, Security and Privacy
Access-Control Models
Research Level
Applied Cryptography
Research Level
Cryptographic Algorithms
Research Level
Cryptographic Hash Functions
Research Level
Complexity
Research Level
Database Access Control
Research Level
(Distributed) Cryptographic Protocols
Research Level
Effective Security Measures
Research Level
Future Computing Environments
Research Level
Identity and Identity Management
Research Level
Privacy and the Internet
Research Level
Security and Privacy Technologies
Research Level
Secure Programming
Research Level
Security and Usability
Research Level
Social, Political, and Legal aspects
of Security and Privacy
Research Level
Page 5 of 11
Tor
Research Level
Trusted Computing Electronic Voting
Research Level
Databases
Advanced Query Processing
Research Level
Adaptive and Self-Managing DBMS
Research Level
Distributed Data Management
Research Level
Embedded DBMS
Research Level
Security in Databases
Research Level
Spatial, Temporal and Multimedia Databases
Research Level
XML Data Management
Research Level
Storage Structures
Research Level
Indexing Methods
Research Level
Query Languages and Optimizers
Research Level
Transaction Management
Research Level
Formal Methods
Requirement Analysis
Research Level
Feature Interactions
Research Level
Control of Discrete-Event Systems
Research Level
Microprocessor Verification
Research Level
Microarchitecture Design and Verification
Research Level
Health Informatics
Health Informatics Interventions
Research Level
Biological Sequence Analysis
Instructional Support Level
(Undergraduate)
Human Computer Interaction
Geometric Art and Ornamentation
Research Level
Rapid Exploration of Sets of Possibilities
Research Level
Semi-automatic Construction of Music Soundtracks
Research Level
HCI and Open Source Design and Process
Research Level
Mixed-Initiative Dialogue
Research Level
Page 6 of 11
Pen-based Interaction
Research Level
Two-handed Interaction
Research Level
Colour Perception
Research Level
Economic Models of Interface Users
Research Level
Information Retrieval
Expressive Languages
Research Level
Effective Retrieval Techniques
Research Level
Storage
Research Level
Indexing
Research Level
Email Spam Filters
Research Level
Access Control
Research Level
Filesystem Search
Research Level
Performance
Research Level
Security
Research Level
XML Data Management
Research Level
Networks and Distributed Systems
Analysis and Design of Network Protocols
Research Level
Routing and Resource Management
Research Level
Mobile and Wireless Computing
Research Level
Network and Distributed Systems Management
Research Level
Operating Systems
Research Level
Cryptographic Schemes for Encryption and
Authentication
Research Level
Protocols for Multicast and Network Security
Research Level
Web Services and Content Delivery
Research Level
Distributed and Parallel Computing
Research Level
Distributed Debugging
Research Level
Fault Tolerance
Research Level
Performance Evaluation
Research Level
Automated Protocol Verification
Research Level
Page 7 of 11
Disruption and Delay-tolerant Networking
Research Level
Programming Languages
Action Semantics
Research Level
Automated Deduction
Research Level
Automated Reasoning
Research Level
Calculi for Mobile Processes
Research Level
Concurrency
Research Level
Constraints
Research Level
Dataflow
Research Level
Formal Methods
Research Level
Functional Programming
Research Level
Functional Logic Programming
Research Level
Instruction Set Simulation and Instruction-level
Program Tracing
Research Level
Linear Logic
Research Level
Literate Programming
Research Level
Logic Programming
Research Level
Logical Frameworks
Research Level
Memory Management
Research Level
Mobile Code
Research Level
Object-oriented Programming
Research Level
Program Specialization and Partial Evaluation
Research Level
Run-time Code Generation
Research Level
Semantics-based Program Analysis
and Manipulation
Research Level
Skeletal Parallelism
Research Level
Software Engineering
Research Level
Supercomputing and Parallel Computing
Research Level
Types Forum
Research Level
Page 8 of 11
Visual Programming
Research Level
Visualisation
Research Level
Quantum Computing
Quantum Algorithms
Research Level
Cryptographic Protocols
Research Level
Information and Complexity theory
Research Level
Scientific Computation
PDE-Based Modelling
Research Level
Computational Finance
Research Level
Scientific Visualization
Research Level
Software Engineering
Formal Methods
Research Level
Software Architecture
Research Level
Requirements Analysis
Research Level
Feature Interactions
Research Level
Computer Systems
Research Level
Control of Discrete-Event Systems
Research Level
Microprocessor Verification
Research Level
Microarchitecture Design and Verification
Research Level
Reverse Engineering
Research Level
Software Evolution and Maintenance
Research Level
Fact Extraction Tools
Research Level
Symbolic Computation
Symbolic Integration
Research Level
Closed-form Solutions
Research Level
Pen-based Mathematics
Research Level
Hybrid Symbolic-Numeric Algorithms
Research Level
Algebraic Manipulation of Differential and
Ore Operators
Research Level
Rational Approximation Algorithms
Research Level
Page 9 of 11
Exact and Symbolic Linear Algebra
Research Level
Complexity of Algebraic Computations
Research Level
Library of Congress Profile for Computer Science
BC
HD9696.C6-9696.C64
HV
LB1028.43-1028.75
K564.C6
K1443.C6
KE452.C6
KF390.5.C6
KF3024.C6
Q300-321
Q325-335
Q350-385
QA9-10.4
QA21-35
QA75-76
QA150-255
QA267-268
QA273-280
QA297-433
T57.6-57.99
T58.5-58.64
T59.5
T385
TA329-348
TA1630-1650
TJ210.2-211.5
TJ212-225
TK5103.7-5105.7
TK7868-7895
Z699
Logic
Mechanical Industries
Social Pathology. Social and Public Welfare. Criminology
Teaching
Law
Intellectual Property. Copyright
Law of Canada
Law of United States
US Federal law
General Science
Cybernetics
Information Theory
Mathematical logic
General Math
Computers. Computer Science
Algebra
Machine Theory. Abstract Machines. Abstract Automata
Probabilities. Mathematical Statistics
Analytical Methods
Operations Research. Systems Analysis
Information Technology
Automation
Computer Graphics
Engineering Mathematics. Engineering Analysis
Applied Optics. Photonics
Robotics
Control Engineering Systems. Automatic Control Systems
Telecommunication
Electronics. Computer Engineering. Computer Hardware
Machine methods of information storage and retrieval
All collections are systematically reviewed for currency of information and to ensure that essential and important
resources are retained. Superseded editions and titles containing outdated information are withdrawn as necessary.
Classic retrospective materials are retained and preserved to serve the needs of historical research.
Other Resources Available
The Library explores opportunities for collaborative purchases with the Ontario Council of University
Libraries and the Canadian Research Knowledge Network.
Page 10 of 11
Appendix 1
Explanation of Levels of Collecting, adapted from RLG Guidelines
Levels of Collecting
Out of Scope
Materials to support research and curricula in this subject area are not covered in this Collection Policy
Statement. Coverage of interdisciplinary subject areas and topics linked across departments can be
identified with references to other Collection Policy Statements.
Basic Information/Reference Level
The collection serves to introduce and define the subject. Only the most important reference works,
general surveys, the most significant works of major authors, and a limited selection of representative
general periodicals are collected.
Instructional Support Level (Undergraduate)
The collection supports all courses of undergraduate study. Materials collected include a wide range of
reference works, fundamental bibliographic tools, and an extensive collection of monographs and
periodicals. Access to owned or remotely-accessed electronic resources, including texts, journals, data sets,
etc. is provided.
Research Level
The collection includes major published source materials required for master’s degree programmes,
doctoral study and independent research in the subject. All formats, including appropriate foreign-language
titles, are acquired. Historically important monographs, archival materials, and back-runs of serials are
acquired as necessary.
Page 11 of 11