The Computer Science and Engineering Handbook characterizes the current state of theory and practice in the field. In this single volume you can find quick answers to the questions that affect your work every day. More than 110 chapters describe fundamental principles, "best practices," research horizons, and their impact upon the professions and society. Glossaries of key terms, references, and sources for further information, including key World Wide Web sites, provide you with the most complete information on every topic.

Table of Contents:
Computer Science and Engineering: The Discipline and Its Impact, A. Tucker, Jr. and P. Wegner Ethical Issues for Computer Scientists and Engineers, D. Johnson and K. Miller Algorithms and Data Structures Formal Models and Computability, T. Jiang, M. Li, and B. Ravikumar Basic Techniques for Design and Analysis of Algorithms, E. Reingold Data Structures, R. Tamassia and B. Cantrill Computational Geometry, D.T. Lee Randomized Algorithms, R. Motwani and P. Raghavan Pattern Matching and Text Compression Algorithms, M. Crochemore and T. Lecroq Graph and Network Algorithms, S. Khuller and B. Raghavachari Algebraic Algorithms, A. Diaz, E. Kaltofen, and V. Pan Complexity Theory, M. Loui Parallel Algorithms, G. Blelloch and B. Maggs Combinatorial Optimization, V. Chandru and M.R. Rao A Case Study in Algorithms: VLSI Layout, A. LaPaugh Architecture Digital Logic, J. Feldman Digital Computer Architecture, D. Kaeli Buses, W. Hsu and J.-K. Peir Memory Systems, D.R. Burger, J.R. Goodman, and G.S. Sohi High-Speed Computer Arithmetic, E. Swartzlander, Jr. Parallel Architectures, M. Flynn and K. Rudd Artificial Intelligence and Robotics Explanation-Based Learning, G. DeJong Decision Trees and Instance-Based Classifiers, J.R. Quinlan Neural Networks, M. Jordan and C. Bishop Genetic Algorithms, S. Forrest Computer Vision, D. Huttenlocher Understanding Spoken Language, S. Seneff and V. Zue Planning and Scheduling, T. Dean and S. Kambhampati Knowledge-Based Systems for Natural Language Processing, K. Mahesh and S. Nirenburg Logic-Based Deductive Reasoning, J. Lu and E. Rosenthal Search, D. Kopec and T. Marsland Graphical Models for Probabilistic and Causal Reasoning, J. Pearl Qualitative Reasoning, K. Forbus Robotics, F. Lewis, M. Fitzgerald, and K. Liu Computational Science Geometry-Grid Generation, B. Soni and N. Weatherill Scientific Visualization, W. Sherman, A. Craig, P. Baker, and C. Bushell Computational Structural Mechanics, A. Noor Computational Fluid Dynamics, D. Caughey Computational Reacting Flow, P. Cinnella and C. Cox Computational Electromagnetics, J. Shang Computational Ocean Modeling, L. Kantha and S. Piacsek Computational Biology, D. Kingsbury Database and Information Retrieval Data Models, A. Silberschatz, H. Korth, and S. Sudarshan Tuning Database Design for High Performance, D. Shasha Access Methods, B. Salzberg Query Optimization, Y. Ioannidis Concurrency Control and Recovery, M. Franklin Database Performance Measurement, P. O'Neil Distributed and Parallel Database Systems, M.T. Özsu and P. Valduriez Database Security and Privacy, S. Jajodia Text Databases and Information Retrieval, E. Riloff and L. Hollaar Rules in Database Systems, S. Ceri and R. Ramakrishnan Object Database Systems, F. Bancilhon The SQL Language: A Case Study, J. Melton Graphics Overview of Three-Dimensional Computer Graphics, D. House Geometric Primitives, A. Rockwood Advanced Geometric Modeling, D. Ebert Mainstream Rendering Techniques, A. Watt Sampling, Reconstruction, and Antialiasing, G. Wolberg Computer Animation, N. Thalmann and D. Thalmann Volume Visualization, A. Kaufman Virtual Reality, S. Bryson RenderMan®: An Interface for Image Synthesis, A. Apodaca Human-Computer Interaction Task Analysis and the Design of Functionality, D. Kieras The Organizational Contexts of Development and Use, J. Grudin Usability Engineering, J. Nielsen User Interface Design Activities, R. Brooks International User Interface Standardization, W. Dzida Input Devices and Techniques, R. Jacob Output Devices and Techniques, C. Ware Interactive Techniques, J. Ziegler Multimedia, J. Alty Interface Software Technology, B. Myers The Human Factor in Programming and Software Development, M. Rosson Online Support Systems: Tutorials, Documentation, and Help, S. Selber, J. Johnson-Eiloa, and B. Mehlenbacher Operating Systems and Networks What Is an Operating System? R. Finkel Thread Management for Shared Memory Multiprocessors, T. Anderson, B. Bershad, E. Lazowka, and H. Levy Process and Device Scheduling, R. Cupper Real-Time and Embedded Systems, J. Stankovic Process Synchronization and Interprocess Communication, C. Wills Virtual Memory, P. Denning Secondary Storage and Filesystems, M. McKusick Network Organization and Topologies, W. Stallings Routing Protocols, R. Perlman Internetworking, B. Reid and S. Stuart Overview of Distributed Operating Systems, S. Mullender Distributed File Systems and Distributed Memory, T. Doeppner Distributed and Multiprocessor Scheduling, S. Chapin Software Support for Heterogeneous Computing, H.J. Siegel, H. Dietz, and J. Antonio Security and Privacy Issues in Computer and Communication Systems, P. Neumann Protection (Security) Models and Policy, C. Landwehr Authentication, Access Control, and Intrusion Detection, R. Sandhu and P. Samarati Network and Internet Security, S. Bellovin Malicious Software and Hacking, D. Ferbrache and S. Mort Programming Languages Imperative Language Paradigm, M. Jipping and K. Bruce Functional Programming Languages, B. Goldberg The Object-Oriented Language Paradigm, R. Ege and S. Hirshfield Logic Programming and Constraint Logic Programming, J. Cohen Concurrent/Distributed Computing Paradigm, A. Bernat Compilers and Interpreters, K. Louden Parallelizing Compilers, M. Wolfe Run Time Environments and Memory Management, R. Noonan and W. Bynum Foundational Calculi for Programming Languages, B. Pierce Type Systems, L. Cardelli Programming Language Semantics, D. Schmidt Software Engineering Software Process Models, I. Sommerville Software Qualities and Principles, C. Ghezzi, M. Jazayeri, and D. Mandrioli, Formal Models and the Specification Process, J. Bowen and M. Hinchey Software Design, S. Demurjian Verification and Validation, J. Gannon Testing: Principles and Practice, S. Schach Development Strategies and Project Management, R. Pressman Software Tools and Environments, S. Reiss Interactive Software Technology, P. Wegner Appendices Professional Societies in Computing (brief summary of ACM, IEEE-CS, SIAM, DPMA, IFIP, CPSR, Others-AAAI, ORA, Sig's) The ACM Code of Ethics and Professional Conduct Standard-Making Bodies and Standards Hardware (IEEE Floating Point, ASCII, ISO, and Unicode, etc.) and Networking Standards Common Networking Standards (Ethernet, ATM) Common System Command Languages (UNIX, DOS) Internet Access Protocols (FTP, Telnet, Gopher, WWW Browsers) Common Programming Languages (Prolog, ML, Pascal, Common Lisp, Scheme, Fortran, Tcl, Perl, Icon, Basic, Awk, C, C++, Ada, Eiffel, Cobol) Common Graphics Languages Common Editing Markup Languages (SGML, LATEX, PostScript) Index of Cited Authors Index of Key Algorithms Index of Key Figures and Tables Subject Index