• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 475
  • 104
  • 26
  • 24
  • 24
  • 24
  • 24
  • 24
  • 24
  • 8
  • 7
  • 6
  • 2
  • 1
  • 1
  • Tagged with
  • 787
  • 787
  • 787
  • 194
  • 191
  • 191
  • 128
  • 123
  • 100
  • 96
  • 94
  • 89
  • 89
  • 88
  • 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.
551

A formal approach to specifying access control security features of Java modules

Rubio Medrano, Carlos Ernesto, January 2008 (has links)
Thesis (M.S.)--University of Texas at El Paso, 2008. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.
552

Étude du langage logo au préscolaire : la vérification des capacités de programmation et l'influence de ce langage sur le développement des facteurs de la pensée divergente /

Routhier, Sylvie, January 1986 (has links)
Mémoire (M.Ed)--Université du Québec à Chicoutimi, 1986. / "Mémoire présenté à l'Université du Québec à Chicoutimi en vue de l'obtention de la maîtrise en éducation" CaQCU Document électronique également accessible en format PDF. CaQCU
553

Real time simulations of EMTP results /

Kong, Kang-Chuen, January 1993 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 61-62). Also available via the Internet.
554

Implementation of data flow query language on a handheld device /

Evangelista, Mark A. January 2005 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 2005. / Thesis Advisor(s): Thomas W. Otani. Includes bibliographical references (p. 173). Also available online.
555

Multiparadigm programming novel devices for implementing functional and logic programming constructs in C++ /

McNamara, Brian. January 2004 (has links) (PDF)
Thesis (Ph. D.)--College of Computing, Georgia Institute of Technology, 2005. Directed by Yannis Smaragdakis. / Spencer Rugaber, Committee Member ; Olin Shivers, Committee Member ; Mary Jean Harrold, Committee Member ; Yannis Smaragdakis, Committee Chair ; Philip Wadler, Committee Member. Includes bibliographical references.
556

The Cost Element builder : a tool for creating and editing specific Java code through a graphical user interface /

Taneja, Anshuman. January 2004 (has links)
Thesis (M.S.)--Ohio University, June, 2004. / Includes bibliographical references (p. 86-87).
557

From syntactic theories to interpreters : specifying and proving properties /

Xiao, Yong. January 2004 (has links)
Thesis (Ph. D.)--University of Oregon, 2004. / Typescript. Includes vita and abstract. Includes bibliographical references (leaves 152-155). Also available for download via the World Wide Web; free to University of Oregon users.
558

Value recursion in monadic computations /

Erkök, Levent, January 2002 (has links)
Thesis (Ph. D.)--OGI School of Science & Engineering at OHSU, 2002.
559

The effect of cooperative LOGO programming environment on the interaction between hearing impaired students /

Ng, Hok-ling. January 1995 (has links)
Thesis (M. Ed.)--University of Hong Kong, 1995. / Includes bibliographical references (leaf 47-50).
560

Semantic and syntactic object correlation in the object-oriented method for interoperability /

Shedd, Stephen F. January 2002 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2002. / Thesis advisor(s): Man-Tak Shing, Paul Young. Includes bibliographical references (p. 101-102). Also available online.

Page generated in 0.1092 seconds