Table of Contents

• Computer AnimationNadia Magnenat-Thalmann, Daniel Thalmann.
• Distributed File SystemsThomas W. Doeppner.
• High-Speed Computer ArithmeticEarl E. Swartzlander Jr..
• Algebraic AlgorithmsIoannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas.
• Software AssuranceNancy R. Mead, Daniel Shoemaker, Carol Woody.
• Object-Oriented Language ParadigmRaimund K. Ege.
• Mobile Operating SystemsRalph Morelli, Trishan R. de Lanerolle.
• Memory SystemsYoongu Kim, Onur Mutlu.
• Basic Techniques for Design and Analysis of AlgorithmsEdward M. Reingold.
• Paraconsisten Logic-Based Reasoning for Intelligent SystemsKazumi Nakamatsu.
• Graph and Network AlgorithmsSamir Khuller, Balaji Raghavachari.
• Parallel ArchitecturesMichael J. Flynn, Kevin W. Rudd.
• Storage SystemsAlexander Thomasian.
• Open Source and Governance: COTSBrian M. Gaff, Gregory J. Ploussios, Brian R. Landry.
• Access ControlSabrina De Capitani di Vimercati, Pierangela Samarati, Ravi Sandhu.
• Terrain Modeling for the GeosciencesHerman J. Haverkort, Laura Toma.
• Computational Fluid DynamicsDavid A. Caughey.
• Geometric PrimitivesLee Staff, Gustavo Chavez, Alyn Rockwood.
• Performance Evaluation of Computer SystemsAlexander Thomasian.
• Type SystemsStephanie Weirich.
• Cognitive ModelingEric Chown.
• Computational GeometryMarc J. van Kreveld.
• Machine LearningStephen Marsland.
• SpecificationAndrew D. McGettrick.
• Approximation Algorithms and MetaheuristicsTeofilo F. Gonzalez.
• Logic Programming and Constraint Logic ProgrammingJacques Cohen.
• Imperative Language ParadigmMichael J. Jipping, Kim B. Bruce.
• Neural NetworksMichael I. Jordan, Christopher M. Bishop.
• Formal Models and ComputabilityTao Jiang, Ming Li, Bala Ravikumar.
• Combinatorial OptimizationVijay Chandru, M. R. Rao.
• Software Engineering: Code of Ethics and Professional PracticeDon Gotterbarn.
• Network Organization and TopologiesWilliam Stallings.
• Evidence-Informed Software Engineering and the Systematic Literature ReviewDavid Budgen, Pearl Brereton.
• Service-Oriented DevelopmentAndy Wang, Guangzhi Zheng.
• Planning and SchedulingRoman Barták.
• Scripting LanguagesRobert E. Noonan.
• Real-Time ComputingSanjoy Baruah.
• Computational ThinkingValerie Barr.
• Explanation-Based LearningGerald DeJong.
• Secondary Storage and FilesystemsMarshall K. McKusick.
• Web Search Engines: Practice and ExperienceTao Yang, Apostolos Gerasoulis.
• Routing ProtocolsRadia Perlman.
• Taxonomy of Contention Management in Interconnected Distributed SystemsMohsen Amini Salehi, Jemal Abawajy, Rajkumar Buyya.
• Programming Language SemanticsDavid A. Schmidt.
• Semantic WebPascal Hitzler, Krzysztof Janowicz.
• CryptographyJonathan Katz.
• Software Quality and Model-Based Process ImprovementBaris Özkan, Özlem Albayrak, Onur Demirörs.
• DNA ComputingHieu Bui, Harish Chandran, Sudhanshu Garg, Nikhil Gopalkrishnan, Reem Mokhtar, John H. Reif, Tianqi Song.
• Localization in Underwater Acoustic Sensor NetworksBaozhi Chen, Dario Pompili.
• AgileJohn M. Favaro.
• Graphical Models for Probabilistic and Causal ReasoningJudea Pearl.
• Computational ElectromagneticsJ. S. Shang.
• Understanding Spoken LanguageGökhan Tür, Ye-Yi Wang, Dilek Z. Hakkani-Tür.
• Graph DrawingIoannis G. Tollis, Konstantinos G. Kakoulis.
• Computational Biology: The Fundamentals of Sequence-Based TechniquesSteven M. Thompson.
• Distributed AlgorithmsDan Alistarh, Rachid Guerraoui.
• Scheduling for Large-Scale SystemsAnne Benoit, Loris Marchal, Yves Robert, Bora Uçar, Frédéric Vivien.
• Empirical Software EngineeringDavid Budgen, Barbara Kitchenham.
• Software Business and EconomicsChristof Ebert.
• Multicore Architectures and Their Software LandscapeRaphael Poss.
• Software Metrics and MeasurementsDavid Zubrow.
• Qualitative ReasoningKenneth D. Forbus.
• Human-Computer Interfaces for Speech ApplicationsShelby S. Darnell, Naja Mack, France Jackson, Hanan Alnizami, Melva James, Joshua I. Ekandem, Ignacio Alvarez, Marvin Andujar, Dekita Moon, Juan E. Gilbert.
• Natural Language ProcessingNitin Indurkhya.
• Input/Output Devices and Interaction TechniquesKen Hinckley, Robert J. K. Jacob, Colin Ware, Jacob O. Wobbrock, Daniel Wigdor.
• Software Design StrategiesLen Bass.
• Complexity TheoryEric Allender, Michael C. Loui, Kenneth W. Regan.
• Project Personnel and OrganizationPaul McMahon, Tom McBride.
• Data CompressionÖzkan Ufuk Nalbantoglu, Khalid Sayood.
• Multiparadigm LanguagesMichael Hanus.
• Thread Management for Shared-Memory MultiprocessorsThomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy.
• Virtual MemoryPeter J. Denning.
• Pattern Matching and Text Compression AlgorithmsMaxime Crochemore, Thierry Lecroq.
• Data StructuresMark Allen Weiss.
• Computational ChemistryJ. Phillip Bowen, Frederick J. Heldrich, Clyde R. Metz, Shawn C. Sendlinger, Neal E. Tonks, Robert M. Panoff.
• Software Product LinesJorge L. Diaz-Herrera, Melvin Perez-Cedano.
• SearchDanny Kopec, James L. Cox, Stephen Lucci.
• Compilers and InterpretersKenneth C. Louden, Ronald Mak.
• Digital LogicMiriam Leeser, James Brock.
• Requirements ElicitationDaniel M. Berry.
• Professionalism and CertificationStephen B. Seidman.
• Some Practical Randomized Algorithms and Data StructuresMichael Mitzenmacher, Eli Upfal.
• Service-Oriented Operating SystemsStefan Wesner, Lutz Schubert, Daniel Rubio Bonilla.
• Software Development: Management and Business ConceptsMichael A. Cusumano.
• Performance EnhancementsJoseph Dumas.
• Structure and Organization of ComputingPeter J. Denning.
• Discipline of Software Engineering: An OverviewJorge L. Diaz-Herrera, Peter A. Freeman.
• Software Model CheckingAlastair Donaldson.
• Process Synchronization and Interprocess CommunicationCraig E. Wills.
• Software ArchitectureBedir Tekinerdogan.
• Project and Process ControlJames McDonald.
• Computational AstrophysicsJon Hakkila, Derek Buzasi, Robert J. Thacker.
• Formal MethodsJonathan P. Bowen, Michael G. Hinchey. 71-25