Fandom

Scratchpad

Mathematical aspects of computer science (book list)

215,687pages on
this wiki
Add New Page
Discuss this page0 Share

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

This is a section of the Basic Math Library List


  • Please help improve the article.




15. Mathematical aspects of computer science
    Complexity theory and design and analysis of algorithms. Formal languages. Computational learning.
    Algorithmic game theory. Cryptography. Coding theory. Semantics and verification of programs. 
    Symbolic computation. Quantum computing. Computational geometry, computer vision.
    Connections with sections  1, 2, 3, 4, 13, 14, 16.




Computer Literacy

Arganbright, Dean E. Mathematical Applications of Electronic Spreadsheets New York, NY: McGraw-Hill, 1985.

    • Bierman, Alan. Great Ideas in Computer Science Cambridge, MA: MIT Press, 1990.

Bruce, J.W.; Giblin, P.J.; and Rippon, P.J. Microcomputers and Mathematics New York, NY: Cambridge University Press, 1990.

    • Decker, Rick and Hirshfield, Stuart. The Analytical Engine Belmont, CA: Wadsworth, 1990.
    • Dewdney, A.K. The Turing Omnibus: 61 Excursions in Computer Science Rockville, MD: Computer Science Press, 1989.
      • Dewdney, A.K. The Armchair Universe: An Exploration of Computer Worlds New York, NY: W.H. Freeman, 1988.

Gray, Theodore W. and Glynn, Jerry. Exploring Mathematics with Mathematica: Dialogs Concerning Computers and Mathematics Reading, MA: Addison-Wesley, 1991.

  • Harel, David. Algorithmics: The Spirit of Computing Reading, MA: Addison-Wesley, 1987.

Kidder, Tracy. The Soul of a New Machine Waltham, MA: Little, Brown, 1981.

  • McCorduck, Pamela. Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence New York, NY: W.H. Freeman, 1979.

Moreau, R. The Computer Comes of Age: The People, the Hardware, and the Software Cambridge, MA: MIT Press, 1984.

Savage, John E.; Magidson, Susan; and Stein, Alex M. The Mystical Machine: Issues and Ideas in Computing Reading, MA: Addison-Wesley, 1986.

  • Shore, John. The Sachertorte Algorithm and Other Antidotes to Computer Anxiety New York, NY: Viking Press, 1985.
    • Weiss, Eric A., ed. A Computer Science Reader: Selections from Abacus New York, NY: Springer-Verlag, 1988.
  • von Neumann, John. The Computer and the Brain, New Haven, CT: Yale University Press, 1979.


Computers and Society

  • Bolter, J. David. Turing's Man: Western Culture in the Computer Age Chapel Hill, NC: University of North Carolina Press, 1984.

Dejoie, Roy M., et al. Ethical Issues in Information Systems Boston, MA: Boyd and Fraser, 1991.

Dreyfus, Hubert L. What Computers Can't Do New York, NY: Harper and Row, 1972.

  • Dunlap, Charles and Kling, Rob, eds. Computerization and Controversy: Value Conflicts and Social Choices New York, NY: Academic Press, 1991.
    • Graubard, Stephen R., ed. The Artificial Intelligence Debate: False Starts, Real Foundations Cambridge, MA: MIT Press, 1988.
  • Jennings, Karla. The Devouring Fungus: Tales of the Computer Age New York, NY: W.W. Norton, 1990.
      • Kemeny, John G. Man and the Computer New York, NY: Charles Scribner's, 1972.
  • Roszak, Theodore. The Cult of Information: The Folklore of Computers and the True Art of Thinking Cambridge, MA: Pantheon Books, 1986.
    • Stoll, Clifford. The Cuckoo's Egg: Tracking a Spy Through the Maze of Computer Espionage New York, NY: Doubleday, 1989.
    • Weizenbaum, Joseph. Computer Power and Human Reason: From Judgment to Calculation New York, NY: W.H. Freeman, 1976.

Wiener, Norbert. The Human Use of Human Beings: Cybernetics and Society New York, NY: Doubleday, 1954.


Computer Science: Introductory

    • Abelson, Harold; Sussman, Gerald J.; and Sussman, Julie. Structure and Interpretation of Computer Programs Cambridge, MA: MIT Press, 1985.
  • Brookshear, J. Glenn. Computer Science: An Overview, Redwood City, CA: Benjamin Cummings, 1985, 1988. Second Edition.

Carberry, M. Sandra; Cohen, A. Toni; and Khalil, Hatem M. Principles of Computer Science: Concepts, Algorithms, Data Structures, and Applications Rockville, MD: Computer Science Press, 1986.

  • McGettrick, Andrew D. and Smith, Peter D. Graded Problems in Computer Science Reading, MA: Addison-Wesley, 1983.

Pollack, Seymour V., ed. Studies in Computer Science Washington, DC: Mathematical Association of America, 1982.

  • Tucker, Allen B., et al. Fundamentals of Computing I: Logic, Problem-Solving, Programs, and Computers New York, NY: McGraw-Hill, 1991.

Wulf, William A., et al. Fundamental Structures of Computer Science Reading, MA: Addison-Wesley, 1981.


Data Structures

      • Aho, Alfred V.; Hopcroft, John E.; and Ullman, Jeffrey D. Data Structures and Algorithms Reading, MA: Addison-Wesley, 1983.

Dale, Nell and Lilly, Susan C. Pascal Plus Data Structures Lexington, MA: D.C. Heath, 1988.

    • Horowitz, Ellis and Sahni, Sartaj. Fundamentals of Data Structures in Pascal, Rockville, MD: Computer Science Press, 1976, 1990. Third Edition.
  • Korsh, James F. and Garrett, Leonard J. Data Structures, Algorithms, and Program Style Using C Boston, MA: PWS-Kent, 1986, 1988.
  • Kruse, Robert L. Data Structures and Program Design, Englewood Cliffs, NJ: Prentice Hall, 1984, 1987. Second Edition.
  • Mehlhorn, Kurt. Data Structures and Algorithms, New York, NY: Springer-Verlag, 1984. 3 Vols.

Miller, Nancy E. File Structures Using Pascal Redwood City, CA: Benjamin Cummings, 1987.

Smith, Harry F. Data Structures: Form and Function San Diego, CA: Harcourt Brace Jovanovich, 1987.

Stubbs, David F. and Webre, Neil W. Data Structures, Pacific Grove, CA: Brooks/Cole, 1989. Second Edition.

Welsh, Jim; Elder, John; and Bustard, David. Sequential Program Structures Englewood Cliffs, NJ: Prentice Hall, 1984.

    • Wirth, Niklaus. Algorithms and Data Structures Englewood Cliffs, NJ: Prentice Hall, 1976, 1986. (Former title: Algorithms + Data Structures = Programs.)


Database Systems

Alagic, Suad. Relational Database Technology New York, NY: Springer-Verlag, 1986.

    • Codd, E.F. The Relational Model Reading, MA: Addison-Wesley, 1990.
    • Date, C.J. Relational Database Writings Reading, MA: Addison-Wesley, 1986, 1990.
      • Date, C.J. An Introduction to Database Systems, Reading, MA: Addison-Wesley, 1981, 1986. Fourth Edition.
  • Ghosh, Sakti P. Data Base Organization for Data Management New York, NY: Academic Press, 1977.

Grant, John. Logical Introduction to Databases San Diego, CA: Harcourt Brace Jovanovich, 1987.

Korth, Henry F. and Silberschatz, Abraham. Database System Concepts New York, NY: McGraw-Hill, 1986.

Papadimitriou, Christos H. The Theory of Database Concurrency Control Rockville, MD: Computer Science Press, 1986.

Pratt, Philip J. and Adamski, Joseph J. Database Systems: Management and Design San Francisco, CA: Boyd and Fraser, 1987.

  • Ullman, Jeffrey D. Principals of Database and Knowledge-based Systems, Rockville, MD: Computer Science Press, 1988. 2 Vols.


Programming

      • Bentley, Jon. Programming Pearls Reading, MA: Addison-Wesley, 1986.
      • Bentley, Jon. More Programming Pearls Reading, MA: Addison-Wesley, 1988.
  • Brawer, Steven. Introduction to Parallel Programming New York, NY: Academic Press, 1989.
    • Cox, Brad J. Object-Oriented Programming: An Evolutionary Approach Reading, MA: Addison-Wesley, 1986.

Dahl, O.J.; Dijkstra, Edsger W.; and Hoare, C.A.R. Structured Programming New York, NY: Academic Press, 1972.

  • Dijkstra, Edsger W. A Discipline of Programming Englewood Cliffs, NJ: Prentice Hall, 1976.

Feuer, A. and Gehani, Narain, eds. Comparing and Assessing Programming Languages: Ada, C, Pascal Englewood Cliffs, NJ: Prentice Hall, 1984.

Hehner, Eric C.R. The Logic of Programming Englewood Cliffs, NJ: Prentice Hall, 1984.

Hogger, Christopher J. Introduction to Logic Programming New York, NY: Academic Press, 1984.

    • Horowitz, Ellis, ed. Programming Languages: A Grand Tour, Rockville, MD: Computer Science Press, 1983, 1987. Third Edition.
    • Horowitz, Ellis. Fundamentals of Programming Languages, Rockville, MD: Computer Science Press, 1983, 1984. Second Edition.
      • Kernighan, Brian W. and Plauger, P.J. The Elements of Programming Style, New York, NY: McGraw-Hill, 1974, 1978. Second Edition.

MacLennan, Bruce J. Principles of Programming Languages: Design, Evaluation, and Implementation, New York, NY: Holt, Rinehart and Winston, 1983, 1986. Second Edition.

  • MacLennan, Bruce J. Functional Programming Reading, MA: Addison-Wesley, 1989.
    • Meyer, Bertrand. Object-Oriented Software Construction, Englewood Cliffs, NJ: Prentice Hall, 1988, 1991. Second Edition.
  • Meyer, Bertrand. Introduction to the Theory of Programming Languages Englewood Cliffs, NJ: Prentice Hall, 1990.

Pinson, Lewis J. and Wiener, Richard S., eds. Applications of Object-Oriented Programming Reading, MA: Addison-Wesley, 1990.

  • Reade, Chris. Elements of Functional Programming Reading, MA: Addison-Wesley, 1989.

Tucker, Allen B. Programming Languages, New York, NY: McGraw-Hill, 1986. Second Edition.

      • Wexelblat, Richard L., ed. History of Programming Languages New York, NY: Academic Press, 1981.

Wirth, Niklaus. Systematic Programming: An Introduction Englewood Cliffs, NJ: Prentice Hall, 1973.


Programming Languages

    • Clocksin, W.F. and Mellish, C.S. Programming in Prolog, New York, NY: Springer-Verlag, 1981, 1987. Third Revised Edition.
  • Cooper, D. Standard Pascal: User Reference Manual New York, NY: W.W. Norton, 1983.

Dewhurst, Stephen C. and Stark, Kathy T. Programming in C++ Englewood Cliffs, NJ: Prentice Hall, 1989.

  • Gehani, Narain. C: An Advanced Introduction Rockville, MD: Computer Science Press, 1985, 1988.
    • Goldberg, Adele and Robson, David. Smalltalk-80: The Language Reading, MA: Addison-Wesley, 1983, 1989.

Harbison, Samuel P. and Steele, Guy L., Jr. C: A Reference Manual, Englewood Cliffs, NJ: Prentice Hall, 1991. Third Edition.

  • Jensen, Kathleen and Wirth, Niklaus. Pascal User Manual and Report, New York, NY: Springer-Verlag, 1985. Third Edition.
      • Kernighan, Brian W. and Ritchie, Dennis M. The C Programming Language, Englewood Cliffs, NJ: Prentice Hall, 1988. Second Edition.

Koffman, Elliot B. Pascal: Problem Solving and Program Design, Reading, MA: Addison-Wesley, 1989. Third Edition.

LaLonde, Wilf R. and Pugh, John R. Inside Smalltalk, Englewood Cliffs, NJ: Prentice Hall, 1990. 2 Vols.

O'Keefe, Richard A. The Craft of Prolog Cambridge, MA: MIT Press, 1990.

  • Polivka, Raymond and Pakin, Sandra. APL: The Language and Its Usage Englewood Cliffs, NJ: Prentice Hall, 1975.

Sewell, Wayne. Weaving a Program: Literate Programming in WEB New York, NY: Van Nostrand Reinhold, 1989.

Shumate, K. Understanding Ada with Abstract Data Types New York, NY: John Wiley, 1989.

    • Stroustrup, Bjarne. The C++ Programming Language Reading, MA: Addison-Wesley, 1987.

Wiener, Richard S. and Sincovec, R. Programming in ADA New York, NY: John Wiley, 1983.

    • Winston, Patrick H.; Klaus, Berthold; and Horn, Paul. LISP, Reading, MA: Addison-Wesley, 1981, 1989. Third Edition.
  • Wirth, Niklaus. Programming in Modula-2, New York, NY: Springer-Verlag, 1982, 1988. Fourth Edition.


Algorithms

      • Aho, Alfred V.; Hopcroft, John E.; and Ullman, Jeffrey D. The Design and Analysis of Computer Algorithms Reading, MA: Addison-Wesley, 1974.
  • Baase, Sara. Computer Algorithms: Introduction to Design and Analysis, Reading, MA: Addison-Wesley, 1978, 1988. Second Edition.

Berlioux, Pierre and Bizard, Philippe. Algorithms: The Construction, Proof, and Analysis of Programs New York, NY: John Wiley, 1986.

  • Brassard, Gilles and Bratley, Paul. Algorithmics: Theory and Practice Englewood Cliffs, NJ: Prentice Hall, 1988.

Brown, Marc H. Algorithm Animation Cambridge, MA: MIT Press, 1988.

Cormen, Thomas H.; Leiserson, Charles E.; and Rivest, Ronald L. Introduction to Algorithms Cambridge, MA: MIT Press, 1990.

  • Davenport, J.H.; Siret, Y.; and Tournier, E. Computer Algebra: Systems and Algorithms for Algebraic Computation New York, NY: Academic Press, 1988.
  • Dijkstra, Edsger W. and Feijen, W.H.J. A Method of Programming Reading, MA: Addison-Wesley, 1988.
  • Gallivan, K.A., et al. Parallel Algorithms for Matrix Computations Philadelphia, PA: Society for Industrial and Applied Mathematics, 1990.
  • Horowitz, Ellis and Sahni, Sartaj. Fundamentals of Computer Algorithms Rockville, MD: Computer Science Press, 1978.

Kemp, Rainer. Fundamentals of the Average Case Analysis of Particular Algorithms New York, NY: John Wiley, 1984.

Kingston, Jeffrey H. Algorithms and Data Structures: Design, Correctness, Analysis Reading, MA: Addison-Wesley, 1990.

      • Knuth, Donald E. The Art of Computer Programming, Reading, MA: Addison-Wesley, 1969--81. 3 Vols., Second Edition.
    • Manber, Udi. Introduction to Algorithms: A Creative Approach Reading, MA: Addison-Wesley, 1989.

Moret, B.M.E. and Shapiro, H.D. Algorithms from P to NP Redwood City, CA: Benjamin Cummings, 1991.

  • Nijenhuis, Albert and Wilf, Herbert S. Combinatorial Algorithms for Computers and Calculators, New York, NY: Academic Press, 1975, 1978. Second Edition.
    • Reingold, Edward M.; Nievergelt, Jurg; and Deo, Narsingh. Combinatorial Algorithms: Theory and Practice Englewood Cliffs, NJ: Prentice Hall, 1977.

Reisig, Wolfgang. Petri Nets New York, NY: Springer-Verlag, 1985.

    • Sedgewick, Robert. Algorithms in C Reading, MA: Addison-Wesley, 1990.

Swartzlander, Earl E., Jr., ed. Computer Arithmetic New York, NY: Dowden, Hutchinson and Ross, 1980.

Wilf, Herbert S. Algorithms and Complexity Englewood Cliffs, NJ: Prentice Hall, 1986.

  • Wilf, Herbert S. Combinatorial Algorithms: An Update Philadelphia, PA: Society for Industrial and Applied Mathematics, 1989.


Theory of Computation

  • Brookshear, J. Glenn. Theory of Computation: Formal Languages, Automata, and Complexity Redwood City, CA: Benjamin Cummings, 1989.

Calude, Cristian. Theories of Computational Complexity Amsterdam: North-Holland, 1988.

Davis, Martin D. and Weyuker, Elaine J. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science New York, NY: Academic Press, 1983.

      • Garey, Michael R. and Johnson, David S. Computers and Intractability: A Guide to the Theory of $NP$-Completeness New York, NY: W.H. Freeman, 1979.
  • Harrison, Michael A. Introduction to Formal Language Theory Reading, MA: Addison-Wesley, 1978.
  • Hartmanis, Juris, ed. Computational Complexity Theory Providence, RI: American Mathematical Society, 1989.
  • Moll, Robert N.; Arbib, Michael A.; and Kfoury, A.J. An Introduction to Formal Language Theory New York, NY: Springer-Verlag, 1988.

Salomaa, Arto. Jewels of Formal Language Theory Rockville, MD: Computer Science Press, 1981.

Sanchis, Luis E. Reflexive Structures: An Introduction to Computability Theory New York, NY: Springer-Verlag, 1988.

Winograd, Shmuel. Arithmetic Complexity of Computations Philadelphia, PA: Society for Industrial and Applied Mathematics, 1980.


Software Systems

Aho, Alfred V.; Kernighan, Brian W.; and Weinberger, Peter J. The AWK Programming Language Reading, MA: Addison-Wesley, 1988.

  • Andre, F.; Herman, D.; and Verjus, J.-P. Synchronization of Parallel Programs Cambridge, MA: MIT Press, 1985.

Beck, Leland L. System Software, Reading, MA: Addison-Wesley, 1990. Second Edition.

  • Ben-Ari, M. Principles of Concurrent Programming Englewood Cliffs, NJ: Prentice Hall, 1982, 1990.

Chambers, Fred B.; Duce, David A.; and Jones, Gillian P., eds. Distributed Computing New York, NY: Academic Press, 1984.

    • Deitel, Harvey M. Operating Systems, Reading, MA: Addison-Wesley, 1984, 1990. Second Edition.

Hoare, C.A.R. Communicating Sequential Processes Englewood Cliffs, NJ: Prentice Hall, 1985.

Jones, Oliver. The X Window System Bedford, MA: Digital Press, 1989.

Katzan, Harry. Operating Systems: A Pragmatic Approach, New York, NY: Van Nostrand Reinhold, 1986. Second Edition.

  • Kernighan, Brian W. and Pike, Rob. The UNIX Programming Environment Englewood Cliffs, NJ: Prentice Hall, 1984.

Krakowiak, Sacha. Principles of Operating Systems Cambridge, MA: MIT Press, 1988.

Leffler, Samuel J., et al. The Design and Implementation of the 4.3BSD UNIX Operating System Reading, MA: Addison-Wesley, 1989.

Milenkovic, Milan. Operating Systems: Concepts and Design New York, NY: McGraw-Hill, 1987.

  • Silberschatz, Abraham; Peterson, James L.; and Galvin, Peter B. Operating System Concepts, Reading, MA: Addison-Wesley, 1983, 1991. Third Edition.
  • Tanenbaum, Andrew S. Operating Systems: Design and Implementation Englewood Cliffs, NJ: Prentice Hall, 1987.


Artificial Intelligence

Allen, James. Natural Language Understanding Redwood City, CA: Benjamin Cummings, 1987.

Alty, J.L. and Coombs, M.J. Expert Systems New York, NY: John Wiley, 1984.

  • Arbib, Michael A. Brains, Machines, and Mathematics, New York, NY: Springer-Verlag, 1987. Second Edition.
    • Barr, Avron; Cohen, Paul R.; and Feigenbaum, Edward A., eds. The Handbook of Artificial Intelligence, Reading, MA: Addison-Wesley, 1989. 4 Vols.
  • Batchelor, Bruce G. Practical Approach to Pattern Classification New York, NY: Plenum Press, 1974.

Bolc, L. and Coombs, M.J., eds. Expert System Applications New York, NY: Springer-Verlag, 1988.

  • Bundy, Alan. The Computer Modelling of Mathematical Reasoning New York, NY: Academic Press, 1983.

Chou, Shang-Ching. Mechanical Geometry Theorem Proving Norwell, MA: D. Reidel, 1988.

Fischler, Martin A. and Firschein, Oscar. Intelligence: The Eye, the Brain, and the Computer Reading, MA: Addison-Wesley, 1987.

  • Fukunaga, Keinosuke. Introduction to Statistical Pattern Recognition, New York, NY: Academic Press, 1990. Second Edition.

Goranzon, Bo and Josefson, Ingela, eds. Knowledge, Skill, and Artificial Intelligence New York, NY: Springer-Verlag, 1988.

  • Griffiths, Michael and Palissier, Carol. Algorithmic Methods for Artificial Intelligence New York, NY: Chapman and Hall, 1987.

Harris, Mary Dee. Introduction to Natural Language Processing Englewood Cliffs, NJ: Reston, 1985.

Kanal, Laveen and Kumar, Vipin, eds. Search in Artificial Intelligence New York, NY: Springer-Verlag, 1988.

Klahr, Philip and Waterman, Donald A. Expert Systems Reading, MA: Addison-Wesley, 1986.

  • Kosko, Bart. Neural Networks and Fuzzy Systems Englewood Cliffs, NJ: Prentice Hall, 1991.
    • Levy, David N.L., ed. Computer Games I New York, NY: Springer-Verlag, 1988.

Luger, George F. and Stubblefield, William A. Artificial Intelligence and the Design of Expert Systems Redwood City, CA: Benjamin Cummings, 1989.

    • Minsky, Marvin and Papert, Seymour. Perceptrons: An Introduction to Computational Geometry, Cambridge, MA: MIT Press, 1988. Expanded Edition.

Ramsay, Allan. Formal Methods in Artificial Intelligence New York, NY: Cambridge University Press, 1988.

Roch, Elaine. Artificial Intelligence New York, NY: McGraw-Hill, 1991.

  • Wiener, Norbert. Cybernetics: Control and Communication in the Animal and the Machine New York, NY: John Wiley, 1949.
      • Winston, Patrick H. Artificial Intelligence Reading, MA: Addison-Wesley, 1977.
  • Winston, Patrick H. and Brown, Richard H., eds. Artificial Intelligence: An MIT Perspective, Cambridge, MA: MIT Press, 1979, 1984. 2 Vols., Second Edition.


Communications

  • Cole, Robert. Computer Communications, New York, NY: Springer-Verlag, 1987. Second Edition.
    • Comer, Douglas. Internetworking with TCP/IP Englewood Cliffs, NJ: Prentice Hall, 1988.

Jennings, F. Practical Data Communications: Modems, Networks, and Protocols Boston, MA: Blackwell Science, 1986.

  • Stallings, William. Tutorial: Computer Communications, Architectures, Protocols, and Standards Los Angeles, CA: IEEE Computer Society, 1985.


Mathematical Typography

Abrahams, Paul W. eXfor the Impatient Reading, MA: Addison-Wesley, 1990.

Buerger, David J. aTeXfor Scientists and Engineers New York, NY: McGraw-Hill, 1990.

Doob, Michael. A Gentle Introduction to eX Providence, RI: eXUsers Group, 1990.

Knuth, Donald E. The METAFONTbook Reading, MA: Addison-Wesley, 1986.

    • Knuth, Donald E. The eX Book Reading, MA: Addison-Wesley, 1986.
  • Spivak, Michael D. The Joy of eX : A Gourmet Guide to Typesetting with the AMS-eXMacro Package, Providence, RI: American Mathematical Society, 1986, 1990. Second Edition.


Software Engineering

  • Booch, Grady. Software Engineering with Ada, Redwood City, CA: Benjamin Cummings, 1983, 1987. Second Edition.

Brown, C. Marlin. Human-Computer Interface Design Guidelines Norwood, NJ: Ablex, 1988.

Brown, Judith R. and Cunningham, Steve. Programming the User Interface New York, NY: John Wiley, 1989.

  • Gries, David. The Science of Programming New York, NY: Springer-Verlag, 1981.

Liskov, Barbara and Guttag, John. Abstraction and Specification in Program Development Cambridge, MA: MIT Press, 1986.

  • Pressman, R. Software Engineering: A Practitioner's Approach New York, NY: McGraw-Hill, 1987.

Shneiderman, Ben. Designing the User Interface Reading, MA: Addison-Wesley, 1987.

  • Sommerville, Ian. Software Engineering, Reading, MA: Addison-Wesley, 1985. Second Edition.

Wells, Timothy D. A Structured Approach to Building Programs: Pascal Englewood Cliffs, NJ: Yourdon Press, 1987.


Automata

Bavel, Zamir. Introduction to the Theory of Automata Englewood Cliffs, NJ: Reston, 1983.

Codd, E.F. Cellular Automata New York, NY: Academic Press, 1968.

  • Eilenberg, Samuel. Automata, Languages, and Machines, New York, NY: Academic Press, 1974, 1976. 2 Vols.
      • Hopcroft, John E. and Ullman, Jeffrey D. Introduction to Automata Theory, Languages, and Computation Reading, MA: Addison-Wesley, 1979.
  • Minsky, Marvin. Computation: Finite and Infinite Machines Englewood Cliffs, NJ: Prentice Hall, 1967.

Salomaa, Arto. Computation and Automata New York, NY: Cambridge University Press, 1985.

  • Savitch, Walter J. Abstract Machines and Grammars Waltham, MA: Little, Brown, 1982.

Toffoli, Tommaso and Margolus, Norman. Cellular Automata Machines: A New Environment for Modeling Cambridge, MA: MIT Press, 1987.


Compilers and Translators

      • Aho, Alfred V.; Sethi, Ravi; and Ullman, Jeffrey D. Compilers: Principles, Techniques, and Tools Reading, MA: Addison-Wesley, 1978, 1986. (Former title: Principles of Compiler Design.)
  • Calingaert, Peter. Program Translation Fundamentals: Methods and Issues Rockville, MD: Computer Science Press, 1988.

Davie, A.J.T. Recursive Descent Compiling New York, NY: Halsted Press, 1981.

      • Fischer, Charles N. and LeBlanc, Richard J., Jr. Crafting a Compiler Redwood City, CA: Benjamin Cummings, 1988.

Terry, Patrick D. Programming Language Translation: A Practical Approach Reading, MA: Addison-Wesley, 1987.

    • Tremblay, Jean-Paul. Theory and Practice of Compiler Writing New York, NY: McGraw-Hill, 1985.

Waite, William M. and Goos, Gerhard. Compiler Construction New York, NY: Springer-Verlag, 1984.

Zarrella, John. Language Translators Suisun City, CA: Microcomputer Applications, 1982.


Computer Architecture

  • Booth, Taylor L. Digital Networks and Computer Systems, New York, NY: John Wiley, 1971, 1978. Second Edition.

Chinitz, M. Paul. The Logic Design of Computers: An Introduction Indianapolis, IN: Howard W. Sams, 1981.

  • Evans, David J., ed. Parallel Processing Systems New York, NY: Cambridge University Press, 1982.

Foster, Caxton C. Computer Architecture, New York, NY: Van Nostrand Reinhold, 1976, 1985. Third Edition.

Friedman, Arthur D. Fundamentals of Logic Design and Switching Theory Rockville, MD: Computer Science Press, 1986.

Gorsline, G.W. Computer Organization: Hardware/Software, Englewood Cliffs, NJ: Prentice Hall, 1986. Second Edition.

  • Hill, Fredrick J. and Peterson, Gerald R. Digital Systems: Hardware Organization and Design, New York, NY: John Wiley, 1978. Second Edition.
  • Lazou, Christopher. Supercomputers and their Use, New York, NY: Clarendon Press, 1988. Revised Edition.

Shiva, Sajjan G. Computer Design and Architecture Waltham, MA: Little, Brown, 1985.

  • Siewiorek, Daniel P.; Bell, C. Gordon; and Newell, Allen. Computer Structures: Principles and Examples New York, NY: McGraw-Hill, 1982.
    • Stallings, William. Computer Organization and Architecture: Principles of Structure and Function New York, NY: Macmillan, 1987.
      • Tanenbaum, Andrew S. Structured Computer Organization, Englewood Cliffs, NJ: Prentice Hall, 1976, 1989. Third Edition.
    • Ward, Stephen A. and Halstead, Robert H., Jr. Computation Structures Cambridge, MA: MIT Press, 1990.

Williams, Charles S. Designing Digital Filters Englewood Cliffs, NJ: Prentice Hall, 1986.


Computer Graphics

Bartels, Richard H.; Beatty, John C.; and Barsky, Brian A. An Introduction to Splines for Use in Computer Graphics and Geometric Modeling San Mateo, CA: Morgan Kaufmann, 1987.

Enderle, G.; Kansy, K.; and Pfaff, G. Computer Graphics Programming: GKS---The Graphics Standard, New York, NY: Springer-Verlag, 1984, 1987. Second Revised Edition.

    • Fiume, Eugene L. The Mathematical Structure of Raster Graphics New York, NY: Academic Press, 1989.
      • Foley, James D., et al. Computer Graphics: Principles and Practice Reading, MA: Addison-Wesley, 1990.

Friedhoff, Richard M. and Benzon, William. The Second Computer Revolution: Visualization New York, NY: W.H. Freeman, 1989.

  • Glassner, Andrew, ed. Graphics Gems New York, NY: Academic Press, 1990.
    • Glassner, Andrew. An Introduction to Ray Tracing New York, NY: Academic Press, 1989.
  • Hearn, Donald and Baker, Pauline. Computer Graphics Englewood Cliffs, NJ: Prentice Hall, 1986.

Hegron, Gerard. Image Synthesis: Elementary Algorithms Cambridge, MA: MIT Press, 1988.

Hopgood, F.R.A., et al. Introduction to the Graphical Kernel System (GKS), New York, NY: Academic Press, 1986. Second Edition.

  • Nielson, Gregory M., et al. Visualization in Scientific Computing Los Angeles, CA: IEEE Computer Society, 1990.
  • Pavlidis, Theo. Algorithms for Graphics and Image Processing Rockville, MD: Computer Science Press, 1982.

Pokorny, Cornel K. and Gerald, Curtis F. Computer Graphics: The Principles Behind the Art and Science Irvine, CA: Franklin, Beedle and Associates, 1989.

Rogers, David F. and Adams, J. Alan. Mathematical Elements for Computer Graphics, New York, NY: McGraw-Hill, 1976, 1990. Second Edition.

    • Watt, Alan. Fundamentals of Three Dimensional Computer Graphics Reading, MA: Addison-Wesley, 1990.


Information Theory

Cadzow, James A. Foundations of Digital Signal Processing and Data Analysis New York, NY: Macmillan, 1987.

Cattermole, Kenneth W. and O'Reilly, John J., eds. Problems of Randomness in Communication Engineering New York, NY: John Wiley, 1984.

  • Chambers, William G. Basics of Communications and Coding New York, NY: Oxford University Press, 1985.
    • Jones, D.S. Elementary Information Theory New York, NY: Clarendon Press, 1979.
  • Oberman, R.M.M. Digital Circuits for Binary Arithmetic New York, NY: John Wiley, 1979.

Rader, James H. and McClellan, Charles M. Number Theory in Digital Signal Processing Englewood Cliffs, NJ: Prentice Hall, 1979.

    • Renyi, Alfred. A Diary on Information Theory New York, NY: John Wiley, 1987.
      • Shannon, Claude E. and Weaver, Warren. The Mathematical Theory of Communication Champaign, IL: University of Illinois Press, 1949.

Also on Fandom

Random wikia