261 |
Algebraic specification and verification of processor microarchitectures /Matthews, John Robert, January 2000 (has links)
Thesis (Ph. D.)--Oregon Graduate Institute, 2000.
|
262 |
The role of type equality in meta-programming /Pasalic, Emir. January 2004 (has links)
Thesis (Ph. D.)--OGI School of Science & Engineering at OHSU, 2004. / Includes bibliographical references (leaves 229-239).
|
263 |
Static and dynamic type systemsRushton, Matthew V. January 2004 (has links) (PDF)
Thesis (B.A.)--Haverford College, Dept. of Computer Science, 2004. / Includes bibliographical references.
|
264 |
Ambiguities in Backus Normal Form languagesLynch, William Charles, January 1963 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1963. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 58-60).
|
265 |
The applicability of FLOWTRAN to coal conversion process analysisGoodson, Paul David, January 1976 (has links)
Thesis--Wisconsin. / Includes bibliographical references (leaf 96).
|
266 |
D : a distributed object oriented programming language /Lee, Wing-hong. January 1994 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1994. / Includes bibliographical references.
|
267 |
The definition of the control and environment structure of programming languagesHerriot, Robert George, January 1971 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1971. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliography.
|
268 |
A generic domain specific language for financial contractsMediratta, Anupam. January 2007 (has links)
Thesis (M.S.)--Rutgers University, 2007. / "Graduate Program in Computer Science." Includes bibliographical references (p. 46).
|
269 |
Backtracking model languages /Muff, Urs C. January 2000 (has links)
Thesis (M.S.)--University of Colorado, 2000. / Includes bibliographical references (leaf 62).
|
270 |
Putting context into knowledge management /Fenstermacher, Kurt D. January 1999 (has links)
Thesis (Ph. D.)--University of Chicago, Dept. of Computer Science. / Includes bibliographical references. Also available on the Internet.
|
Page generated in 0.0209 seconds