• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1683
  • 222
  • 132
  • 106
  • 19
  • 18
  • 9
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 6
  • 3
  • Tagged with
  • 2394
  • 2394
  • 1002
  • 458
  • 443
  • 291
  • 287
  • 254
  • 248
  • 227
  • 221
  • 206
  • 202
  • 201
  • 188
  • 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

Mechanical verification of reactive systems

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

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.
3

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.
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

Information systems strategy - theory and practice within a multi-divisional organisation

Ludlow, Brian Alan January 1989 (has links)
No description available.
7

Dynamic user and learner modeling

Paiva, Ana Maria Severino de Almeida e. January 1995 (has links)
No description available.
8

A formal data fusion language

Newton, Alan R. January 1995 (has links)
No description available.
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.0718 seconds