441 |
Encapsulation enforcement with dynamic ownership : a thesis submitted to the Victoria University of Wellington in fulfilment of the requirements for the degree of Master of Science in Computer Science /Gordon, Donald James, January 2008 (has links)
Thesis (M.Sc.)--Victoria University of Wellington, 2008. / Includes bibliographical references.
|
442 |
Reasoning about imperative and higher-order programs a dissertation /Koutavas, Vasileios. January 1900 (has links)
Thesis (Ph. D.)--Northeastern University, 2008. / Title from title page (viewed March 24, 2009). College of Computer and Information Science. Includes bibliographical references (p. 163-171).
|
443 |
Hot swapping and state persistence a framework for state transfer /Reynaga A., Gerardo, January 1900 (has links)
Thesis (M.C.S.)--Carleton University, 2004. / Includes bibliographical references (p. 128-132). Also available in electronic format on the Internet.
|
444 |
SIP-RTI: a high level architecture, runtime infrastructure build on a SIP-enabled conferencing mechanism /Van Ham, Claude O. H., January 1900 (has links)
Thesis (M.App.Sc.) - Carleton University, 2006. / Includes bibliographical references (p. 81-89). Also available in electronic format on the Internet.
|
445 |
Combining geospatial and temporal ontologies /Joshi, Kripa, January 2007 (has links)
Thesis (M.S.) in Spatial Information Science and Engineering--University of Maine, 2007. / Includes vita. Includes bibliographical references (leaves 108-112).
|
446 |
The design and implementation of Kaleidoscope, a constraint imperative programming language /Lopez, Gustavo, January 1997 (has links)
Thesis (Ph. D.)--University of Washington, 1997. / Vita. Includes bibliographical references (p. [177]-184).
|
447 |
Automated source code measurement environment for software qualityLee, Young. Chang, Kai-Hsiung. January 2007 (has links) (PDF)
Dissertation (Ph.D.)--Auburn University, 2007. / Abstract. Includes bibliographic references (p.127-130).
|
448 |
An interface between single assignment C and vector pascalLi, Bin. January 2007 (has links)
Thesis (Ph.D.) - University of Glasgow, 2007. / Ph.D. thesis submitted to the Department of Computing Science, Faculty of Information and Mathematical Sciences, University of Glasgow, 2007. Includes bibliographical references. Print version also available.
|
449 |
Traitement des images bidimensionnelles à l'aide des FPGAs /Horé, Alain, January 2005 (has links)
Thèse (M.Eng.) -- Université du Québec à Chicoutimi, 2005. / Bibliogr.: f. 116-119. Document électronique également accessible en format PDF. CaQCU
|
450 |
Formal specification of interactive graphics programming languagesMallgren, William R. January 1900 (has links)
Thesis (Ph. D.)--University of Washington, 1981. / Includes bibliographical references (p. [259]-265) and index.
|
Page generated in 0.0157 seconds