WorldCat Identities

Harvard University Center for Research in Computing Technology

Overview
Works: 27 works in 27 publications in 1 language and 21 library holdings
Classifications: QA379, 001.6443
Publication Timeline
.
Most widely held works about Harvard University
 
Most widely held works by Harvard University
Marching algorithms for elliptic boundary value problems by Randolph E Bank( Book )

1 edition published in 1975 in English and held by 4 WorldCat member libraries worldwide

TR( )

in English and held by 2 WorldCat member libraries worldwide

ECL programmer's manual by Harvard University( Book )

1 edition published in 1974 in English and held by 2 WorldCat member libraries worldwide

Computational limitations on learning from examples by Leonard Pitt( Book )

1 edition published in 1986 in English and held by 1 WorldCat member library worldwide

Marching algorithms for elliptic boundary problems II : the non-constant coefficient case by Randolph Edwin Bank( Book )

1 edition published in 1975 in English and held by 1 WorldCat member library worldwide

Applications of interactive computer graphics techniques to transportation problems : final report by Dan Cohen( Book )

1 edition published in 1972 in English and held by 1 WorldCat member library worldwide

Center for research in computing technology by Harvard University( )

in English and held by 1 WorldCat member library worldwide

Arbitrary grammars generating context-free languages by Brenda S Baker( Book )

1 edition published in 1972 in English and held by 1 WorldCat member library worldwide

Harvard network graphics system by Dan Cohen( Book )

1 edition published in 1974 in English and held by 1 WorldCat member library worldwide

HRSTS mathematical languages handbook by Harvard University( Book )

1 edition published in 1974 in English and held by 1 WorldCat member library worldwide

Research directions in programming language semantics and formal program verification by Edmund Clarke( Book )

1 edition published in 1981 in English and held by 1 WorldCat member library worldwide

User-server communication in MSG by William R Bush( Book )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

Abstract model of MSGp : first phase of an experiment in software development by Glenn H Holloway( Book )

1 edition published in 1978 in English and held by 1 WorldCat member library worldwide

PPL user's manual by Edward A Taft( Book )

1 edition published in 1973 in English and held by 1 WorldCat member library worldwide

HRSTS TUG: terminal user's guide by Harvard University( Book )

1 edition published in 1975 in English and held by 0 WorldCat member libraries worldwide

A methodology for verifying request processing protocols( Book )

1 edition published in 1982 in English and held by 0 WorldCat member libraries worldwide

Algebraic optimization of outerjoin queries by Csar Alejandro Galindo-Legaria( Book )

1 edition published in 1992 in English and held by 0 WorldCat member libraries worldwide

A Logarithmic Time Sort for Linear Size Networks. Revised by J. H Reif( Book )

1 edition published in 1982 in English and held by 0 WorldCat member libraries worldwide

We give a randomized algorithm that sorts on an N node network with constant valence in O(log N) time. More particularly the algorithm sorts N items on an N code cube-connected cycles graph and for some constant k for all large enough alpha it terminates within K alpha log N time with probability at least 1-n/alpha
The inference problem for template dependencies by Yuri Gurevich( Book )

1 edition published in 1982 in English and held by 0 WorldCat member libraries worldwide

The use of transformations to implement an algorithm by Judy A Townley( Book )

1 edition published in 1981 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.51 for Marching a ... to 1.00 for HRSTS TUG: ...)

Alternative Names
Harvard University Center for Research in Computing Technology

Languages
English (22)