226 - 250 of 1,082
Number of results to display per page
TitleDateTypeSetname
226 Comparing program logics for reasoning about safety properties2010-10-06Text; Imageir_uspace
227 Compiling distributed C++1994Textir_uspace
228 Complexity of computing topological degree of Lipschitz functions in n dimensions1986Textir_uspace
229 Composable consistency for large-scale peer replication2003-11-14Textir_uspace
230 Compositionally modular Scheme1995Textir_uspace
231 Computational field visualization2001Textir_uspace
232 Computational sensor networks2007Textir_uspace
233 Computational steering and the SCIRun integrated problem solving environment1997Textir_uspace
234 Computer aided design1984Textir_uspace
235 Computer aided geometric design1973Textir_uspace
236 Computer display of curved surfaces1971Textir_uspace
237 Computer display of curved surfaces1978Textir_computersa
238 Computer graphics approach for understanding prosthetic heart valve characteristics1972-06Textir_computersa
239 Computer Illustration of Three Dimensional Sculptured Surfaces1990-08Textir_computersa
240 Computer-Aided Geometric Design Based Three-Dimensional Object Representations For Computer Vision1988-12Textir_computersa
241 Computing hulls in positive definite space2010-10-06Text; Imageir_uspace
242 Computing morse-smale complexes with accurate geometry2012-01-01Textir_uspace
243 Computing offsets and tool paths with Voronoi diagrams1989Textir_uspace
244 Concurrent engineering and robot prototyping1993Textir_uspace
245 Concurrent Scheme1990Textir_uspace
246 Concurrent scheme, a language for concurrent symbolic computing1991-05Textir_computersa
247 Conforming Morse-Smale complexes2014-01-01Textir_uspace
248 CONSIM: a converstional simulation language implemented through interpretive control self-modeling1977Textir_uspace
249 Consistency and currency in functional databases1982Textir_uspace
250 Consistent Geometric Modeling Approaches1993Textir_computersa
226 - 250 of 1,082