- 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 261 to 270 of 1588 (0.025 seconds)Spelling suggestions: "subject:"heorem"" "subject:"atheorem""
| 261 |
A fast algorithm for multiplicative inversion in GF(2m) using normal basis高木, 直史, Takagi, Naofumi 05 1900 (has links)
No description available.
|
| 262 |
A computer model for axiomatic systemsIbrahim, Rosalind L January 1977 (has links)
Typescript. / Thesis (Ph. D.)--University of Hawaii at Manoa, 1977. / Bibliography: leaves 172-175. / Microfiche. / vii, 175 leaves ill
|
| 263 |
Automated reasoning and machine learningHuang, Guoxiang January 1996 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 1996. / Includes bibliographical references (leaves 140-144). / Microfiche. / x, 144 leaves, bound ill. 29 cm
|
| 264 |
Combining advanced formal hardware verification techniquesReeber, Erik Henry, January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2007. / Vita. Includes bibliographical references.
|
| 265 |
Modeling a non-homogeneous Markov process via time transformation /Hubbard, Rebecca Allana. January 2007 (has links)
Thesis (Ph. D.)--University of Washington, 2007. / Vita. Includes bibliographical references (p. 177-191).
|
| 266 |
Central limit theorems for exchangeable random variables when limits are mixtures of normals /Jiang, Xinxin. January 2001 (has links)
Thesis (Ph.D.)--Tufts University, 2001. / Adviser: Marjorie G. Hahn. Submitted to the Dept. of Mathematics. Includes bibliographical references (leaves44-46). Access restricted to members of the Tufts University community. Also available via the World Wide Web;
|
| 267 |
Generalization, lemma generation, and induction in ACL2Erickson, John D., January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2008. / Vita. Includes bibliographical references.
|
| 268 |
Bisimulation quantifiers for modal logics /French, Timothy Noel. January 2006 (has links)
Thesis (Ph.D.)--University of Western Australia, 2006.
|
| 269 |
Properties of non-equilibrium states dense colloidal suspensions under steady shearingKrüger, Matthias Helmut Günter January 2009 (has links)
Zugl.: Konstanz, Univ., Diss., 2009
|
| 270 |
Einkommensverteilung in Entwicklungsländern spielt Handel eine Rolle? /Wegenast, Tim Christian. January 2003 (has links)
Konstanz, Univ., Diplomarb., 2003.
|
Page generated in 0.0309 seconds