Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Institutional Repository
Advanced Search
Year
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
TO
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
Type
Text
1,081
Image
16
InteractiveResource
1
Format
application/pdf
1,082
Collection
Computer Science Archive
147
UScholar Works
935
Filters:
Department:
"Computing, School of"
Year Start:
1970
226
-
250
of
1,082
<
5
6
7
8
9
10
11
12
13
14
>
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Date
Type
Setname
226
Comparing program logics for reasoning about safety properties
2010-10-06
Text; Image
ir_uspace
227
Compiling distributed C++
1994
Text
ir_uspace
228
Complexity of computing topological degree of Lipschitz functions in n dimensions
1986
Text
ir_uspace
229
Composable consistency for large-scale peer replication
2003-11-14
Text
ir_uspace
230
Compositionally modular Scheme
1995
Text
ir_uspace
231
Computational field visualization
2001
Text
ir_uspace
232
Computational sensor networks
2007
Text
ir_uspace
233
Computational steering and the SCIRun integrated problem solving environment
1997
Text
ir_uspace
234
Computer aided design
1984
Text
ir_uspace
235
Computer aided geometric design
1973
Text
ir_uspace
236
Computer display of curved surfaces
1971
Text
ir_uspace
237
Computer display of curved surfaces
1978
Text
ir_computersa
238
Computer graphics approach for understanding prosthetic heart valve characteristics
1972-06
Text
ir_computersa
239
Computer Illustration of Three Dimensional Sculptured Surfaces
1990-08
Text
ir_computersa
240
Computer-Aided Geometric Design Based Three-Dimensional Object Representations For Computer Vision
1988-12
Text
ir_computersa
241
Computing hulls in positive definite space
2010-10-06
Text; Image
ir_uspace
242
Computing morse-smale complexes with accurate geometry
2012-01-01
Text
ir_uspace
243
Computing offsets and tool paths with Voronoi diagrams
1989
Text
ir_uspace
244
Concurrent engineering and robot prototyping
1993
Text
ir_uspace
245
Concurrent Scheme
1990
Text
ir_uspace
246
Concurrent scheme, a language for concurrent symbolic computing
1991-05
Text
ir_computersa
247
Conforming Morse-Smale complexes
2014-01-01
Text
ir_uspace
248
CONSIM: a converstional simulation language implemented through interpretive control self-modeling
1977
Text
ir_uspace
249
Consistency and currency in functional databases
1982
Text
ir_uspace
250
Consistent Geometric Modeling Approaches
1993
Text
ir_computersa
226
-
250
of
1,082
<
5
6
7
8
9
10
11
12
13
14
>