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.

  • Topics in the Theory of Computation

    • 1st Edition
    • Volume 24
    • January 1, 1985
    • M. Karpinski + 1 more
    • English
    This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area.These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.
  • Decision and Control in Uncertain Resource Systems

    • 1st Edition
    • Volume 172
    • December 14, 1984
    • Mangel
    • English
  • Bilinear Transformation Method

    • 1st Edition
    • Volume 174
    • September 6, 1984
    • Matsuno
    • English
  • Computational Methods for Optimizing Distributed Systems

    • 1st Edition
    • Volume 173
    • August 21, 1984
    • Charles Teo
    • English
    Optimal control theory of distributed parameter systems has been a very active field in recent years; however, very few books have been devoted to the studiy of computational algorithms for solving optimal control problems. For this rason the authors decided to write this book. Because the area is so broad, they confined themselves to optimal control problems involving first and second boundary-value problems of a linear second-order parabolic partial differential equation. However the techniques used are by no means restricted to these problems. They can be and in some cases already have been applied to problems involving other types of distributed parameter system. The authors aim is to devise computational algorithms for solving optimal control problems with particular emphasis on the mathematical theory underlying the algorithms. These algorithms are obtained by using a first-order strong variational method or gradient-type methods.
  • Common LISP

    The Language
    • 2nd Edition
    • June 15, 1984
    • Guy Steele
    • English
    The defacto standard - a must-have for all LISP programmers.In this greatly expanded edition of the defacto standard, you'll learn about the nearly 200 changes already made since original publication - and find out about gray areas likely to be revised later. Written by the Vice- Chairman of X3J13 (the ANSIcommittee responsible for the standardization of Common Lisp) and co-developer of the language itself, the new edition contains the entire text of the first edition plus six completely new chapters. They cover: - CLOS, the Common Lisp Object System, with new features to support function overloading and object-oriented programming, plus complete technical specifications * Loops, a powerful control structure for multiple variables * Conditions, a generalization of the error signaling mechanism * Series and generators * Plus other subjects not part of the ANSI standards but of interest to professional programmers. Throughout, you'll find fresh examples, additional clarifications, warnings, and tips - all presented with the author's customary vigor and wit.
  • Advances in Computers

    • 1st Edition
    • Volume 23
    • May 1, 1984
    • English
  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 62
    • March 1, 1984
    • English
  • Generalized Functions: Theory and Technique

    • 1st Edition
    • Volume 171
    • December 1, 1983
    • Kanwal
    • English
  • Proceedings 1983 VLDB Conference

    9th International Conference on Very Large Data Bases
    • 1st Edition
    • December 1, 1983
    • VLDB
    • English
  • Volterra Integral and Differential Equations

    • 1st Edition
    • Volume 167
    • November 4, 1983
    • Burton
    • English