101 |
SIAM : une boîte à outils pour la preuve formelle de systèmes séquentiels /Coudert, Olivier. January 1992 (has links)
Th. doct.--Electronique et communications--Paris--ENST, 1991. / Bibliogr. p. 141-149. Index.
|
102 |
Vérification et minimisation de systèmes séquentiels : optimisations de méthodes basées sur la composition de fonctions booléennes /Tamisier, Thomas. January 1995 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1994. / Résumé en français et en anglais. Bibliogr. p. 99-102.
|
103 |
Supporting deliberation within behaviour-based systemsRotenstein, Andrei Mark. January 2003 (has links)
Thesis (M. Sc.)--York University, 2003. / Typescript. Includes bibliographical references (leaves 245-252). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://wwwlib.umi.com/cr/yorku/fullcit?pMQ82950.
|
104 |
The effect of the interaction of part geometry and vibratory feeding parameters on the feed rate of parts in a vibratory bowl feederKhakbaz-Nejad, Reza John, January 2003 (has links)
Thesis (Ph. D.)--Ohio State University, 2003. / Title from first page of PDF file. Document formatted into pages; contains xi, 160 p.; also includes graphics (some col.). Includes bibliographical references (p. 146-160). Available online via OhioLINK's ETD Center.
|
105 |
Development and preliminary evaluation of semi-permanently attached milking devicesErbach, Donald Carl, January 1966 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1966. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
|
106 |
Use of stator winding taps for flux sensing in induction machinesChang, Kwong C. January 1984 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1984. / Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaf 82).
|
107 |
A model of a hospital centralized tray assembly conveyor systemMcGary, Virginia E. January 1900 (has links)
Thesis (Ph.D.)--University of Wisconsin--Madison, 1968. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 142-146).
|
108 |
The effects of the introduction of programmed instruction and extrinsic reinforcement with a group of high achieving high school studentsBennin, John Arthur, January 1968 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1968. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
|
109 |
Static and dynamic analysis of elastically supported beam systemsMarks, Walter Ray, January 1966 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1966. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
|
110 |
Support vector classification for geostatistical modeling of categorical variablesVizcaino, Enrique Carlos Gallardo. January 2009 (has links)
Thesis (M. Sc.)--University of Alberta, 2009. / Title from pdf file main screen (viewed on Sept. 10, 2009). "A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Science in Mining Engineering, Department of Civil and Environmental Engineering, University of Alberta." Includes bibliographical references.
|
Page generated in 0.0571 seconds