Spelling suggestions: "subject:"computer."" "subject:"coomputer.""
261 |
Formal Analysis of Network Protocol SecurityHsu, Yating 15 December 2011 (has links)
No description available.
|
262 |
Efficient Sparse Matrix Vector Multiplication for Structured Grid RepresentationBalasubramanian, Deepan Karthik 26 June 2012 (has links)
No description available.
|
263 |
Parallelization of a Dissipative Particle Dynamics Application in a Partitioned Global Address Space EnvironmentSaanthalingam, Karthik Raj 19 July 2012 (has links)
No description available.
|
264 |
Automated techniques for specification and validation of communications protocols /Umbaugh, Lloyd David January 1983 (has links)
No description available.
|
265 |
Generation and management of object description hierarchies for the simplification of image generation /MacDougal, Paul D. (Paul Duncan), January 1984 (has links)
No description available.
|
266 |
A methodology for the collection and evaluation of software error data /Fung, Casey Kin-Chee January 1985 (has links)
No description available.
|
267 |
ADAPT : a generic iconic tool for structural viewing of information /Hartung, Ronald Lee January 1987 (has links)
No description available.
|
268 |
Program inference from example computations represented by memory snapshot traces /Petry, Fredrick Eugene January 1974 (has links)
No description available.
|
269 |
A system for generating three-dimensional data for computer graphics /Parent, Richard Earl January 1977 (has links)
No description available.
|
270 |
A finite domain-testing strategy for computer program testing /Cohen, Edward Ira January 1978 (has links)
No description available.
|
Page generated in 0.0713 seconds