MODELISATION DE LA NOTION DE TEST DE PROGRAMMES: APPLICATION A LA PRODUCTION DE JEUX DE TESTS = MODELIZATION OF THE NOTION OF PROGRAM TESTS: APPLICATION TO THE PRODUCTION OF SETS OF TESTSBOUGE LUC.1982; ; FRA; DA. 1982; 479 P.; 30 CM; BIBL. 8 P.; TH. 3E CYCLE: MATH./PARIS 6/1982Thesis

UNE METHODE DE PRESENTATION DES TYPES ABSTRAITS: APPLICATIONS = A METHOD OF PRESENTING ABSTRAIT TYPES: APPLICATIONSBIDOIT MICHEL.1981; ; FRA; DA. 1981; 199 P.; 30 CM; BIBL. 8 P.; TH. 3E CYCLE: INF./PARIS 11/1981/3045Thesis

PRODUCTION DE CODE PAR REECRITURE DE TERMES DE TYPES ABSTRAITS ALGEBRIQUES = CODE PRODUCTION BY REWRITING TERMS OF ALGEBRAIC ABSTRACT TPESRAKOTOZAFY RAYMOND.1982; ; FRA; 78150-LE CHESNAY: IMPR. INST. NATL. INFORM. AUTOM.; DA. 1982; 197 P.; 30 CM; BIBL. 4 P.; ISBN 2-7261-0319-7; TH. 3E CYCLE: MATH./ORLEANS/1982Thesis

Capability based tagged architecturesLOPRIORE, L.IEEE transactions on computers. 1984, Vol 33, Num 9, pp 786-803, issn 0018-9340Article

OBSERVERS FOR SYSTEMS CHARACTERIZED BY SEMIGROUPS. = OBSERVATEURS POUR LES SYSTEMES CARACTERISES PAR DES SEMI-GROUPESGRESSANG RV; LAMONT GB.1975; I.E.E.E. TRANS. AUTOMAT. CONTROL; U.S.A.; DA. 1975; VOL. 20; NO 4; PP. 523-528; BIBL. 16 REF.Article

PROCESSUS DE HARRIS ABSTRAITS.GHOUSSOUB N.1975; ANN. INST. HENRI POINCARE, B; FR.; DA. 1975; VOL. 11; NO 4; PP. 381-395; ABS. ANGL.; BIBL. 10 REF.Article

IL-22 : A critical mediator in mucosal host defenseAUJLA, S. J; KOLLS, J. K.Journal of molecular medicine (Berlin. Print). 2009, Vol 87, Num 5, pp 451-454, issn 0946-2716, 4 p.Article

Experiments and stability in group automataHOFER, G.Theoretical computer science. 1991, Vol 80, Num 1, pp 117-120, issn 0304-3975Article

Temporal associations between interleukin 22 and the extracellular domains of IL-22R and Il-10R2JING LI; TOMKINSON, Kathy N; DE ZUTTER, Gerard et al.International immunopharmacology. 2004, Vol 4, Num 5, pp 693-708, issn 1567-5769, 16 p.Article

Le rôle des noms abstraits dans la grammaire du discours continu = The role of abstract nouns in the grammar of continuous discourseKAROLAK, S.Studi italiani di linguistica teorica ed applicata. 1994, Vol 23, Num 3, pp 477-487, issn 0390-6809Article

Welche Kältemittel in der Zukunft? = Which refrigerant in the future?DOÊRING, R.Die Kälte und Klimatechnik. 1990, Vol 43, Num 9, pp 472-482, issn 0343-2246, 6 p.Article

UNIVERSAL REALIZATION PERSISTENT INTERCONNECTION AND IMPLEMENTATION OF ABSTRACT MODULESGOGUEN J; MESEGUER J.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 265-281; BIBL. 31 REF.Conference Paper

PROJECTIVE LIMITS IN THE CATEGORIES OF HETEROGENEOUS ALGEBRAS AND ABSTRACT AUTOMATAVASILACH S.1978; R.C. CIRCOLO MAT. PALERME; ITA; DA. 1978 PUBL. 1979; VOL. 27; NO 2; PP. 210-228; BIBL. 3 REF.Article

Rapid technology evaluation to HCFC-22/142b blowing agent for refrigerator insulation foamFANICHET, X; KUHN, E; SCHINDLER, P et al.Journal of cellular plastics. 1994, Vol 30, Num 4, pp 291-301, issn 0021-955XConference Paper

« Ut Pictura Theoria » : Abstract Painting and the Repression of LanguageMITCHELL, W. J. T.Critical inquiry. 1989, Vol 15, Num 2, pp 348-371, issn 0093-1896Article

LANGAGES NON STOCHASTIQUES OBTENUS COMME REUNION OU INTERSECTION DE LANGAGES STOCHASTIQUESLAPIN'SH YA K.1974; AVTOMAT. VYCHISLIT. TEKH., LATV. S.S.R.; S.S.S.R.; DA. 1974; NO 4; PP. 6-13; BIBL. 4 REF.Article

Th17 cytokines and mucosal immunityDUBIN, Patricia J; KOLLS, Jay K.Immunological reviews. 2008, Vol 226, pp 160-171, issn 0105-2896, 12 p.Article

Construction of finite labelled transition Systems from B abstract SystemsBERT, Didier; CAVE, Francis.Lecture notes in computer science. 2000, pp 235-254, issn 0302-9743, isbn 3-540-41196-8Conference Paper

Machines à environnement pour la réduction symbolique et l'évaluation partielle = Environment machines for symbolic reduction and partial evaluationCregut, Pierre; Cousineau, Guy.1991, 168 p.Thesis

Sémantiques des langages impératifs d'ordre supérieur et interprétation abstraite = Abstract intepretation of higher-order imperative languagesBourdoncle, François; Cousot, Patrick.1992, 258 p.Thesis

REGULARIZING THE ABSTRACT CONVEX PROGRAMBORWEIN J; WOLKOWICZ H.1981; J. MATH. ANAL. & APPL.; ISSN 0022-247X; USA; DA. 1981; VOL. 83; NO 2; PP. 495-530; BIBL. 28 REF.Article

AN ABSTRACT PROGRAMMING MODELROTHE CE.1981; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1981; VOL. 24; NO 9; PP. 594-596Article

PROVING CONTAINMENT OF BOUNDED AFL.ROVAN B.1975; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1975; VOL. 11; NO 1; PP. 1-55; BIBL. 18 REF.Article

EXISTENCE AND LOWER CLOSURE THEOREMS FOR ABSTRACT CONTROL PROBLEMS.BERKOVITZ LD.1974; S.I.AM. J. CONTROL; U.S.A.; DA. 1974; VOL. 12; NO 1; PP. 27-42; BIBL. 19 REF.Article

IL-22, but Not IL-17, Dominant Environment in Cutaneous T-cell LymphomaMIYAGAKI, Tomomitsu; SUGAYA, Makoto; SUGA, Hiraku et al.Clinical cancer research (Print). 2011, Vol 17, Num 24, pp 7529-7538, issn 1078-0432, 10 p.Article