• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1683
  • 222
  • 132
  • 106
  • 19
  • 18
  • 9
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 6
  • 3
  • Tagged with
  • 2391
  • 2391
  • 1002
  • 458
  • 443
  • 289
  • 287
  • 253
  • 247
  • 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.
261

Towards formal verification in a component-based reuse methodology /

Karlsson, Daniel, January 2003 (has links)
Lic.-avh. Linköping : Univ., 2003.
262

Verification of component-based embedded system designs /

Karlsson, Daniel, January 2006 (has links)
Diss. Linköping : Linköpings universitet, 2006.
263

Introducing a Memory Efficient Execution Model in a Tool-Suite for Real-Time Systems /

Hänninen, Kaj, January 2006 (has links)
Lic.-avh. (sammanfattning) Västerås : Univ., 2006. / Härtill 4 uppsatser. S. [15]: Bibliografi.
264

Functional play playfulness in user interfaces : this thesis is submitted to Auckland University of Technology in partial fulfillment of the degree of Master of Arts (Art and Design) in the year of 2005 by Orry Wijanarko Soegiono.

Soegiono, Orry Wijanarko. January 2005 (has links) (PDF)
Thesis (MA--Art and Design) -- Auckland University of Technology, 2005. / Also held in print (93 leaves, col. ill., 30 cm.) in Wellesley Theses Collection. (T 004.019 SOE)
265

A device-independent graphical user interface for theoretical studies of surface temperatures generated by friction /

Janajreh, Isam M., January 1992 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1992. / Vita. Abstract. Includes bibliographical references (leaf 74). Also available via the Internet.
266

A unified hardware-software framework for evaluating power consumption of embedded system-on-a-chip designs

Talarico, Claudio. January 2004 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 2004. / Includes bibliographical references (leaves 118-126).
267

The virtual environment operating system : derivation, function, and form /

Coco, Geoffrey P. January 1993 (has links) (PDF)
Thesis (M.S.E.)--University of Washington, 1993. / Includes bibliographical references (leaves [116]-119).
268

An embedded system for the infrared cloud imager

Simpson, Kristie Danielle. January 2008 (has links) (PDF)
Professional paper (MS)--Montana State University--Bozeman, 2008. / Typescript. Chairperson, Graduate Committee: Joseph A. Shaw. Includes bibliographical references (leaves 118-120).
269

Designing a graphical user interface for a bilateral negotiation support system

Sabene, Ralph. January 1992 (has links)
Thesis (M.S. in Information Systems) Naval Postgraduate School, March 1992. / Thesis Advisor: Bui, Tung X. "March 1992." Includes bibliographical references (p. 66). Also available in print.
270

Parsing meta-communicational statements in dialogues : a computational model /

Bouzid, Ahmed T., January 1991 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1991. / Vita. Abstract. Includes bibliographical references (leaves 238-240). Also available via the Internet.

Page generated in 0.2226 seconds