Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- bookJanuary 1995
201 principles of software development
From the Preface
If software engineering is really an engineering discipline, it is the intelligent application of proven principles, techniques, languages, and tools to the cost-effective creation and maintenance of software that satisfies users' ...
- bookJanuary 1992
Macintosh human interface guidelines
Macintosh Human Interface Guidelines describes the way to create products that optimize the interaction between people and Macintosh computers. It explains the whys and hows of the Macintosh interface in general terms and specific details.
Macintosh ...
- bookJanuary 1990
The relational model for database management: version 2
From the Preface (See Front Matter for full Preface)
An important adjunct to precision is a sound theoretical foundation. The relational model is solidly based on two parts of mathematics: firstorder predicate logic and the theory of relations. This ...
- bookJanuary 1989
Essays in computing science
Charles Antony Richard Hoare is one of the most productive and prolific computer scientists. This volume contains a selection of his published papers. There is a need, as in a Shakespearian Chorus, to offer some apology for what the book manifestly ...
- bookJanuary 1983
Artificial intelligence
The goal of this book is to provide programmers and computer scientists with a readable introduction to the problems and techniques of artificial intelligence (A.I.). The book can be used either as a text for a course on A.I. or as a self-study guide ...
- bookJanuary 1983
Smalltalk-80: the language and its implementation
From the Preface (See Front Matter for full Preface)
Advances in the design and production of computer hardware have brought many more people into direct contact with computers. Similar advances in the design and production of computer software are ...
- bookJanuary 1982
Cryptography and data security
From the Preface (See Front Matter for full Preface)
Electronic computers have evolved from exiguous experimental enterprises in the 1940s to prolific practical data processing systems in the 1980s. As we have come to rely on these systems to process ...
- bookJanuary 1982
Writing efficient programs
The primary task of software engineers is the cost-effective development of maintainable and useful software. There are many secondary problems lurking in that definition. One such problem arises from the term "useful": to be useful in the application ...
- bookJanuary 1982
Selected writings on computing: a personal perspective
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the ...
- bookJanuary 1980
Mindstorms: children, computers, and powerful ideas
The Gears of My Childhood
Before I was two years old I had developed an intense involvement with automobiles. The names of car parts made up a very substantial portion of my vocabulary: I was particularly proud of knowing about the parts of the ...
- bookJanuary 1979
- bookJanuary 1978
Anatomy of LISP
This text is nominally about LISP and data structures. However, in the process it covers much broader areas of computer science. The author has long felt that the beginning student of computer science has been getting' a distorted and disjointed picture ...
- bookJanuary 1977
The architecture of concurrent programs
From the Preface
CONCURRENT PROGRAMMING
This book describes a method for writing concurrent computer programs of high quality. It is written for professional programmers and students who are faced with the complicated task of building reliable computer ...
- January 1974
PASCAL user manual and report
- Kathleen Jensen,
- Niklaus Wirth,
- P. Brinch Hansen,
- D. Gries,
- C. Moler,
- G. Seegmüller,
- N. Wirth,
- G. Goos,
- J. Hartmanis
This manual is directed to those who have previously acquired some programming skill. The intention is to provide a means of learning Pascal without outside guidance. It is based on The Programming Language Pascal (Revised Report) [1]--the basic ...
- bookJanuary 1974
Compiler construction: an advanced course
- F. L. Bauer,
- F. L. De Remer,
- M. Griffiths,
- U. Hill,
- J. J. Horning,
- C. H. A. Koster,
- W. M. McKeeman,
- P. C. Poole,
- W. M. Waite,
- J. Eickel,
- G. Goos,
- J. Hartmanis
The Advanced Course took place from March 4 to 15, 1974 and was organized by the Mathematical Institute of the Technical University of Munich and the Leibniz Computing Center of the Bavarian Academy of Sciences, in co-operation with the European ...
- bookJanuary 1973
Operating system principles
From the Preface
MAIN GOAL
This book tries to give students of computer science and professional programmers a general understanding of operating systems--the programs that enable people to share computers efficiently.
To make the sharing of a computer ...
- bookJanuary 1972
The theory of parsing, translation, and compiling
From volume 1 Preface (See Front Matter for full Preface)
This book is intended for a one or two semester course in compiling theory at the senior or graduate level. It is a theoretically oriented treatment of a practical subject. Our motivation for ...
- bookJanuary 1972
Structured programming
In recent years there has been an increasing interest in the art of computer programming, the conceptual tools available for the design of programs, and the prevention of programming oversights and error. The initial outstanding contribution to our ...
- bookJanuary 1972
The multics system: an examination of its structure
This volume provides an overview of the Multics system developed at M.I.T.--a time-shared, general purpose utility like system with third-generation software. The advantage that this new system has over its predecessors lies in its expanded capacity to ...