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

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

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

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

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

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

Audio-visual Education Programme to Prevent the Disastrous Effects of Volcanic EruptionsKRAFFT, M. P.Spirit of Enterprise : The 1990 Rolex Awards. 1990, pp 403-405, isbn 3-7169-2103-3Book Chapter

L'intégration européenne et la recherche universitaire : une vue d'ensembleCONTZEN, J.-P.Gestion de l'Enseignement Supérieur. 1991, Vol 3, Num 2, pp 148-156Article

Development operational experience and implications for future design of FBRS in Japan. DiscussionSAWAI, S; HORI, M; BRANDSTETTER, A et al.SAWAI, S; Philosophical transactions of the royal society of London, series A : mathematical and physical sciences. 1990, Vol 331, Num 1619, pp 355-366, issn 0080-4614, 13 p.Article

COMPARAISON DES PROGRAMMES D'ANALYSE GENERALE DES CIRCUITS ELECTRIQUES.LACROIX M.1974; REV. TECH. THOMSON-C.S.F.; FR.; DA. 1974; VOL. 6; NO 1; PP. 17-29; ABS. ANGL. ALLEM.; BIBL. 1 P. 1/2Article

VERIFY: a program for proving correctness of digital hardware designsBARROW, H. G.Artificial intelligence. 1984, Vol 24, Num 1-3, pp 437-491, issn 0004-3702Article

SYMBOLIC EVALUATION METHODS: IMPLEMENTATIONS AND APPLICATIONSCLARKE LA; RICHARDSON DJ.1981; COMPUTER PROGRAM TESTING, SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 65-102; BIBL. 3 P.Conference Paper

PROGRAM TESTING COMPLEXITY AND TESTING CRITERIAKUO CHUNG TAI.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 6; PP. 531-538; BIBL. 35 REF.Article

SYSTEME COBOL POUR L'UTILISATION DU TRADUCTEUR TK-32 DANS LE CALCULATEUR MINSK-32TOSHKOV DI; AKHEGUKYAN AV.1975; C.R. ACAD. BULG. SCI.; BULG.; DA. 1975; VOL. 28; NO 3; PP. 303-306; BIBL. 6 REF.Article