Spelling suggestions: "subject:"programmation"" "subject:"programmations""
141 |
Network pricing problems : complexity, polyhedral study and solution approachesHeilporn, Géraldine January 2008 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal
|
142 |
La modélisation mathématique des réseaux logistiques procédés divergents et positionnement par anticipation : applications à l'industrie du bois d'œuvre /Vila, Didier. January 1900 (has links) (PDF)
Thèse (Ph. D.)--Université Laval, 2006. / Titre de l'écran-titre (visionné le 28 mars 2007). Thèse présentée en cotutelle: Département d'opérations et système de la décision, Faculté des sciences de l'administration, Université Laval, Québec et École nationale supérieure des mines de Saint-Étienne, Saint-Étienne, France. Bibliogr.
|
143 |
Quadratic programming algorithms, anomalies [and] applications.Boot, John C. G., January 1964 (has links)
Proefschrift--Nederlandsche Economische Hoogeschool, Rotterdam. / "Stellingen": [4] p. inserted.
|
144 |
D'un paragrapheur à un éditeur syntaxique et graphique pour le langage Esterel /Nahaboo, Colas, January 1900 (has links)
Th.--Informatique--Nice, 1988. / 1989 d'après la déclaration de dépôt légal. Bibliogr. p. 160-163. Résumé en français.
|
145 |
Argument und Algorithmus : ein lexikalisch orienter Analyseansatz diskursiver Textelemente mit PROLOG /Kaufmann, Stefan C. January 1995 (has links)
Diss.--Philosophische Fakultät I--Universität Zürich, 1993/1994. / Bibliogr. p. 170-175.
|
146 |
Identification et exploitation des types dans un modèle de connaissances à objets /Capponi, Cécile. January 1900 (has links)
Th. doct.--Informatique--Grenoble 1, 1995. / Bibliogr. p. 273-283. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.
|
147 |
Mécanisation de la réutilisation de composants logiciels : approches et outils /Parot, Patrick. January 1900 (has links)
Th. doct.--Informatique--Orléans, 1995. / Bibliogr. p. 129-134. Résumé en anglais et en français. 1996 d'apès la déclaration de dépôt légal.
|
148 |
Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique /Chetali, Boutheïna. January 1900 (has links)
Th. doct.--Informatique--Nancy 1, 1996. / Bibliogr. p. 245-250. Index. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.
|
149 |
Différentiation automatique : application à un problème d'optimisation en météorologie /Rostaing-Schmidt, Nicole. January 1900 (has links)
Th. doct.--Math.--Nice, 1993. / Bibliogr. p. 109-110. Résumé en français et en anglais. 1995 d'après la déclaration de dépôt légal.
|
150 |
Quadratic programming algorithms, anomalies [and] applications.Boot, John C. G., January 1964 (has links)
Proefschrift--Nederlandsche Economische Hoogeschool, Rotterdam. / "Stellingen": [4] p. inserted.
|
Page generated in 0.0838 seconds