Skip to main content

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • KADS

    A Principled Approach to Knowledge-Based System Development
    • 1st Edition
    • March 1, 1993
    • English
    KADS is a structured methodology for the development of knowledge based systems which has been adopted throughout the world by academic and industrial professionals alike. KADS approaches development as a modeling activity. Two key characteristics of KADS are the use of multiple models to cope with the complexity of knowledge engineering and the use of knowledge-level descriptions as an immediate model between system design and expertise data. The result is that KADS enables effective KBS construction by building a computational model of desired behavior for a particular problem domain.KADS contains three section: the Theoretical Basis of KADS, Languages and Tools, and Applications. Together they form a comprehensive sourcebook of the how and why of the KADS methodology. KADS will be required reading for all academic and industrial professionals concerned with building knowledge-based systems. It will also be a valuable source for students of knowledge acquisition and KBS.
  • Readings in Groupware and Computer-Supported Cooperative Work

    Assisting Human-Human Collaboration
    • 1st Edition
    • January 13, 1993
    • Ronald M. Baecker
    • English
    This comprehensive introduction to the field represents the best of the published literature on groupware and computer-supported cooperative work (CSCW). The papers were chosen for their breadth of coverage of the field, their clarity of expression and presentation, their excellence in terms of technical innovation or behavioral insight, their historical significance, and their utility as sources for further reading. Taken as a whole, the papers and their introductions are a complete sourcebook to the field. This book will be useful for computer professionals involved in the development or purchase of groupware technology as well as for researchers and managers. It should also serve as a valuable text for university courses on CSCW, groupware, and human-computer interaction.
  • The Mathematics of Inheritance Systems

    • 1st Edition
    • January 1, 1993
    • David S. Touretzky
    • English
  • Parallelism in Production Systems

    • 1st Edition
    • January 1, 1993
    • Anoop Gupta
    • English
  • Automated Generation of Model-Based Knowledge-Acquisition Tools

    • 1st Edition
    • January 1, 1993
    • Mark A. Musen
    • English
  • Intention-Based Diagnosis of Novice Programming Errors

    • 1st Edition
    • January 1, 1993
    • Lewis Johnson
    • English
  • All-In-1

    Integrating Applications in V3.0
    • 1st Edition
    • January 1, 1993
    • John Rhoton
    • English
    All-In-1
  • Scientific Computing with Automatic Result Verification

    • 1st Edition
    • Volume 189
    • December 3, 1992
    • Adams
    • English
  • Morphogenesis

    • 1st Edition
    • Volume 3
    • November 26, 1992
    • P.T. Saunders
    • English
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.
  • Analysis and Control of Nonlinear Infinite Dimensional Systems

    • 1st Edition
    • Volume 190
    • November 26, 1992
    • Barbu
    • English