551 |
A formal approach to specifying access control security features of Java modulesRubio 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