目次

Overview of Computer Science Structure and Organization of Computing Peter J. DenningComputational Thinking Valerie Barr Algorithms and Complexity Data Structures Mark WeissBasic Techniques for Design and Analysis of Algorithms Edward ReingoldGraph and Network Algorithms Samir Khuller and Balaji RaghavachariComputational Geometry Marc van KreveldComplexity Theory Eric Allender, Michael Loui, and Kenneth ReganFormal Models and Computability Tao Jiang, Ming Li, and Bala RavikumarCryptography Jonathan KatzAlgebraic Algorithms Ioannis Z. Emiris, Victor Y. Pan, and Elias P. TsigaridasSome Practical Randomized Algorithms and Data Structures Micheal Mitzenbacher and Eli UpfalApproximation Algorithms and Metaheuristics Teo GonzalezCombinatorial Optimization Vijay Chandru and M.R. RaoGraph Drawing Ioannis G. Tollis and Konstantinos G. KakoulisPattern Matching and Text Compression Algorithms Maxime Crochemore and Thierry LecroqDistributed Algorithms Dan Alistarh and Rachid Guerraoui Architecture and Organization Digital Logic Miriam Leeser and James BrockMemory Systems Yoongu Kim and Onur MutluStorage Systems Alexander ThomasianHigh-Speed Computer Arithmetic Earl E. Swartzlander, Jr.Input/Output Devices and Interaction Techniques Ken Hinckley, Robert J.K. Jacob, Colin Ware, Jacob O. Wobbrock, and Daniel WigdorPerformance Enhancements Joseph DumasParallel Architectures Michael J. Flynn and Kevin W. RuddMulticore Architectures and Their Software Landscape Raphael PossDNA Computing Hieu Bui, Harish Chandranm, Sudhanshu Garg, Nikhil Gopalkrishnan, Reem Mokhtar, John Reif, and Tianqi Song Computational Science and GraphicsComputational Electromagnetics J.S. ShangComputational Fluid Dynamics David CaugheyComputational Astrophysics Jon Hakkila, Derek Buzasi, and Robert ThackerComputational Chemistry J. Phillip Bowen, Frederick J. Heldrich, Clyde R. Metz, Shawn C. Sendlinger, Neal E. Tonks, and Robert M. PanoffComputational Biology: The Fundamentals of Sequence-Based Techniques Steven ThompsonTerrain Modeling for the Geosciences Herman Haverkort and Laura Toma Geometric Primitives Lee Staff, Gustavo Chávez, and Alyn RockwoodComputer Animation Nadia Magnenat Thalmann and Daniel Thalmann Intelligent Systems Paraconsistent Logic-Based Reasoning for Intelligent Systems Kazumi NakamatsuQualitative Reasoning Kenneth ForbusMachine Learning Stephen MarslandExplanation-Based Learning Gerald DeJongSearch Danny Kopec, James L. Cox, and Stephen LucciPlanning and Scheduling Roman BartakNatural Language Processing Nitin IndurkhyaUnderstanding Spoken Language Gokhan Tur, Ye-Yi Wang, and Dilek Hakkani-TürNeural Networks Michael I. Jordan and Christopher M. BishopCognitive Modeling Eric ChownGraphical Models for Probabilistic and Causal Reasoning Judea Pearl Networking and Communication Network Organization and Topologies William StallingsRouting Protocols Radia PerlmanAccess Control Sabrina De Capitani di Vimercati, Pierangela Samarati, and Ravi SandhuData Compression O. Ufuk Nalbantoglu and K. Sayood Localization in Underwater Acoustic Sensor Networks (UW-ASNs) Baozhi Chen and Dario Pompili Semantic Web Pascal Hitzler and Krzysztof JanowiczWeb Search Engines: Practice and Experience Tao Yang and Apostolos Gerasoulis Operating SystemsProcess Synchronization and Interprocess Communication Craig E. WillsThread Management for Shared-Memory Multiprocessors Thomas E. Anderson, Brian N. Bershad, Edward Lazowska, and Henry LevyVirtual Memory Peter J. DenningSecondary Storage and File Systems Marshall Kirk McKusickPerformance Evaluation of Computer Systems Alexander ThomasianTaxonomy of Contention Management in Interconnected Distributed Systems Mohsen Amini Salehi, Jemal Abawajy, and Rajkumar BuyyaReal-Time Computing Sanjoy BaruahScheduling for Large-Scale Systems Anne Benoit, Loris Marchal, Yves Robert, Bora Uçar, and Frédéric VivienDistributed File Systems Thomas W. Doeppner, Jr.Mobile Operating Systems Ralph Morelli and Trishan de LanerolleService-Oriented Operating Systems Stefan Wesner, Lutz Schubert, and Daniel Rubio Bonilla  Programming Languages Imperative Language Paradigm Michael Jipping and Kim BruceObject-Oriented Language Paradigm Raimund EgeLogic Programming and Constraint Logic Programming Jacques CohenMultiparadigm Languages Michael HanusScripting Languages Robert E. NoonanCompilers and Interpreters Kenneth Louden and Ronald MakProgramming Language Semantics David SchmidtType Systems Stephanie WierichFormal Methods Jonathan Bowen and Michael Hinchey Discipline of Software EngineeringDiscipline of Software Engineering: An Overview Jorge Diaz-Herrera and Peter FreemanProfessionalism and Certification Stephen B. SeidmanSoftware Engineering Code of Ethics and Professional Practice Don GotterbarnSoftware Business and Economics Christof EbertOpen Source and Governance: COTS Brian M. Gaff, Gregory J. Ploussios, and Brian R. Landry Software Quality and MeasurementEvidence-Informed Software Engineering and Systematic Literature Review David Budgen and Pearl BreretonEmpirical Software Engineering David Budgen and Barbara KitchenhamSoftware Quality and Model-Based Software Improvement Baris Özkan, Özlem Albayrak, and Onur DemirorsSoftware Metrics and Measurements David Zubrow Software Development Management: Processes and Paradigms Software Development: Management and Business Concepts Michael CusumanoProject Personnel and Organization Paul McMahon and Tom McBrideProject and Process Control James McDonaldAgile John FavaroService-Oriented Development Andy Wang and Guangzhi ZhengSoftware Product Lines Jorge L. Díaz-Herrera and Melvin Pérez-Cedano Software Modeling, Analysis, and DesignRequirements Elicitation Daniel M. BerrySpecification Andrew McGettrickSoftware Model Checking Alistair DonaldsonSoftware Design Strategies Len BassSoftware Architecture Bedir TekinerdoganHuman-Computer Interfaces for Speech Applications Shelby S. Darnell, Naja Mack, France Jackson, Hanan Alnizami, Melva James, Josh Ekandem, Ignacio Alvarez, Marvin Andujar, Dekita Moon, and Juan E. GilbertSoftware Assurance Nancy R. Mead, Dan Shoemaker, and Carol Woody Index