Riassunto
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.
Contenuti
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
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
