Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("INFORMATIQUE THEORIQUE")

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

Results 1 to 25 of 14279

  • Page / 572
Export

Selection :

  • and

LES ESPACES DE CALCULS A COMMANDE ITERATIVESKRZYPKOWSKI T.1976; PRACE C.O. P.A.N.; POLSKA; DA. 1976; NO 249; PP. 1-29; ABS. ANGL. RUSSE; BIBL. 4 REF.Serial Issue

GENERATIVE MODELS FOR PARALLEL PROCESSES.ROZENBERG G; WOOD D.1974; COMPUTER J.; G.B.; DA. 1974; VOL. 17; NO 4; PP. 344-348; BIBL. 3 P.Article

UNE PROPRIETE DE NON-AMBIGUITE DES GENERATEURS ALGEBRIQUES.BEAUQUIER J.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 282; NO 20; PP. 1203-1205; ABS. ANGL.Article

WPROWADZENIE DO INFORMATYKI. = INTRODUCTION A L'INFORMATIQUEMARONSKI J; MURASZKIEWICZ MR; NOWICKI Z et al.1975; WARSZAWA; PANSTW. WYDAWN. NAUK.; DA. 1975; PP. 1-157; ABS. ANGL. RUSSE; BIBL. 36 REF.Book

AN INTRODUCTORY DISCRETE STRUCTURES COURSE IN COMPUTER SCIENCE.TREMBLAY JP; MANOHAR R.1974; INFOR; CANADA; DA. 1974; VOL. 12; NO 2; PP. 196-204; ABS. FR.; BIBL. 9 REF.Article

EDP AS A SUBJECT TAUGHT IN THE ACADEMIC TRAINING OF ECONOMISTS. AN INTERVIEW WITH PROFESSOR SCHOPPAN.1975; NEUE TECH. BUERO; DTSCH.; DA. 1975; VOL. 19; NO 5; PP. 129-133Article

AN OPERATOR EMBEDDING THEOREM FOR COMPLEXITY CLASSES OF RECURSIVE FUNCTIONS.MOLL R.1976; THEOR. COMPUTER SCI.; NETHERL.; DA. 1976; VOL. 1; NO 3; PP. 193-198; BIBL. 13 REF.Article

AN OPTIMAL BOUND FOR TWO DIMENSIONAL BIN PACKING.KLEITMAN DJ; KRIEGER MM.1975; IN: ANNU. SYMP. FOUND. COMPUT. SCI. 16; BERKELEY, CALIF.; 1975; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1975; PP. 163-168; BIBL. 5 REF.Conference Paper

A SINGLE-TRACK UNIVERSAL CURRICULUM FOR COMPUTING SCIENCE.STERLING TD; WEINKAM JJ; POLLACK CV et al.1976; INFOR; CANADA; DA. 1976; VOL. 14; NO 1; PP. 40-52; ABS. FR.; BIBL. 6 REF.Article

PROVING PROPERTIES OF PROCESSES. = DEMONSTRATION DES PROPRIETES DES PROCESSUSMAZURKIEWICZ A.1974; ALGORYTMY; POLSKA; DA. 1974; VOL. 11; NO 19; PP. 5-22; ABS. POL. RUSSE; BIBL. 9 REF.Article

ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING. 6; SEATTLE, WASH.; 1974.1976; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1976; VOL. 12; NO 2; PP. 133-268; BIBL. DISSEM.Conference Paper

LEAST FIXED POINTS AND THE RECURSION THEOREM.VAN EMDE BOAS P.1976; STICHTG MATH. CENTRUM, AFD. ZUEWERE WISKDE; NEDERL.; DA. 1976; NO 78; PP. 1-10; BIBL. 11 REF.Serial Issue

ALGORITHMES UNIVERSELS.NOLIN L.1974; REV. FR. AUTOMAT. INFORMAT. RECH. OPERAT., R; FR.; DA. 1974; VOL. 8; NO 1; PP. 1-18; ABS. ANGL.; BIBL. 2 REF.Article

REBUTTAL TO THE AUTHORS'REPLY TO OUR COMMENTS ON THE RELATIONSHIP BETWEEN MULTIVALUED SWITCHING ALGEBRA AND BOOLEAN ALGEBRA UNDER DIFFERENT DEFINITIONS OF COMPLEMENT.DUCASSE E; METZE G.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 3; PP. 311-312; BIBL. 4 REF.Article

INTERNATIONAL COMPUTING SYMPOSIUM. PROCEEDINGS. PREPRINTS; ANTIBES, FR.; 1975.1975; AMSTERDAM; NORTH-HOLLAND; DA. 1975; PP. 1-245; BIBL. DISSEM.Conference Proceedings

COMPLEXITE DES ALGORITHMES PARALLELES DEFINIS PAR DES STRUCTURES HOMOGENESALAD'EV V; OSIPOV O.1975; IZVEST. AKAD. NAUK ESTON. S.S.R., FIZ. MAT.; S.S.S.R.; DA. 1975; VOL. 24; NO 2; PP. 166-172; ABS. EST. ANGL.; BIBL. 8 REF.Article

THEORY OF COMPUTING.1975; IN: 8TH HAWAII INT. CONF. SYST. SCI. PROC.; HONOLULU; 1975; NORTH HOLLYWOOD; WESTERN PERIODICALS CO.; DA. 1975; PP. 1-18; BIBL. DISSEM.Conference Paper

THEORIE DES ALGORITHMES, DES LANGAGES ET DE LA PROGRAMMATION. SEMINAIRE IRIA; ROCQUENCOURT; 1974.1975; ROCQUENCOURT; INST. RECH. INF. AUTOM.; DA. 1975; PP. 1-129; BIBL. DISSEM.; ISBN 2726100627Conference Proceedings

BASES FOR CHAIN-COMPLETE POSETS.MARKOWSKY G; ROSEN BK.1975; IN: ANNU. SYMP. FOUND. COMPUT. SCI. 16; BERKELEY, CALIF.; 1975; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1975; PP. 34-47; BIBL. 17 REF.Conference Paper

SOCIAL CHOICE AND FORMAL LANGUAGE THEORY.PICCOLI ML; WHINSTON A.1973; J. CYBERN.; U.S.A.; DA. 1973; VOL. 3; NO 2; PP. 40-50; BIBL. 9 REF.Article

LA COMPLEXITE DES ALGORITHMES DE MARKOV.BENEJAM JP; PAGET M.1976; C.R. ACAD. SCI., A; FR.; DA. 1976; VOL. 282; NO 7; PP. 381-383; ABS. ANGL.; BIBL. 6 REF.Article

BIBLIOGRAPHY OF L SYSTEMS.ROZENBERG G; PENTTONEN M; SALOMAA A et al.1977; THEOR. COMPUTER SCI.; NETHERL.; DA. 1977 PARU 1978; VOL. 5; NO 3; PP. 339-354Article

ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 16; BERKELEY, CALIF; 1975.1975; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1975; PP. (198P.); BIBL. DISSEM.Conference Proceedings

FRONTIERS OF INFINITE TREES.COURCELLE B.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1978; NO 272; PP. 1-26; ABS. FR.; BIBL. 6 REF.Serial Issue

A NOTE ON EQUAL POWERS OF WORD MORPHISMS.RUOHONEN K.1977; R.A.I.R.O. INFORMAT. THEOR.; FR.; DA. 1977; VOL. 11; NO 3; PP. 207-211; BIBL. 4 REF.Article

  • Page / 572