771 |
Improving proof search in intuitionistic propositional logic /Weich, Klaus. January 1900 (has links)
Diss.--Mathematik--München--Ludwig-Maximilians Universität, 2001. / Notes bibliogr. Bibliogr. 1 p. Index.
|
772 |
Systemtechnische Gestaltung der Informationsarchitektur im Entwicklungsprozess /Schulz, Armin Peter. January 2002 (has links)
Texte remanié de: Dissertation--München--Fakultät für Maschinenwesen der Technischen Universität München, 2001.
|
773 |
Anglizismen in der deutschen Fachsprache der Computertechnik : eine korpuslinguistische Untersuchung zu Wortbildung und Bedeutungskonstitution fachsprachlicher Komposita /Chang, Youngick, January 1900 (has links)
Texte remanié de: Dissertation--Fakultät für Philologie--Bochum--Ruhr-Universität, 2004. / Bibliogr. p. 191-201.
|
774 |
Techniques d'apprentissage par renforcement pour le routage adaptatif dans les réseaux de télécommunication à trafic régulierHoceini, Said Amirat, Yacine. January 2004 (has links) (PDF)
Thèse de doctorat : Informatique. Réseaux : Paris 12 : 2004. / Titre provenant de l'écran-titre. Bibliogr.
|
775 |
Développement de critères pour l'évaluation de filtres discrets de détection de contours dans les images numériquesStoclin, Vincent. Postaire, Jack-Gérard. January 2000 (has links) (PDF)
Thèse de doctorat : Automatique et informatique industrielle : Lille 1 : 2000. / Résumé en français et en anglais. Bibliogr. f. 116-118.
|
776 |
Contribution à l'étude de structures neuronales pour la classification de signatures application au diagnostic de pannes des systèmes industriels et à l'aide au diagnostic médical /Bellanger-Dujardin, Anne-Sophie Madani, Kurosh. January 2003 (has links) (PDF)
Thèse de doctorat : Génie biologique et médical : Paris 12 : 2003. / Titre provenant de l'écran-titre.
|
777 |
Analyse/conception par points de vue le profil VUML /Nassar, Mahmoud Coulette, Bernard. January 2005 (has links)
Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 159 réf.
|
778 |
Modélisation et traitement de requêtes images complexesAtnafu Besufekad, Solomon Brunie, Lionel. January 2004 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2003. / Titre provenant de l'écran-titre. Bibliogr. p. [201]-215. Publications de l'auteur, 1 p.
|
779 |
Outils, pratiques autoritatives du texte, constitution du champ de la littérature numériqueBroudoux, Évelyne Balpe, Jean-Pierre January 2006 (has links) (PDF)
Reproduction de : Thèse de doctorat : Sciences de l' information et de la communication : Paris 8 : 2003. / Titre provenant de l'écran-titre. Bibliogr. f. 266-290.
|
780 |
Programmation de calculateur massivement parallèles application à la factorisation d'entiers /Philippe, Jean-Laurent. Cosnard, Michel Della Dora, Jean Robert, Yves January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre. Bibliogr. p. 181-191.
|
Page generated in 0.0604 seconds