NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 700
  • 332
  • 91
  • 70
  • 39
  • 27
  • 18
  • 16
  • 14
  • 13
  • 11
  • 10
  • 10
  • 8
  • 5
  • Tagged with
  • 1588
  • 322
  • 282
  • 272
  • 150
  • 141
  • 121
  • 113
  • 102
  • 96
  • 95
  • 90
  • 89
  • 87
  • 86
  • 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 271 to 280 of 1588 (0.022 seconds)

Spelling suggestions: "subject:"heorem"" "subject:"atheorem""

271

Theorie zu kraftmikroskopischen Einzelmolekülexperimenten an Biopolymeren

Braun, Oliver, January 2004 (has links)
Stuttgart, Univ., Diss., 2004.
272

Rings of invariants of finite groups /

Twigger, Dianne Michelle, January 1900 (has links)
Thesis (M.S.)--Missouri State University, 2008. / "August 2008." Includes bibliographical references (leaf 51). Also available online.
273

Analytical and experimental performance comparison of energy detectors for cognitive radios /

Ciftci, Selami, January 2008 (has links)
Thesis (M.S.)--University of Texas at Dallas, 2008. / Includes vita. Includes bibliographical references (leaves 62-63)
274

Automated reasoning about actions

Lee, Joohyung, Lifschitz, Vladimir, January 2005 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: Vladimir Lifschitz. Vita. Includes bibliographical references.
275

Adaptive eager boolean encoding for arithmetic reasoning in verification /

Seshia, Sanjit A. January 1900 (has links)
Thesis (Ph. D.)--Carnegie Mellon University, 2005. / "May 2005." Includes bibliographical references.
276

Length of proofs and unification theory

Farmer, William Michael. January 1900 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1984. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 224-228).
277

Novel computational methods for accurate quantitative and qualitative protein function prediction /

Wang, Kai, January 2005 (has links)
Thesis (Ph. D.)--University of Washington, 2005. / Vita. Includes bibliographical references (leaves 122-146).
278

Using theorem proving and algorithmic decision procedures for large-scale system verification

Ray, Sandip, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Vita. Includes bibliographical references.
279

Estimation and flexible correlation structures in spatial hierarchical models of disease mapping /

Conlon, Erin Marie. January 1999 (has links)
Thesis (Ph.D.)--University of Minnesota, 1999. / Includes bibliographical references (leaves 179-187). Also available on the World Wide Web as a PDF file.
280

On the robustness of folk theorems in selected dynamic games /

Breitmoser, Yves. January 2008 (has links)
Zugl.: Frankfurt (Oder), Europa-University, Diss., 2008.

Page generated in 0.0265 seconds