Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("PROGRAM")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 202504

  • Page / 8101

Export

Selection :

  • and

INDICES DE QUALITE CONSTRUCTIFS DES PROGRAMMES ET RELATION AVEC LA TECHNOLOGIE DE LEUR PROJECTIONLIPAEV VV.1982; IZV. AKAD. NAUK SSSR, TEH. KIBERN.; ISSN 0002-3388; SUN; DA. 1982; NO 2; PP. 151-162; BIBL. 11 REF.Article

INNER LOOPS IN FLOWGRAPHS AND CODE OPTIMIZATIONVASUDEVAN S.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 17; NO 2; PP. 143-155; BIBL. 9 REF.Article

AN ANALYSIS OF CHECKPOINTINGBROCK A.1979; I.C.L. TECH. J.; GBR; DA. 1979; VOL. 1; NO 3; PP. 211-228Article

SYSTEME DE PROGRAMMES-TESTS POUR LE CALCULATEUR BESM-6BASKOV E; GUZIJ L; KOZLOV G et al.1982; PROGRAMMIROVANIE E.V.M.; ISSN 508101; SUN; DA. 1982; NO 6; PP. 36-51; ABS. ENGArticle

MISE EN EVIDENCE DE RELATIONS D'ORDRE DYNAMIQUE ENTRE LES INSTRUCTIONS D'UN PROGRAMME.ADAM A; LAURENT JP.1976; IN: PANORAMA NOUV. INF. FRANCE. CONGR. AFCET; GIF-SUR-YVETTE; 1976; PARIS; ITC; DA. 1976; VOL. 1; PP. 169-179; BIBL. 6 REF.Conference Paper

THE CYCLOMATIC NUMBER AND THE NORMAL NUMBER OF PROGRAMSCULIK K.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 4; PP. 12-17; BIBL. 5 REF.Article

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

UN SYSTEME QUI MET EN EVIDENCE DES ERREURS SEMANTIQUES DANS LES PROGRAMMESLAURENT JEAN PIERRE.1978; ; FRA; DA. 1978; (3)-194-(11) P.; 30 CM; BIBL. 11 P.; TH.: SCI. MATH., INFORM./PARIS 6/1978Thesis

AN ADVANCED PROGRAMMING LANGUAGE DEFINITION AND DOMAIN CORRECTNESS OF PROGRAMSOULIK K.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 8; PP. 57-66Article

COMMENTS ON PROGRAM SPECIFICATION AND TESTINGHOUSE R.1980; COMMUNIC. A.C.M.; USA; DA. 1980; VOL. 23; NO 6; PP. 324-331; BIBL. 11 REF.Article

THE STRUCTURE OF LOOP PROGRAMS AND SUBRECURSIVE HIERARCHIESGOETZE B; NEHRLICH W.1980; Z. MATH. LOGIK GRUNDL. METH.; ISSN 0044-3050; DDR; DA. 1980; VOL. 26; NO 3; PP. 255-278; BIBL. 35 REF.Article

SUR UNE PROPRIETE DES REALISATIONS OPTIMALES D'UN TYPE SPECIAL DE CYCLESMITASHYUNAS A YU; TARASOV VV.1980; PROGRAMMIROVANIE; SUN; DA. 1980; NO 1; PP. 3-10; BIBL. 1 REF.Article

FINDING A MINIMAL SET OF BASE PATHS OF A PROGRAMKOH H; CHUANG HYH.1979; INTERNATION. J. COMPUTER INFORM. SCI.; USA; DA. 1979; VOL. 8; NO 6; PP. 473-488; BIBL. 7 REF.Article

ASSERTION PROGRAMMINGBLIKLE AJ.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 26-42; BIBL. 31 REF.Conference Paper

CONTRIBUTION A L'ETUDE DES EQUIVALENCES SYNTAXIQUES ET TRANSFORMATIONS DE PROGRAMMES PARALLELESROUCAIROL GERARD.1978; ; FRA; DA. 1978; PAG. MUTL.: ILL.; 21 CM; BIBL. 4 P.; TH.: SCI. MATH./PARIS 6/1978Thesis

RECURSION INDUCTION PRINCIPLE REVISITEDBOUDOL G; KOTT L.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 22; NO 1; PP. 135-173; BIBL. 34 REF.Article

A TRANSFORMATIONAL APPROACH FOR DEVELOPING PARALLEL PROGRAMSPETTOROSSI A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 111; PP. 245-258; BIBL. 9 REF.Conference Paper

PATH CALCULUS IN PROGRAM VERIFICATIONBRAND D.1978; J. ASS. COMPUTG MACHIN.; USA; DA. 1978; VOL. 25; NO 4; PP. 630-651; BIBL. 10 REF.Article

PROOF OF TERMINATION WITHIN A WEAK LOGIC OF PROGRAMS.LUCKHAM DC; SUZUKI N.1977; ACTA INFORMAT.; ALLEM.; DA. 1977; VOL. 8; NO 1; PP. 21-36; BIBL. 16 REF.Article

METHODE DE CONSTRUCTION STRUCTURELLE DES TESTS POUR LA MISE AU POINT DES PROGRAMMES DE COMMANDEPOZIN BA.1980; PROGRAMMIROVANIE; SUN; DA. 1980; NO 2; PP. 62-69; BIBL. 7 REF.Article

COMPLETENESS PROBLEMS IN VERIFICATION OF PROGRAMS AND PROGRAM SCHEMESANDREXA H; NEMETT I; SAIN I et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 208-218; BIBL. 14 REF.Conference Paper

LA SYNTHESE DU "MEILLEUR" PROGRAMME A PARTIR D'EXEMPLESKODRATOFF Y.1979; RECONNAISSANCE DES FORMES ET INTELLIGENCE ARTIFICIELLE. ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE. INSTITUT DE RECHERCHE D'INFORMATIQUE ET D'AUTOMATIQUE. CONGRES. 2/1979/TOULOUSE; FRA; ROCQUENCOURT: IRIA; DA. 1979; VOL. 1; PP. 137-144; BIBL. 12 REF.Conference Paper

A NOTE ON THE PROOF OF A CONCURRENT PROGRAMBEST E.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 9; NO 3; PP. 103-104; BIBL. 1 REF.Article

TEST RELIABILITY AND SOFTWARE MAINTENANCEHAMLET R.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 315-320; BIBL. 15 REF.Conference Paper

PROOF THEORY OF PARTIAL CORRECTNESS VERIFICATION SYSTEMS.GERHART SL.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 355-377; BIBL. 27 REF.Article

  • Page / 8101