Global ETD Search

211	Définition et utilisation des S-L graphes en démonstration automatique Saya, Henri 15 March 1975 (has links) (PDF) . intelligence artificielle questions-réponses documentation programmes programmation compilation décision procédure de preuve
212	Grammaires de graphes, algorithme d'analyse : applications Azema, Jean 06 March 1975 (has links) (PDF) . graphes primitives traitement automatique des dessins grammaires formelles grammaire de chaine graphe planaire
213	Optimisation d'un compilateur incrémental et conversationnel de PL/I Bruandet, Marie-Françoise 02 July 1976 (has links) (PDF) . compilateur compilation programmation programme PL/1 système conversationnel générateur interpréteur
214	Organisation assistée d'un enseignement modulaire Castellani, Xavier 29 November 1975 (has links) (PDF) . enseignement enseignement assisté par ordinateur stages scolarité emplois du temps
215	Mise en œuvre et expérimentation pédagogique d'un système d'enseignement assisté par ordinateur en électrotechnique : E.S.P.A.C.E Bolopion, Alain 13 October 1975 (has links) (PDF) . enseignement pédagogie enseignement assisté par ordinateur administration programmation gestion scolarité stages
216	Contribution à l'étude sémantique des bases de données : application au système SOCRATE Barbosa, Rui 11 October 1975 (has links) (PDF) . SOCRATE base de données données gestions SGBD sémantique information
217	De l'optimisation des programmes Exel, Matija 06 October 1975 (has links) (PDF) . programmation programmes langages optimisation PL/1 ALGOL performances FORTRAN compilation source:objet
218	Conception d'un système automatisé de gestion de la scolarité de l'enseignement supérieur Portal, Dominique 20 March 1975 (has links) (PDF) . gestion scolarité enseignement université application base de données SGBD Universités de Grenoble relation
219	Points extrémaux, multi-applications et fonctionnelles intégrales Benamara, Mustapha 26 June 1975 (has links) (PDF) . multi-appliocation espace Banach Banach espace mesuré approximation
220	Pour une généralisation des systèmes C.A.O : approche et applications David, Bohuslav 25 October 1975 (has links) (PDF) . conception assistée par ordinateur CAO CASSANDRE faisabilité production

Search results