• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1496
  • 173
  • 128
  • 106
  • 19
  • 18
  • 9
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 6
  • 3
  • Tagged with
  • 2141
  • 2141
  • 774
  • 451
  • 440
  • 277
  • 237
  • 223
  • 223
  • 217
  • 206
  • 200
  • 197
  • 184
  • 181
  • 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.
1

An investigation of requirements traceability to support systems development

Abbott, Ann Grayson. Busch, Mona Rose. January 1992 (has links)
Thesis (M.S. in Information Systems)--Naval Postgraduate School, September 1992. / Thesis Advisor: Ramesh, Balasubramaniam. "September, 1992." Description based on title screen as viewed on March 10, 2009. Includes bibliographical references (p. 51-54). Also available in print.
2

Mechanical verification of reactive systems

Manolios, Panagiotis. January 2001 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references.
3

An introduction to certification and accreditation for new accreditors /

Stauffer, Natalie. January 2003 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2003. / Thesis advisor(s): Karen Burke, Craig Rasmussen. Includes bibliographical references (p. 47-48). Also available online.
4

Dynamic dead variable analysis /

Lewis, Micah S., January 2005 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2005. / Includes bibliographical references (p. 59-63).
5

Ubiquitous computing : extending access to mobile data

Pinkerton, Michael David January 1997 (has links)
No description available.
6

Multiple user regions for the McGill-RAX time-sharing system : justifications and methods of implementation. / McGill-RAX time-sharing system

Miller, Roy. January 1971 (has links)
No description available.
7

Efficient model checking for timing diagrams

Amla, Nina 28 August 2008 (has links)
Not available / text
8

Mechanical verification of reactive systems

Manolios, Panagiotis 25 May 2011 (has links)
Not available / text
9

Knowledge integration in case-based reasoning : a concept-centred approach

Dubitzky, Werner January 1997 (has links)
No description available.
10

Wisdom : the foundation of a scalable parallel operating system

Murray, Kevin January 1990 (has links)
No description available.

Page generated in 0.09 seconds