[ University of York, Department of Computer Science] Book List - Spring and Summer term 2005 - 2006 Algorithms and Data Structures (ADS) Total Students: 111 Rating Author(s) Title Publisher Year *** Barnes, John Programming in Ada95 Addison Wesley 1998 *** T. H. Cormen, Introduction to Algorithms, 2e MIT Press 2001 Leiserson, Ronald L. Rivest and Clifford Stein Artificial Intelligence for Games (AFG) Total Students: 63 Rating Author(s) Title Publisher Year +++ Mitchell T.M. Machine Learning McGraw Hill 1997 +++ Russell S. and Artificial Intelligence: A Modern Prentice Hall 1995 Norvig P. Approach Adaptive and Learning Agents (ALA) Total Students: 13 - MEng - IV year Rating Author(s) Title Publisher Year ** Mitchell, T. Machine Learning McGraw-Hill 1997 ** Alonso, E., D. Kazakov and D. Kudenko (eds.) Adaptive Agents and Multi-Agent Systems Springer 2003 Computer Architecture (CAR) Total Students: 111 Rating Author(s) Title Publisher Year *** Hennessy J.L. Computer architecture: A quantitative Morgan Kaufmann 2003 and Patterson D.A. approach (2nd/3rd ed.) *** Stallings W. Computer organization and architecture Prentice-Hall 2003 (6th ed.) Siewiorek ** Clements A. The principles of computer hardware Oxford Science 2000 (3rd ed.) Publications 2000 ** Tanenbaum A.S. Structured computer organization (4th Prentice-Hall 1999 ed.) Computers and Software (CAS) Total Students: 3 Rating Author(s) Title Publisher Year *** Leveson, N.G. Safeware: System Safety and Computers Addison Wesley 1995 *** Storey, N Safety Critical Computer Systems Addison Wesley 1996 Computing with Biology and Chemistry (CBC) MEng-IV MMath-IV Total Students: 10 Rating Author(s) Title Publisher Year +++ Calude, Pa(un Computing with Cells and Atoms Taylor and Francis 2001 +++ Paton, Bolouri, Holcombe, Parish, Tateson Computation in Cells and Tissues Springer 2004 +++ Sienko, Adamatzky, Rambidi, Conrad Molecular Computing MIT Press 2003 Crash Course on C (CCC) Total Students: 100 Rating Author(s) Title Publisher Year *** Kelley A. and A Book on C: Programming in C Benjamin Cummings 1998 Pohl I. Computer Graphics and Visualisation (CGV) Total Students: 64 Rating Author(s) Title Publisher Year *** Angel E. Interactive Computer Graphics: Addison Wesley 2003 A Top-down Approach with OpenGL (3rd Edition) +++ Wright, S. Jr, OpenGL super bible Waite Group Press 2000 Sweet, M ++ Woo M., OpenGL Programming guide; Addison Wesley 1999 Neider J., the official guide to learning Davis, T. Shreiner D. Crypto Attacks and Countermeasures (CRY) Total Students: 59 Rating Author(s) Title Publisher Year +++ Schneier Applied Cryptography (Ed. 2) Schneier 1998 Computer Vision (CVI) Total Students: 41 Rating Author(s) Title Publisher Year ++ Anil K. Jain Fundamentals of Digital Image Prentice Hall Processing ++ Ballard D and Computer Vision Prentice Hall Brown C ++ Haralick R and Computer and Robot Vision Addison Wesley Shapiro L ++ Kenneth R. Digital Image Processing Prentice Hall Castleman Rafael C ++ Gonzalez and P. Digital Image Processing Prentice Hall A. Wintz Digital and Analogue Circuit Design (DAD) Total Students: 89 Rating Author(s) Title Publisher Year *** Floyd T. L. Electronics Fundamentals: Circuits, Prentice-Hall U 7.5 Devices and Applications FLO *** Mano M.M. Digital Design (3rd ed.) Prentice Hall 2002 *** Wakerly J.F. Digital Design Principles and Prentice Hall 2000 Practices (3rd ed.) ** Boylestad R.L. Introductory Circuit Analysis (9th ed) Prentice-Hall 2000 ** Dorf and Introduction to Electric Circuits, Wiley 1999 Svoboda (4th ed.) ** Nilsson J.W. Electric Circuits (6th edition) Prentice-Hall 2000 and Riedel S.A. ** Powell R. Introduction to Electric Circuits (4th Wiley 1999 ed) Design of Information Systems (DIS) Total Students: 15 - MScIP Rating Author(s) Title Publisher Year +++ Date C.J. An Introduction to Database Systems Addison Wesley 2000 (7th ed.) +++ Elmasri R. and Fundamentals of Database Systems (3rd Addison Wesley 2000 Navathe S.B. ed.) Formal Program Development (FPD) Total Students: 28 Rating Author(s) Title Publisher Year **** Schneider, S. The B-Method: an introduction Palgrave 2001 +++ Wordsworth, Software Engineering with B Addison Wesley 1996 J.B. +++ Sekerinski, E. Program development by refinement: Springer 1999 and Sere, K. case studies using the B-Method ++ Barnes, J. High Integrity Software: The SPARK Addison-Wesley 2003 approach to safety and security ++ Woodcock, J.C.P. Using Z: specification, refinement Prentice Hall 1996 and Davies J. and proof Human Factors Engineering (HFE) Total Students: 21 - MSc Rating Author(s) Title Publisher Year +++ Hollnagel, E. Cognitive Reliability and Error Elsevier Science Ltd. 1998 Analysis Method Preece, J., +++ Rogers, Y. and Interaction design: beyond John Wiley and Sons 2002 Sharp, H. human-computer interaction +++ Vicente, K.J. Cognitive Work Analysis Lawrence Erlbaum Associates 1999 Reliability, availability, Logic Programming and Artificial Intelligence (LPA) Total Students: 87 Rating Author(s) Title Publisher Year *** S. Russell and Artificial Intelligence: A Modern Prentice-Hall 2003 P. Norvig Approach (2nd. ed) +++ L. Sterling The Art of Prolog (2nd ed.) MIT Press 1997 and E. Shapiro Lexical and Syntax Analysis of Programming Languages (LSA) Total Students : 86 Rating Author(s) Title Publisher Year **** Louden K.C. Compiler Construction Principles and PWS 1997 Practice ** Kelley, A, A Book on C Addison Wesley 1998 Pohl, I Mathematics for Computer Science (MCS) Total Students: 89 Rating Author(s) Title Publisher Year ** Cohen D I A An introduction to computer theory Wiley 1997 (2nd ed.) Fraleigh J B ** and Beauregard Linear algebra (3rd ed., with disc) Addison Wesley 1995 R A ** Linz P An introduction to formal languages Jones and Bartless Computer 2001 and automata Science Hopcroft, J.E., ++ Motwani, R.V. Introduction to automata theory, Addison Wesley 2001 and Ullman J.D. languages and computation (2nd ed.) ++ Rosen K H Discrete mathematics and its McGraw Hill 1995 applications Metamodelling and Language Design (MLD) Total Students: 11 Rating Author(s) Title Publisher Year +++ Kleppe, A. and Warmer, J. MDA Explained Addison Wesley 2003 ++ Mellor, S. Executable UML Addison Wesley 2003 Networks and Distributed Systems (NDS) Total Students: 83 Rating Author(s) Title Publisher Year Coulouris G., ++ Dollimore J. Distributed Systems: Concepts and Addison Wesley 2000 and Kindberg T. Design (3rd ed.) ++ Tanenbaum A.S. Computer Networks (4th ed.) Prentice Hall 2003 Natural Language Processing (NLP) Total Students: 29 Rating Author(s) Title Publisher Year *** Allen J. Natural Language Understanding (2nd Benjamin/Cummings 1994 ed.) Non-Standard Computation (NSC) Total Students: 21 Rating Author(s) Title Publisher Year ++ Eric W. Bonabeau, Swarm Intelligence: from OUP 1999 Marco Dorigo, Guy Theraulaz natural to artificial systems ++ Jonathan Timmis, Artificial Immune Systems: a new Springer 2000 Leandro N. de Castro computational intelligence approach ++ Wolfgang Banzhaf, Peter Nordin, Genetic Programming, An Introduction Morgan Kaufmann 1998 Robert E. Keller, Frank D. Francone Networks and Communications (NWC) Total Students: 15 - MScIP Rating Author(s) Title Publisher Year *** Tanenbaum A.S. Computer Networks (4th ed.) Prentice Hall 2003 ** Comer, D.E. Computer Networks and Internets Prentice Hall 2001 Operating Systems for Information Processing (OSI) Total Students: 15 - MScIP Rating Author(s) Title Publisher Year *** Flynn I.M. and Understanding Operating Systems (3rd Chapman and Hall 2000 McHoes A.M. ed.) IP Project Preparation (PPC) Total Students: 15 - MScIP Rating Author(s) Title Publisher Year ++ Dawson The Essence of Computing Projects: Prentice-Hall 2000 A Student's Guide Quantum Information Processing (QIP) Total Students: 20 CS-III, CS/M-III, MEng-III, MMath-IV Rating Author(s) Title Publisher Year ** Nielson, Michael Quantum Computing and Quantum Information CUP 2000 Relational Databases and Query Languages (RDQ) Total Students: 10 Rating Author(s) Title Publisher Year +++ Date C. J. An Introduction to Database Systems (8th ed.) Addison-Wesley 2000 +++ Elmasri R. and Navathe S.B. Fundamentals of Database Systems (4th ed.) Addison-Wesley 2000 ++ Carter J. Database design and programming with access, SQL and visual basic McGraw Hill 2000 Real Time Systems and Programming Languages (RTS) Total Students: 57 Rating Author(s) Title Publisher Year *** Burns A and Real-Time systems and programming Addison Wesley 2001 Wellings A J languages (3rd ed.) ** Burns A and Concurrency in Ada, (2nd ed.) Cambridge 1998 Wellings A J ** Dibble P Real-Time Java Platform Programming Prentice Hall 2002 ** Wellings, A.J Concurrent and Real-Time Programming in Java Wiley 2004 System Design Methodologies (SDM) Total Students: 25 CS-III, CS/M-III, MEng-III, MMath-IV Rating Author(s) Title Publisher Year ** A . Aurum Managing Software Engineering Knowledge Springer-Verlag 2003 ** M. Bronzite Software Development: A Strategic Framework Springer-Verlag 2000 +++ D . Avison and Information Systems Development: Methodologies, G Fitzgerald Techniques and Tools (3rd Edition) McGraw-Hill Publishing 2002 ++ P. C. Tinnirello Systems Development Handbook Chapman & Hall 1999 Semantics of Programming Languages (SEM) Total Students: 21 Rating Author(s) Title Publisher Year ++ Apt, Krzysztof R. Verification of Sequential and and Olderog, Ernst-Ruediger Concurrent Programs (2nd ed.) Springer-Verlag 1997 Software Measurement and Testing (SMT) Total Students: 27 - MEng Rating Author(s) Title Publisher Year +++ Robert V. Testing Object-Oriented Systems Addison-Wesley 1999 Binder Software Engineering for IT/IP (SWI) Total Students: 15 - MScIP Rating Author(s) Title Publisher Year **** Sommerville I. Software engineering Addison Wesley 2004 *** Larman, Craig. Applying the UML and Patterns (2nd ed.) Prentice Hall 2002 *** Priestly, M. Practical Object-Oriented Design with McGraw Hill 2000 UML Systems Architectures (SYA) Total Students: 33 - MEng Rating Author(s) Title Publisher Year Bass, *** Clements, Software Architecture in Practice Addison Wesley 2003 Kazman ** Clements, Bachmann, Documenting Software Architectures: Addison Wesley 2002 Bass, Garlan, Ivers, Views and Beyond Reed Little ** Clements, Kazman, Klein Evaluating Software Architectures: Addison Wesley 2001 Methods and Case Studies Topics in Privacy & Security (TPS) Total Students: 27 Rating Author(s) Title Publisher Year *** Anderson, Ross Security Engineering Wiley 2001 +++ Boyd, Colin and Protocols for Authentication and Mathuriam, Anish Key Establishment Springer 2003 +++ Denning, Dorothy Information Warfare and Security Addison-Wesley 1998 +++ Mitnick, Kevin The Art of Deception Wiley 2002 Team Software Project (TSP) Total Students: 60 Rating Author(s) Title Publisher Year *** I. Somerville Software Engineering Addison-Wesley 2004 *** M. Priestley Practical Object-Oriented Design with UML McGraw-Hill 2004 *** R.S. Pressman Software Engineering: a Practitioner's Approach McGraw-Hill 2000 Unifying Theory of Programming (UTP) MEng Total Students: 20 Rating Author(s) Title Publisher Year **** C. A. R. Hoare & He Jifeng Unifying Theories of Programming Prentice Hall 1998 Web Design (WED) Total Students: 15 - MScIP Rating Author(s) Title Publisher Year *** Knuckles, Craig & Yuen, David Web Applications: Concepts and Real World Design Wiley 2005 *** Yank, K. Build your own Database Driven Website using PHP & MySQL Sitepoint 2004 ** Gilmore, W. J A Programmer's Inntroduction to PHP Apress 2001 ** Nielsen, Jakob Designing Web Usability New Riders 2000 ** Shafer, D HTML Utopia: Designing Without Tables Using CSS Sitepoint 2003 +++ Clark, J. Building Accessible Websites New Riders 2002