2,289 results in SearchWorks catalog

Online 1. Computer Science at Stanford; the impact of the first ten years : video tapes, 26-28 March 1987 [1987]

Stanford University. Computer Science Department.

Description: Archive/Manuscript — 8 cassettes: col; 3/4 in., 4 cassettes: col; VHS
Finding aid: Online Archive of California
Collection: Computer Science at Stanford

Special Collections

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Finding Aid (opens in new tab)
V0045	In-library use

2. Computational understanding : analysis of sentences and context [1974]

Description: Book

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024437	In-library use
024437	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024437	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024437	In-library use

3. Two papers on the selection problem : Time bounds for selection, by Manual Blum ... [et al] and Expected time bounds for selection by Robert W. Floyd and Ronald L. Rivest [1973]

Stanford University. Computer Science Department.
Stanford : Stanford University, 1973.

Description: Book — 22, 29 pages : illustrations ; 28 cm.

SAL3 (off-campus storage), Special Collections

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024349	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024349	In-library use

4. A program of research in mathematical theory of computation

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
004823	Available

5. A systems programming language for the PDP 11.

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
028027	Available

6. XALGOL system

Description: Book

SAL3 (off-campus storage)

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
003239	Available

Online 7. Automatic programming [1972]

Description: Book
Collection: Stanford Artificial Intelligence Laboratory records, 1963-2009 Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024255	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024255	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024255	In-library use

Online 8. An algebraic definition of simulation between programs [1971]

Description: Book
Collection: Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024205	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024205	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024205	In-library use

9. Computer comparison of pictures [1971]

Description: Book

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024219	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024219	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024219	In-library use

Online 10. Correctness of two compilers for a LISP subset [1971]

Description: Book
Collection: Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024240	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024240	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024240	In-library use

Online 11. Decidable properties of monadic functional schemas [1971]

Description: Book
Collection: Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024217	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024217	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024217	In-library use

Online 12. The frame problem and related problems on artificial intelligence [1971]

Description: Book
Collection: Stanford Artificial Intelligence Laboratory records, 1963-2009 Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024242	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024242	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024242	In-library use

13. Heuristic analysis of large trees as generated in the game of go. [1971]

Description: Book

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024245	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024245	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024245	In-library use

Online 14. A heuristic programming study of theory formation in science [1971]

Description: Book
Collection: Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024221	In-library use

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024221	In-library use

15. Inductive methods for proving properties of programs [1971]

Description: Book

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024243	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024243	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024243	In-library use

16. On the inference of turing machines from sample computations [1971]

Description: Book

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024241	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024241	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024241	In-library use

Online 17. One small head -- some remarks on the use of 'model' in linguistics [1971]

Description: Book
Collection: Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024247	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024247	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024247	In-library use

Online 18. Parallel programming [1971]

Description: Book
Collection: Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024224	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024224	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024224	In-library use

Online 19. Program schemas with equality [1971]

Description: Book
Collection: Stanford Artificial Intelligence Laboratory records, 1963-2009 Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024250	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024250	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024250	In-library use

Online 20. Project technical report [1971]

Description: Book
Collection: Stanford University, Department of Computer Science, Technical Reports

Also online at

library.stanford.edu

Media & Microtext Center, SAL3 (off-campus storage), Special Collections

Status of items at Media & Microtext Center
Media & Microtext Center	Status
Find it Microfiche collection C
024209	In-library use

Status of items at SAL3 (off-campus storage)
SAL3 (off-campus storage)	Status
Stacks	Request (opens in new tab)
024209	Available

Status of items at Special Collections
Special Collections	Status
University Archives	Request via Aeon (opens in new tab)
024209	In-library use

Refine your results

Access

Resource type

Date

Library

Language

Author

Call number

Topic

Genre

Region

Organization (as author)

2,289 catalog results

Online 1. Computer Science at Stanford; the impact of the first ten years : video tapes, 26-28 March 1987 [1987]

2. Computational understanding : analysis of sentences and context [1974]

3. Two papers on the selection problem : Time bounds for selection, by Manual Blum ... [et al] and Expected time bounds for selection by Robert W. Floyd and Ronald L. Rivest [1973]

4. A program of research in mathematical theory of computation