- 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.
Search results
Showing 41 to 50 of 266 (0.014 seconds)| 41 |
Volterra series : modelling limitationsBoaghe, Otilia M. January 2000 (has links)
No description available.
|
| 42 |
Computing with changing logic programsHayashi, Hisashi January 2001 (has links)
No description available.
|
| 43 |
Parallel performance analysis of large Markov modelsKnottenbelt, William John January 2000 (has links)
No description available.
|
| 44 |
The LNS and its application in a high-performance matrix processorChester, E. I. January 2002 (has links)
No description available.
|
| 45 |
Formal specifications for digital systemsHarman, Neal Andrew January 1989 (has links)
No description available.
|
| 46 |
Compositional logic programmingMcPhee, Richard January 2000 (has links)
No description available.
|
| 47 |
On semantic and type-theoretic aspects of polynomial-time computabilityMurawski, Andrzej S. January 2001 (has links)
No description available.
|
| 48 |
Logic minimization algorithms for three-level AND-OR-EXOR representationsJabir, Abusaleh M. January 2001 (has links)
No description available.
|
| 49 |
Quantum programmingZuliani, Paolo January 2001 (has links)
No description available.
|
| 50 |
Data independence in the model checking of security protocolsBroadfoot, Philippa J. January 2001 (has links)
No description available.
|
Page generated in 0.0204 seconds