Catalog Search

Punch Cards

Catalog Search is a powerful resource for researchers, students and history enthusiasts. The museum's collection holds more than 100,000 items including hardware, ephemera, photographs, moving images, documents and software artifacts.

Search the Catalog

Catalog contains over 138,240 records.

Result 1-20 of about 1492

Technical Reports

Text
102719591

TLC LISP 1.51

Software, 1983
102719820

Multiprocessor Systems
Infotech
Text, 1976
102719713

Virtual Storage
Infotech
Text, 1976
102719720

Learning LISP
Prentice-Hall
Text, 1984
102719787

Classika/D3 Expert System Shell
Universität Karlsruhe (University of Karlsruhe)
Software, 1990
102716451

Structured Programming
Infotech
Text, 1976
102719714

Program Optimization
Infotech
Text, 1976
102719719

Beweistheorie [Proof theory]
Springer-Verlag
Text, 1960
102719733

Let's Talk LISP
Prentice-Hall
Text, 1976
102719788

LISP 1.5 Primer
PWS Publishers
Text, 1967
102719795

Le_Lisp de l'INRIA
ACT Informatique
Software, 1985
102716443

S.1 Users Guide (Preliminary)
Teknowledge Corporation
Text, 1984-06
102719325

Tektronix promotional materials
Tektronix
Text
102720322

Datalogilaboratoriet 1974 [Computer Science Laboratory 1974]
Uppsala University
Text, 1974
102720803

Verify / Prover

Text
102720269

Artificial Intelligence
Massachusetts Institute of Technology (MIT)
Text, 1959
102720505

MACSYMA

Text, 1972-1984
102720334

LISP 1.5 Programmer's Manual, Errata
Massachusetts Institute of Technology (MIT)
Text, 1963
102720598