« Recherche formation désespérément... »HOFSTETTER, R; LÉVY, M.-T; BIRCHMEIER, B et al.Cahiers de la Section des Sciences de l'Education. 1992, Num 65, pp 167-177Conference Paper

PLORTEP: a computer program to translate PLUTO instructions into those of ORTEPBANDEL, G; SUSSMAN, J. L.Journal of applied crystallography. 1983, Vol 16, Num 6, pp 650-651, issn 0021-8898Article

A program to analyze series of Mössbauer spectraVERBIEST, E.Computer physics communications. 1983, Vol 29, Num 2, pp 131-154, issn 0010-4655Article

An improved lower bound to the minimum fleet size problemSTERN, H. I; CEDER, A.Transportation science. 1983, Vol 17, Num 4, pp 471-477, issn 0041-1655Article

FLINCS and FLINCALC : PC programs for fluid inclusion calculationsCAVARRETTA, G; TECCE, F.Computers & geosciences. 1995, Vol 21, Num 5, pp 715-717, issn 0098-3004Article

On-line data reduction for electron microprobe analysis = Réduction de données on line concernant l'analyse par microsonde électroniqueCHENG-HONG CHEN; TIEN-CHUNG TUNG.Yánjiū bàogào - Guólì Táiwān dàxué. Lǐxuéyuàn dìzhìxué xì. 1984, Num 22, pp 196-200, issn 0065-1265Article

L'UNESCO... vous connaissez? = The UNESCO... Do you know it?BRUYERE, A.L' Enseignement technique. 1993, Num 158, pp 48-50, issn 0184-6906Article

TV Literacy III-Gifted and Learning Disabled Children : Amplifying Prosocial Learning Through Curriculum InterventionABELMAN, R.Journal of research and development in education. 1991, Vol 24, Num 4, pp 51-60, issn 0022-426XArticle

Le système d'apprentissage mis en place au Holland College. Une approche de formation individualisée centrée sur les compétencesTREMBLAY, G.Actualité de la formation permanente (Paris-la-Défense). 1990, Num 107, pp 82-93, issn 0397-331XArticle

L'Europe donne ses directivesPIRO, Patrik.Systèmes solaires (Revue). 2003, Num 158, pp 10-11, issn 0295-5873, 2 p.Article

Algorithmen und Programme zur Auswertung von Fehlerbaümen mit Multi-state-Komponenten = Algorithmes et programmes d'évaluation des arbres de défaillance pour des composants à états multiples = Evaluation program and algorithm of fault tree of multi-state componentsWICKENHAÜSER, A.Kernforschungszentrum Karlsruhe. 1989, Num 4527, issn 0303-4003, pagination mult. [77 p.]Article

Logiciels de simulation électrique pour V.L.S.I. utilisables sur micro et mini-ordinateurs = Electrical simulation sofware for VLSÍs to ba used in micro- and minicomputersFAUVEL, Jean-Marc.1985, 122 f.-[48] f. de plThesis

MUSTAFA und MUSTAMO Rechenprogramme zur Analyse von Fehlerbäumen mit Multistate-Komponenten = MUSTAFA et MUSTAMO, des programmes ordinateur pour l'analyse des arbres d'erreur avec composantes à multi-états = MUSTAFA and MUSTAMO, computer programs for analysis of fault trees with multistate-componentsWICKENHAUSER, A.Kernforschungszentrum Karlsruhe. 1985, Num 3855, issn 0303-4003, 74 p.Serial Issue

O ensino superior como uma área de estudos e pesquisas: a experiência internacional = Higher education as a field of study and research : the international experience = L'enseignement supérieur comme terrain d'études et de rechercheCAMILO DOS SANTOS FILHO, J.Pro-posições. 1994, Vol 5, Num 2, pp 5-15, issn 0103-7307Article

Les aides de l'Europe en faveur des énergies renouvelables = Assistances in Europe for renewable energiesMONTARIOL, Paul.Systèmes solaires (Revue). 2000, Num 139, pp 48-52, issn 0295-5873, 4 p.Article

Where have all the fuses gone?HARRIS, J.School science review. 1993, Vol 75, Num 271, pp 61-65, issn 0036-6811Article

Correctness of recursive parallel nondeterministic flow programsGOGUEN, J. A; MESEGUER, J.Journal of computer and system sciences (Print). 1983, Vol 27, Num 2, pp 268-290, issn 0022-0000Article

A note on the complexity of program evaluationIBARRA, O. H; LENINGER, B. S; ROSIER, L. E et al.Mathematical systems theory. 1984, Vol 17, Num 2, pp 85-96, issn 0025-5661Article

Partial correctness: the term-wise approachSOKOŁOWSKI, S.Science of computer programming. 1984, Vol 4, Num 2, pp 141-157, issn 0167-6423Article

THE TOTAL CORRECTNESS OF PARALLEL PROGRAMSFLON L; SUZUKI N.1981; SIAM J. COMPUT.; ISSN 0097-5397; USA; DA. 1981; VOL. 10; NO 2; PP. 227-246; BIBL. 25 REF.Article

PROPERTY EXTRACTION IN WELL-FOUND PROPERTY SETS.WEGBREIT B.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 270-285; BIBL. 12 REF.Article

Anwendung des Programmsystems BOOLE zur Testsatzgenerierung = Application du système de programme Boole pour la génération d'une routine de test = Use of the Boole program system for the test routine generationBEMMANN, H.-B; MADER, P; REISS, J et al.Nachrichtentechnik. Elektronik. 1985, Vol 35, Num 5, pp 186-187, issn 0323-4657Article

Interactive local earthquake location on a PCALEJANDRO NAVA, F.Computers & geosciences. 1992, Vol 18, Num 6, pp 627-664, issn 0098-3004Article

A program to produce bar charts and tables from data stored in disk files, using a microcomputer and a printerOZANNE, G.Médecine et informatique. 1984, Vol 9, Num 2, pp 143-152, issn 0307-7640Article

ON REDUCTIONS OF PARALLEL PROGRAMSKOWALK W; VALK R.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 356-369; BIBL. 3 REF.Conference Paper