NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1683
  • 222
  • 132
  • 106
  • 19
  • 18
  • 9
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 6
  • 3
  • Tagged with
  • 2393
  • 2393
  • 1002
  • 458
  • 443
  • 290
  • 287
  • 254
  • 247
  • 227
  • 221
  • 206
  • 202
  • 201
  • 188
  • 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 381 to 390 of 2393 (0.287 seconds)

Spelling suggestions: "subject:"computer lemsystems"" "subject:"computer atemsystems""

381

A semantics-based approach to processing formal languages /

Wang, Qian. January 2007 (has links)
Thesis (Ph.D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 137-146)
382

Transaction processing in Mobile Database System

Prabhu, Nitin Kumar, Vijay, January 2006 (has links)
Thesis (Ph. D.)--School of Computing and Engineering. University of Missouri--Kansas City, 2006. / "A dissertation in computer science and informatics and telecommunications and computer networking." Advisor: Vijay Kumar. Typescript. Vita. Title from "catalog record" of the print edition Description based on contents viewed Nov. 9, 2007. Includes bibliographical references (leaves 152-157). Online version of the print edition.
383

An explanatory study to measure the effect of an expanded target interface for a handheld medication order entry task

Young, Marc. Villaume, William A. Felkey, Bill G. January 2006 (has links) (PDF)
Thesis(M.S.)--Auburn University, 2006. / Abstract. Includes bibliographic references.
384

Regular model checking /

Nilsson, Marcus, January 2005 (has links)
Diss. Uppsala : Univ., 2005.
385

Model checking parameterized timed systems /

Mahata, Pritha, January 2005 (has links)
Diss. Uppsala : Uppsala universitet, 2005.
386

Physical selection in ubiquitous computing /

Välkkynen, Pasi. January 1900 (has links) (PDF)
Thesis (doctoral)--University of Tampere, 2007. / Includes bibliographical references. Also available on the World Wide Web.
387

An interactive monochrome and colour graphics display system /

Davis, Andrew Lennox. January 1978 (has links) (PDF)
Thesis (M.E.) - Dept. of Electrical Engineering, University of Adelaide, 1979. / Typescript (photocopy).
388

Automatic design of batch processing systems /

Dwyer, Barry, January 1999 (has links) (PDF)
Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 1999. / Bibliography: p. 281-289. Also available electronically.
389

Automatic design of batch processing systems

Dwyer, Barry, January 1999 (has links)
Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 1999. / Bibliography: p. 281-289. Also available in print form.
390

Towards effective and efficient temporal verification in grid workflow systems

Chen, Jinjun. January 2007 (has links)
Thesis (Ph.D) - Swinburne University of Technology, Faculty of Information & Communication Technologies, Centre for Information Technology Research, 2007. / A thesis to CITR - Centre for Information Technology Research, Faculty of Information and Communication Technologies, Swinburne University of Technology, for the degree of Doctor of Philosophy, 2007. Typescript. Bibliography p. 145-160.

Page generated in 0.2906 seconds