The first volume of this popular handbook mirrors the modern taxonomy of computer science and software engineering as described by the Association for Computing Machinery (ACM) and the IEEE Computer Society (IEEE-CS). Written by established leading experts and influential young researchers, it examines the elements involved in designing and implementing software, new areas in which computers are being used, and ways to solve computing problems. The book also explores our current understanding of software engineering and its effect on the practice of software development and the education of software professionals.

Table of Contents

Chapter 1: Structure and Organization of Computing*

Chapter 2: Computational Thinking

Chapter 3: Data Structures

Chapter 4: Basic Techniques for Design and Analysis of Algorithms

Chapter 5: Graph and Network Algorithms

Chapter 6: Computational Geometry

Chapter 7: Complexity Theory

Chapter 8: Formal Models and Computability

Chapter 9: Cryptography

Chapter 10: Algebraic Algorithms*

Chapter 11: Some Practical Randomized Algorithms and Data Structures

Chapter 12: Approximation Algorithms and Metaheuristics

Chapter 13: Combinatorial Optimization

Chapter 14: Graph Drawing

Chapter 15: Pattern Matching and Text Compression Algorithms

Chapter 16: Distributed Algorithms

Chapter 17: Digital Logic

Chapter 18: Memory Systems

Chapter 19: Storage Systems*

Chapter 20: High-Speed Computer Arithmetic

Chapter 21: Input/Output Devices and Interaction Techniques

Chapter 22: Performance Enhancements

Chapter 23: Parallel Architectures

Chapter 24: Multicore Architectures and Their Software Landscape

Chapter 25: DNA Computing

Chapter 26: Computational Electromagnetics

Chapter 27: Computational Fluid Dynamics

Chapter 28: Computational Astrophysics

Chapter 29: Computational Chemistry

Chapter 30: Computational Biology: : The Fundamentals of Sequence-Based Techniques

Chapter 31: Terrain Modeling for the Geosciences

Chapter 32: Geometric Primitives

Chapter 33: Computer Animation

Chapter 34: Paraconsistent Logic-Based Reasoning for Intelligent Systems

Chapter 35: Qualitative Reasoning

Chapter 36: Machine Learning

Chapter 37: Explanation-Based Learning

Chapter 38: Search

Chapter 39: Planning and Scheduling

Chapter 40: Natural Language Processing

Chapter 41: Understanding Spoken Language

Chapter 42: Neural Networks

Chapter 43: Cognitive Modeling

Chapter 44: Graphical Models for Probabilistic and Causal Reasoning

Chapter 45: Network Organization and Topologies

Chapter 46: Routing Protocols

Chapter 47: Access Control

Chapter 48: Data Compression

Chapter 49: Localization in Underwater Acoustic Sensor Networks*

Chapter 50: Semantic Web

Chapter 51: Web Search Engines:: Practice and Experience

Chapter 52: Process Synchronization and Interprocess Communication

Chapter 53: Thread Management for Shared-Memory Multiprocessors

Chapter 54: Virtual Memory

Chapter 55: Secondary Storage and Filesystems

Chapter 56: Performance Evaluation of Computer Systems

Chapter 57: Taxonomy of Contention Management in Interconnected Distributed Systems

Chapter 58: Real-Time Computing

Chapter 59: Scheduling for Large-Scale Systems

Chapter 60: Distributed File Systems*

Chapter 61: Mobile Operating Systems

Chapter 62: Service-Oriented Operating Systems

Chapter 63: Imperative Language Paradigm

Chapter 64: Object-Oriented Language Paradigm

Chapter 65: Logic Programming and Constraint Logic Programming

Chapter 66: Multiparadigm Languages

Chapter 67: Scripting Languages

Chapter 68: Compilers and Interpreters

Chapter 69: Programming Language Semantics

Chapter 70: Type Systems

Chapter 71: Formal Methods

Chapter 72: Discipline of Software Engineering: : An Overview

Chapter 73: Professionalism and Certification

Chapter 74: Software Engineering Code of Ethics and Professional Practice

Chapter 75: Software Business and Economics

Chapter 76: Open Source and Governance:: COTS*

Chapter 77: Evidence-Informed Software engineering and the systematic Literature Review

Chapter 78: Empirical Software Engineering

Chapter 79: Software Quality and Model-Based Process Improvement

Chapter 80: Software Metrics and Measurements

Chapter 81: Software Development: Management and Business Concepts

Chapter 82: Project Personnel and Organization

Chapter 83: Project and Process Control

Chapter 84: Agile

Chapter 85: Service-Oriented Development

Chapter 86: Software Product Lines

Chapter 87: Requirements Elicitation

Chapter 88: Specification

Chapter 89: Software Model Checking

Chapter 90: Software Design Strategies

Chapter 91: Software Architecture

Chapter 92: Human-Computer Interfaces for Speech Applications

Chapter 93: Software Assurance