- 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 717 (0.093 seconds)| 271 |
A Functional-test specification language.Williams, Dewi L. (Dewi Lloyd), Carleton University. Dissertation. Engineering, Electrical. January 1988 (has links)
Thesis (M. Eng.)--Carleton University, 1988. / Also available in electronic format on the Internet.
|
| 272 |
Nomadic pict language and infrastructure design for mobile computation /Wojciechowski, Paweł Tomasz. January 1900 (has links)
Thesis (Ph. D.)--University of Cambridge, 2000. / Cover title. "June 2000." Includes bibliographical references.
|
| 273 |
Subroutines to objects a historical survey of programming language structures which support abstraction by compositionPfotenhauer, Rock. January 1993 (has links)
Thesis (M.S.)--University of California, Santa Cruz, 1993. / Typescript. Includes bibliographical references (leaves 183-189).
|
| 274 |
Automated reasoning about actionsLee, 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 |
An environment for comprehending the behavior of software systems /Salah, Maher M. Mancoridis, Spiros. January 2005 (has links)
Thesis (Ph. D.)--Drexel University, 2005. / Includes abstract and vita. Includes bibliographical references (leaves 162-167).
|
| 276 |
Formal concept analysis applications to requirements engineering and design /Tilley, Thomas. January 2003 (has links)
Thesis (Ph.D.) - University of Queensland, 2004. / Includes bibliography.
|
| 277 |
Error detection and recovery for syntax directed compiler systemsLeinius, Ronald Paul, January 1970 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
|
| 278 |
A new approach for attribute evaluation and error correction in compilersBegwani, Vimal Singh. January 1982 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1982. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 106-111).
|
| 279 |
A domain-specific embedded language for probabilistic programming /Kollmansberger, Steven. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2006. / Printout. Includes bibliographical references (leaves 72-77). Also available on the World Wide Web.
|
| 280 |
A formal semantics of teamwork and multi-agent conversations as the basis of a language for programming teams of autonomous agents /Kumar, Sanjeev, January 2006 (has links)
Thesis (Ph.D.)--OGI School of Science & Engineering at OHSU, June 2006. / Includes bibliographical references (leaves 276-287).
|
Page generated in 0.0971 seconds