Skip to main content
Elsevier

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.

  • Classical Recursion Theory

    The Theory of Functions and Sets of Natural Numbers
    • 1st Edition
    • Volume 125
    • P. Odifreddi
    • English
    1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

  • Practical Parallel Programming

    • 1st Edition
    • Barr E. Bauer
    • English
    This is the book that will teach programmers to write faster, more efficient code for parallel processors. The reader is introduced to a vast array of procedures and paradigms on which actual coding may be based. Examples and real-life simulations using these devices are presented in C and FORTRAN.

  • Mechanical Intelligence

    • 1st Edition
    • Volume 1
    • D.C. Ince
    • 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.

  • Pure Mathematics

    • 1st Edition
    • Volume 2
    • J.L. Britton
    • 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.

  • All-in-1

    A Technical Odyssey
    • 1st Edition
    • Tony Redmond
    • English
    All-in-1

  • VAX/VMS

    Operating System Concepts
    • 1st Edition
    • David Donald Miller
    • English
    VAX/VMS

  • From Memex To Hypertext

    • 1st Edition
    • James M. Nyce + 1 more
    • English
    Vannevar Bush, the engineer who designed the world's most powerful analog computer, predicted the development of a new kind of computing machine he called Memex. For many computer and information scientists, Bush's Memex has been the prototype for a machine to help people think. This book contains Bush's essays, and original essays by academic and commerical researchers relating the state of art in personal computing, hypertext and information retrieval software to bush's ideas and Memex.

  • The Art of Programming Embedded Systems

    • 1st Edition
    • Jack Ganssle
    • English
    Embedded systems are products such as microwave ovens, cars, and toys that rely on an internal microprocessor. This book is oriented toward the design engineer or programmer who writes the computer code for such a system. There are a number of problems specific to the embedded systems designer, and this book addresses them and offers practical solutions.

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 82
    • English

  • Decentralized A.I., 2

    • 1st Edition
    • Y. Demazeau + 1 more
    • English
    The purpose of this proceedings is to stimulate exchange and discussion of research in the field of multi-agent systems. A multi-agent system consists of at least two agents that are engaged in some task that may require coordination, cooperation and/or competition. An autonomous agent has its own goals, capabilities and knowledge. The actions of an agent occur in the context of other agents that may have structures and strategies different from the agent's own. Multi-agent problems arise when several autonomous agents share a common environment. These problems may result from limited resources, shared or competing goals, etc. This MAAMAW workshop proceedings emphasizes multi-agent systems of all sorts from very simple to very complex agents and agent organizations.

Related subjects