NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 476
  • 104
  • 29
  • 24
  • 24
  • 24
  • 24
  • 24
  • 24
  • 8
  • 7
  • 6
  • 2
  • 2
  • 2
  • Tagged with
  • 795
  • 795
  • 787
  • 196
  • 191
  • 191
  • 128
  • 123
  • 100
  • 96
  • 94
  • 90
  • 89
  • 89
  • 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.

Search results

Showing 341 to 350 of 795 (0.048 seconds)

Spelling suggestions: "subject:"6program language"" "subject:"a'program language""

341

An evaluation of Java and its application to the fifteen-puzzle

Hang, Raksas. January 1996 (has links)
Thesis (M.S.)--University of California, Santa Cruz, 1996. / Typescript. Includes bibliographical references (leaf 45).
342

Porting a JAVA [superscript tm] virtual machine to an embedded system

Caamano, Paul. January 2000 (has links)
Thesis (M.S.)--University of California, Santa Cruz, 2000. / Typescript. Includes bibliographical references (leaves 54-56).
343

Object mapping with Java annotations

Frederickson, Clint Michael. January 2005 (has links) (PDF)
Thesis (M.S.)--Montana State University--Bozeman, 2005. / Typescript. Chairperson, Graduate Committee: Gary Harkin. Includes bibliographical references (leaves 38-39).
344

The effects of individualistic, cooperative task, and cooperative incentive structures on college student achievement in computer programming in BASIC

Oh, Hyun-ah. Lorber, Michael A., January 1988 (has links)
Thesis (Ed. D.)--Illinois State University, 1988. / Title from title page screen, viewed September 13, 2005. Dissertation Committee: Michael A. Lorber (chair), Doris R. Bordeur, Larry D. Kennedy, Patricia H. Klass, Curt M. White. Includes bibliographical references (leaves 86-90) and abstract. Also available in print.
345

RITSim : distributed SystemC simulation /

Cox, David Richard. January 2005 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 2005. / Typescript. Includes bibliographical references (leaves 54-60).
346

The Garnet toolkit reference manuals : support for highly-interactive, graphical user interfaces in Lisp /

Myers, Brad A. January 1900 (has links)
Thesis (Ph. D.)--Carnegie Mellon University, 1989. / "November 1989." Includes bibliographical references and index.
347

High-level programming language abstractions for advanced and dynamic parallel computations /

Deitz, Steven J., January 2005 (has links)
Thesis (Ph. D.)--University of Washington, 2005. / Vita. Includes bibliographical references (p. 157-163).
348

A counterexample guided abstraction refinement framework for verifying concurrent C programs /

Chaki, Sagar. January 1900 (has links)
Thesis (Ph. D.)--Carnegie Mellon University, 2005. / "May 24, 2005." Includes bibliographical references.
349

Active learning and compilation of higher order schema integration queries

Barbanson, François Gérard, Miranker, Daniel P., January 2005 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: Daniel P. Miranker. Vita. Includes bibliographical references.
350

Alchemy -- Transmuting base specifications into implementations

Yoo, Daniel. January 2008 (has links)
Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: program synthesis; relational specification; Alloy. Includes bibliographical references (leaves 64-66).

Page generated in 0.0534 seconds