Jump to main content

yr 〜
yr

Search results 29

Automatic verification of programs with complex data structures

Automatic verification of programs with complex data structures
Paper図書
Norihisa SuzukiGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Quicksort

Quicksort
Paper図書
Robert SedgewickGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

The application of theorem proving to question-answering systems

The application of theorem proving to question-answering systems
Paper図書
Cordell GreenGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

The analysis of a practical and nearly optimal priority queue

The analysis of a practical and nearly optimal priority queue
Paper図書
Mark Robbin BrownGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Understanding goal-based stories

Understanding goal-based stories
Paper図書
Robert WilenskyGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Linear lists and priority queues as balanced binary trees

Linear lists and priority queues as balanced binary trees
Paper図書
Clark A. CraneGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Machine perception of three-dimensional solids

Machine perception of three-dimensional solids
Paper図書
Lawrence G. RobertsGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Studies in extensible programming languages

Studies in extensible programming languages
Paper図書
Ben WegbreitGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Sketchpad : a man-machine graphical communication system

Sketchpad : a man-machine graphical communication system
Paper図書
Ivan Edward SutherlandGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Axiomatic proof techniques for parallel programs

Axiomatic proof techniques for parallel programs
Paper図書
Susan Speer OwickiGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

A practical formal semantic definition and verification system for TYPED LISP

A practical formal semantic definition and verification system for TYPED LISP
Paper図書
Robert Cartwright, JrGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Reasoning from incomplete knowledge in a procedural deduction system

Reasoning from incomplete knowledge in a procedural deduction system
Paper図書
Robert C. MooreGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Queueing network models of multiprogramming

Queueing network models of multiprogramming
Paper図書
Jeffrey P. BuzenGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Queueing models for computer systems with general service time distributions

Queueing models for computer systems with general service time distributions
Paper図書
Annie W. ShumGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

The Hensel lemma in algebraic manipulation

The Hensel lemma in algebraic manipulation
Paper図書
David Y. Y. YunGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

A processor design for the efficient implementation of APL

A processor design for the efficient implementation of APL
Paper図書
Charles Russell MinterGarland Pub. Co.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Deterministic translation grammars

Deterministic translation grammars
Paper図書
Benjamin Michael BrosgolGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

The metanovel : writing stories by computer

The metanovel : writing stories by computer
Paper図書
James Richard MeehanGarland Pub.1980
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

Predicate-oriented database search algorithms

Predicate-oriented database search algorithms
Paper図書
Dan E. WillardGarland Pub.1979
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences

A data definition facility for programming languages

A data definition facility for programming languages
Paper図書
Thomas A. StandishGarland Pub.1979
Other Libraries in Japan
  • Related MaterialOutstanding dissertations in the computer sciences
  • Periodical TitleOutstanding dissertations in the computer sciences
RSS