REALISATION DES DIFFERENTS REGIMES DE TRAVAIL DE L'UTILISATEUR DANS LE SYSTEME PROJET, EN MODE CONVERSATIONNELFELIZHANKO OD.1975; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1975; NO 1; PP. 64-67Article

ON HOMOMORPHISMS, CORRECTNESS, TERMINATION, UNFOLDMENTS, AND EQUIVALENCE OF FLOW DIAGRAM PROGRAMS.GOGLIEN JA JR.1974; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1974; VOL. 8; NO 3; PP. 333-365; BIBL. 18 REF.; (13TH ANNU. IEEE SYMP. SWITCHING AUTOM. THEORY; COLLEGE PARK, MD.; 1972)Conference Paper

L'EMULATION, UNE METHODE DE REALISATION DE LA COMPATIBILITE DES PROGRAMMESKOVALEVICH EH V; KOTOV MP; MARGOLIN MS et al.1975; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1975; NO 1; PP. 68-70; BIBL. 3 REF.Article

STRUCTURED DESIGN.STEVENS WP; MYERS GJ; CONSTANTINE LL et al.1974; I.B.M. SYST. J.; U.S.A.; DA. 1974; VOL. 13; NO 2; PP. 115-139; BIBL. 12 REF.Article

COMPUTER PROGRAM MODELSRAMAMOORTHY CV.1971; MICROWAVE RES. INST. SYMP. SER.; U.S.A.; DA. 1971; VOL. 21; PP. 137-146; BIBL. 8 REF.Serial Issue

TRANSLATABILITY OF SCHEMAS OVER RESTRICTED INTERPRETATIONS.KFOURY AJ.1974; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1974; VOL. 8; NO 3; PP. 387-408; BIBL. 17 REF.; (13TH ANNU. IEEE SYMP. SWITCHING AUTOM. THEORY; COLLEGE PARK, MD.; 1972)Conference Paper

NULLSTELLEN VON POLYNOMEN NACH DEM GRAEFFE-VERFAHREN = ZEROS DE POLYNOMES PAR LA METHODE DE GRAEFFELUDERS V.1980; REGELUNGSTECHNIK; DEU; DA. 1980; VOL. 28; NO 2; PP. 65-67; BIBL. 1 REF.Article

RECHNERUNTERSTUETZTE PROGRAMMIERTE LEISTUNGSKONTROLLEN NACH EINEM VERZWEIGTEN PROGRAMM IM FACH TECHNISCHE THERMODYNAMIK MIT HILFE EINES PROZESSRECHNERS. = CONTROLE PROGRAMME A L'AIDE DE CALCULATEUR DE L'ENERGIE SELON UN PROGRAMME RAMIFIE DANS LE CAS DE LA THERMODYNAMIQUE TECHNIQUE A L'AIDE D'UN CALCULATEUR DE PROCESSUSPICHT HP; WLOKA U.1976; WISSENSCH. Z. TECH. HOCHSCH. "CARL SCHORLEMMER" LEUNA-MERSEBURG; DTSCH.; DA. 1976; VOL. 18; NO 1; PP. 105-119; BIBL. 10 REF.Article

WESEN UND VORTEILE DER NORMIERTEN PROGRAMMIERUNG = NATURE ET AVANTAGES DE LA PROGRAMMATION STANDARDISEEWETTERN H.1972; ELEKTRONIK; DTSCH.; DA. 1972; VOL. 21; NO 9; PP. 317-321Serial Issue

ON THE EQUIVALENCE OF SCHEMES = SUR L'EQUIVALENCE DES PROCEDURESGARLAND SJ; LUCKHAM DC.sdIN: 4TH ANNU. ACM SYMP. THEORY COMPUT. DENVER, COLO, 1972. PROC.; S.L.; DA. S.D.; PP. 65-72; BIBL. 6 REF.Conference Paper

BIO-MEDICAL ON-LINE SUPERVISORY SYSTEM (BOSS)VERSTEEG B; DUISTERHOUT JS.sdIN: DECUS EUROPE. 8TH SEMIN. STRASBOURG, 1972. MINI-PAP.; S.L.; DA. S.D.; PP. 76Conference Paper

MINIMALITE DES PROCEDURES DE REDUCTION DES SCHEMAS STANDARD ET RECURSIFS A DES CYCLESNURIEV RM.1975; IN: VOPR. TEOR. MAT. METODY RESHENIYA ZADACH; UFA; AN SSSR; DA. 1975; PP. 17-20; BIBL. 5 REF.Book Chapter

MODULE DE TRAITEMENT PARALLELE AUTOMATIQUE DES PROGRAMMES PAR CYCLESBADRATINOV M SH; GALYAPIN VG; NURIEV RM et al.1975; IN: VOPR. TEOR. MAT. METODY RESHENIYA ZADACH; UFA; AN SSSR; DA. 1975; PP. 28-31; BIBL. 7 REF.Book Chapter

ORGANISATION DU LOGICIEL DES SYSTEMES DE TELETRAITEMENT UTILISANT LE SYSTEME OS/360RUDNEV YU P; EMEL'YANOV AA.1975; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1975; NO 5; PP. 25-35 (7P.); ABS. ANGL.; BIBL. 4 REF.Article

QUELQUES PROBLEMES DE CONSTRUCTION DES PAQUETS DE PROGRAMMES POUR DE PETITS CALCULATEURSMONTSIBOVICH BR; POPOV BA; SERGIENKO IV et al.1975; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1975; PP. 39-42; ABS. ANGL.; BIBL. 12 REF.Article

SIMULATION VON REKURSIVEN UNTERPROGRAMMAUFRUFEN AUF FORTRAN-EBENE. = SIMULATION DES APPELS RECURIFS DE SOUS PROGRAMMES DANS DES PROGRAMMES FORTRANLAUTHER U.1974; ANGEW. INFORMAT.; DTSCH.; DA. 1974; NO 12; PP. 530-531; ABS. ANGL.; BIBL. 3 REF.Article

PROGRAM PROVING: COROUTINESCLINT M.1973; ACTA INFORMAT.; ALLEM.; DA. 1973; VOL. 2; NO 1; PP. 50-63; BIBL. 13 REF.Serial Issue

MODELES MATHEMATIQUES ET METHODES DE SEGMENTATION DES PROGRAMMES POUR LES SYSTEMES DE CALCUL A MEMOIRE HIERARCHIQUEFAJNSHTEJN IA.1973; MODELIROVAN. SLOZHN. SIST., LATV. S.S.R.; S.S.S.R.; DA. 1973; NO 2; PP. 6071; BIBL. 1 P. 1/2Article

COMPUTATION OF RECURSIVE PROGRAMS. THEORY VS PRACTICEMANNA Z.1972; IN: AM. FED. INF. PROCESS. SOC. SPRING JT COMPUT. CONF. ATLANTIC CITY, N.J. 1972. PROC.; MONTVALE, N.J.; AFIPS PRESS.; DA. 1972; PP. 219-223; BIBL. 10 REF.Conference Proceedings

LES GRAPHES FONCTIONNELS EN TANT QUE MODELE MATHEMATIQUE DE CALCULGRABSKA E.1975; PODSTAWY STEROWAN.; POLSKA; DA. 1975; VOL. 5; NO 4; PP. 375-382; ABS. ANGL. RUSSE; BIBL. 5 REF.Article

STRUCTURE DES PAQUETS DES PROGRAMMES D'APPLICATION CONVERSATIONNELSPIROGOV VV; BOGOMOLOV LP; GAJSTEROV SF et al.1975; AVTOMAT. VYCHISLIT. TEKH., LATV. S.S.R.; S.S.S.R.; DA. 1975; NO 6; PP. 71-76; BIBL. 3 REF.Article

PROOF OF CORRECTNESS OF DATA REPRESENTATIONSHOARE CAR.1972; ACTA INFORMAT.; ALLEM.; DA. 1972; VOL. 1; NO 4; PP. 271-281; BIBL. 8 REF.Serial Issue

PROGRAM SCHEMAS WITH EQUALITYCHANDRA AK; ZOHAR MANNA.sdIN: 4TH ANNU. ACM SYMP. THEORY COMPUT. DENVER, COLO, 1972. PROC.; S.L.; DA. S.D.; PP. 52-64; BIBL. 16 REF.Conference Paper

MICROCOMPUTER REAL TIME SOFTWARE RELIABILITY AND FAULT RECOVERYLOMBARDI F.1982; MICROELECTRON. RELIAB.; ISSN 0026-2714; GBR; DA. 1982; VOL. 22; NO 4; PP. 693-697; BIBL. 25 REF.Article

COMPLEXE DE PROGRAMMES "INFOSERVICE-1"VOLES SE; LAZAREV PI; LAZAREV MI et al.1982; PROGRAMMIROVANIE; ISSN 508098; SUN; DA. 1982; NO 6; PP. 84-85; BIBL. 3 REF.Article