Discrete mathematics for computer scientists (engelsk)

The Cambridge Distributed Computing System

R.M. Needham

UNIX for super-users

Eric Foxley

Microcomputers in engineering and science

J. Ffynlo Craine

Software engineering

I Sommerville

Office automation : concepts, technologies and issues

R.A. Hirschheim

Locla area network design

Andrew Hopper

Programming language translation : a practical approach

Patrick D. Terry

Modula-2 : discipline & design

Arthur Sale

Introduction to expert systems

Peter Jackson (1948-)

Data Abstraction in Programming Languages

Judy Bishop (1957-)

System Simulation : Programming Styles and Languages

Wolfgang Kreutzer

Software specification techniques

Andrew D. McGettrick (1944-)

The UNIX system V environment

S.R. Bourne

Software development with Ada

Ian Sommerville

An Introduction to Programming with Modula-2

Patrick D. Terry

Text Processing and Typesetting with UNIX

David Barron

Logic programming and knowledge engineering

Tore Amble (1945-)

UNIX system programming

Keith Haviland (1958-)

Cost estimation for software development

Bernard Londeix

Performance measurement of computer systems

Phillip McKerrow (1949-)

Distributed systems : Concepts and design

George F. Coulouris

Syntax analysis and software tools

K. John Gough (1942-)

Concurrent programming

Narain Gehani

The theory of computability : programs, machines, effectiveness and feasibility

R Sommerhalder

Functional Programming

Anthony J. Field

Local Area Network Architectures

D Hutchison

Elements of functional programming

C Reade

Interactive computer graphics : Functional, procedural and device-level methods

P Burger

Common LISP programming for artificial intelligence

Tony Hasemer

Programming in ADA

J.G.P. Barnes

Software development with Modula-2

D Budgen

An introduction to functional programming through Lambda calculus

Greg Michaelson

Program derivation : the development of programs from specifications

R. Geoff Dromey (1946-)

Clausal form logic : an introduction to the logic of computer reasoning

Tom Richards (1940-)

Object-oriented programming with Simula

Bjørn Kirkerud

Real-time systems and their programming languages

A Burns

Fortran 77 programming : With an introduction to the Fortran 90 standard

T.M.R. Ellis

The programming process : An introduction using VDM and Pascal

John T. Latham

Logic for Computer Science

Steve Reeves (1957-)

Introduction to expert systems

Peter Jackson

Computer architecture

Mario De Blasi

Prolog : programming for artificial intelligence

Ivan Bratko

Type theory and functional programming

Simon Thompson

Principles of Expert Systems

Peter Lucas

Discrete mathematics for computer scientists

J.K. Truss

Handbook of algorithms and data structures : in Pascal and C

Gaston H. Gonnet

Analysis of Algorithms and Data Structures

Lech Banachowski

Programming for Artificial Intelligence : Methods, Tools and Applications

Wolfgang Kreutzer

Distributed database systems

D Bell

Comparative Programming Languages

Leslie B. Wilson