• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 61889
  • 6049
  • 5658
  • 3724
  • 3465
  • 2322
  • 2322
  • 2322
  • 2322
  • 2322
  • 2309
  • 1227
  • 1148
  • 643
  • 535
  • Tagged with
  • 103873
  • 45535
  • 28971
  • 20566
  • 18013
  • 12480
  • 11008
  • 10857
  • 9121
  • 8524
  • 7166
  • 6425
  • 6297
  • 6204
  • 6068
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
261

Formal Analysis of Network Protocol Security

Hsu, Yating 15 December 2011 (has links)
No description available.
262

Efficient Sparse Matrix Vector Multiplication for Structured Grid Representation

Balasubramanian, Deepan Karthik 26 June 2012 (has links)
No description available.
263

Parallelization of a Dissipative Particle Dynamics Application in a Partitioned Global Address Space Environment

Saanthalingam, 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