WorldCat Identities

Harvard University Center for Research in Computing Technology

Overview
Works: 107 works in 108 publications in 1 language and 103 library holdings
Classifications: QA379,
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
ECL programmer's manual by Harvard University( Book )
2 editions published between 1972 and 1974 in English and held by 3 WorldCat member libraries worldwide
Unsafe operations in B-trees by Harvard University( Book )
1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide
TR ( )
in English and held by 2 WorldCat member libraries worldwide
On the power of probabilistic choice in synchronous parallel computations by Harvard University( Book )
1 edition published in 1982 in English and held by 1 WorldCat member library worldwide
Satisfiability problems for propositional calculi by Harvard University( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
A topological approach to dynamic graph connectivity by Harvard University( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
A dynamic logic of multiprocessing with incomplete information by Harvard University( Book )
1 edition published in 1979 in English and held by 1 WorldCat member library worldwide
Deriving randomized parallel algorithms for selection and sorting by Harvard University( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Universal two person games of incomplete information by Harvard University( Book )
1 edition published in 1979 in English and held by 1 WorldCat member library worldwide
Task management in ADA: a critical evaluation for real time multiprocessors by Harvard University( Book )
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
New data structures for orthogonal queries by Harvard University( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Strong K-connectivity in digraphs and random digraphs by Harvard University( Book )
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Random independence systems by Harvard University( Book )
1 edition published in 1981 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
An incremental approach to resolution based theorem proving by Harvard University( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Efficiency of semi-synchronous versus asynchronous networks by Harvard University( Book )
1 edition published in 1990 in English and held by 1 WorldCat member library worldwide
Cardinalities definable by constant depth polynomial size circuits by Harvard University( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Adapt: ADA distributed application prototyping technique by Harvard University( Book )
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Depth first search is inherently sequential by Harvard University( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.00 for Abstract m ... to 1.00 for Marching a ...)
Alternative Names
Harvard University Center for Research in Computing Technology
Languages
English (23)