• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 366
  • 89
  • 33
  • 20
  • 11
  • 10
  • 10
  • 10
  • 10
  • 10
  • 10
  • 8
  • 8
  • 7
  • 5
  • Tagged with
  • 671
  • 671
  • 175
  • 135
  • 98
  • 93
  • 87
  • 62
  • 57
  • 53
  • 48
  • 47
  • 44
  • 42
  • 38
  • 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.
451

Model-driven development and analysis of high assurance systems

Konrad, Sascha J. January 2006 (has links)
Thesis (Ph. D.)--Michigan State University. Dept. of Computer Science, 2006. / Title from PDF t.p. (viewed on Nov. 20, 2008) Includes bibliographical references (p. 408-425). Also issued in print.
452

Towards reverse engineering of UML sequence diagrams of real-time, distributed systems through dynamic analysis /

Leduc, Johanne, January 1900 (has links)
Thesis (M. App. Sc.)--Carleton University, 2004. / Includes bibliographical references (p. 116-119). Also available in electronic format on the Internet.
453

Improving state-based coverage criteria using data flow information /

Lin, Qing, January 1900 (has links)
Thesis (M. Sc.)--Carleton University, 2004. / Includes bibliographical references (p. 138-140). Also available in electronic format on the Internet.
454

Performance of parallel I/O data distribution strategies for space-sharing policies /

Wang, Liuhong, January 1900 (has links)
Thesis (M. Sc.)--Carleton University, 2004. / Includes bibliographical references (p. 81-86). Also available in electronic format on the Internet.
455

Framing user confidence in a system dynamics model : the case of a workforce planning problem in the New Zealand army : a thesis submitted to the Victoria University of Wellington in partial fulfilment of the requirements for the degree of Master of Management Studies /

Markham, Jason Yves. January 2008 (has links)
Thesis (M.M.S.)--Victoria University of Wellington, 2008. / Includes bibliographical references.
456

Modelling, state observation and diagnosis of quantised systems /

Schröder, Jochen, January 2003 (has links)
Techn. Univ., Diss.--Hamburg-Harburg, 2002.
457

A thermodynamical perspective on organisations their structure and evolution /

Sundarasaradula, Doy. January 2006 (has links)
Thesis (Ph.D.)--University of Wollongong, 2006. / Typescript. Includes bibliographical references: leaf 393-431.
458

The application of data processing technology to the hospital submitted to the Program in Hospital Administration ... in partial fulfillment ... for the degree of Master of Hospital Administration /

Lagace, Arthur E. January 1965 (has links)
Thesis (M.H.A.)--University of Michigan, 1965.
459

A framework for conducting mechanistic based reliability assessments of components operating in complex systems

Wallace, Jon Michael. January 2003 (has links) (PDF)
Thesis (Ph. D.)--Aerospace Engineering, Georgia Institute of Technology, 2004. / Ajay Misra, Committee Member ; James Craig, Committee Member ; Richard Neu, Committee Member ; Daniel Schrage, Committee Member ; Dimitri Mavris, Committee Chair. Vita. Includes bibliographical references.
460

Deadlock probability prediction and detection in distributed systems /

Deorukhkar, Mayuresh. January 2004 (has links)
Thesis (M.S.)--University of Missouri-Columbia, 2004. / Typescript. Includes bibliographical references (leaves 75-76). Also available on the Internet.

Page generated in 0.047 seconds