Skip to main content

Box 2

 Container

Contains 17 Results:

Griffiths, Patricia, lecture on 'Synver: A System for the Automatic Synthesis and Verification of Synchronous Processes', March 5, 1975

 Item — Box: 2
Scope and Contents From the Collection: The Computer Science Videotape Collection contains over 400 videos of compelling lectures, discussions, classes, and demonstrations led by computer science pioneers from Carnegie Mellon University, private industry and other academic institutions. The videos were recorded between 1970 and 1993 and feature more than 20 Turing Award winners, as well as many under-recognized scientists and practitioners. Topics range from artificial intelligence, computer graphics, and robotics, to nascent...
Dates: March 5, 1975

Berkeley, Edmund, lecture on 'Computers and Their Side Effects' part 2, April 4, 1973

 Item — Box: 2
Scope and Contents From the Collection: The Computer Science Videotape Collection contains over 400 videos of compelling lectures, discussions, classes, and demonstrations led by computer science pioneers from Carnegie Mellon University, private industry and other academic institutions. The videos were recorded between 1970 and 1993 and feature more than 20 Turing Award winners, as well as many under-recognized scientists and practitioners. Topics range from artificial intelligence, computer graphics, and robotics, to nascent...
Dates: April 4, 1973

Berliner, Hans, lecture on 'Domain Dependence Information in Tree Searching', from the 10th Anniversary Symposium, October 7, 1975

 Item — Box: 2
Scope and Contents From the Collection: The Computer Science Videotape Collection contains over 400 videos of compelling lectures, discussions, classes, and demonstrations led by computer science pioneers from Carnegie Mellon University, private industry and other academic institutions. The videos were recorded between 1970 and 1993 and feature more than 20 Turing Award winners, as well as many under-recognized scientists and practitioners. Topics range from artificial intelligence, computer graphics, and robotics, to nascent...
Dates: October 7, 1975

Blum, Manuel, lecture on 'Speedup Theorem' part 1, October 21, 1971

 Item — Box: 2
Scope and Contents From the Collection: The Computer Science Videotape Collection contains over 400 videos of compelling lectures, discussions, classes, and demonstrations led by computer science pioneers from Carnegie Mellon University, private industry and other academic institutions. The videos were recorded between 1970 and 1993 and feature more than 20 Turing Award winners, as well as many under-recognized scientists and practitioners. Topics range from artificial intelligence, computer graphics, and robotics, to nascent...
Dates: October 21, 1971

Kriebel, Charles, lecture on 'Management Information Systems', from the Colloquium, April 18, 1973

 Item — Box: 2
Scope and Contents From the Collection: The Computer Science Videotape Collection contains over 400 videos of compelling lectures, discussions, classes, and demonstrations led by computer science pioneers from Carnegie Mellon University, private industry and other academic institutions. The videos were recorded between 1970 and 1993 and feature more than 20 Turing Award winners, as well as many under-recognized scientists and practitioners. Topics range from artificial intelligence, computer graphics, and robotics, to nascent...
Dates: April 18, 1973

Reddy, Raj, lecture on 'Speed-Up Factors of a Million', from the 10th Anniversary Symposium, October 7, 1975

 Item — Box: 2, Object: A0000010
Scope and Contents From the Collection: The Computer Science Videotape Collection contains over 400 videos of compelling lectures, discussions, classes, and demonstrations led by computer science pioneers from Carnegie Mellon University, private industry and other academic institutions. The videos were recorded between 1970 and 1993 and feature more than 20 Turing Award winners, as well as many under-recognized scientists and practitioners. Topics range from artificial intelligence, computer graphics, and robotics, to nascent...
Dates: October 7, 1975

Hunt, H., lecture on 'Hard Predictions [?] for the Regular [?] Sets', March 16, 1973

 Item — Box: 2
Scope and Contents From the Collection: The Computer Science Videotape Collection contains over 400 videos of compelling lectures, discussions, classes, and demonstrations led by computer science pioneers from Carnegie Mellon University, private industry and other academic institutions. The videos were recorded between 1970 and 1993 and feature more than 20 Turing Award winners, as well as many under-recognized scientists and practitioners. Topics range from artificial intelligence, computer graphics, and robotics, to nascent...
Dates: March 16, 1973