A NOTE ON DISCREPANCIES BETWEEN LOCAL MAGNITUDE (ML) AND MICROEARTHQUAKE MAGNITUDE SCALESTHATCHER W.1973; BULL. SEISMOL. SOC. AMER.; U.S.A.; DA. 1973; VOL. 63; NO 1; PP. 315-319; BIBL. 12REF.Serial Issue

Programme de calcul d'un coefficient correcteur de puissance frigorifique = Program for corrector factor calculation of refrigerating powerADAMOWICZ; VENDITELLI.Revue générale du Froid. 1986, Vol 76, Num 10, pp 533-535, issn 0035-3205Article

K_β/K_α X-ray intensity ratio in the region of 15≤Z≤22ZARASIZ, A.Journal of radioanalytical and nuclear chemistry. 1994, Vol 185, Num 1, pp 193-197, issn 0236-5731Article

How Politically Correct Is Political Correctness?: A SWOT Analysis of This PhenomenonMARQUES, Joan F.Business & society. 2009, Vol 48, Num 2, pp 257-266, issn 0007-6503, 10 p.Article

Storeless semantics and alias logicBOZGA, Marius; LOSIF, Radu; LAKNECH, Yassine et al.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 295-305, issn 1523-2867, 11 p.Conference Paper

VERIFICATION OF PROGRAMS WITH PROCEDURE-TYPE PARAMETERSERNST GW; NAVLAKHA JK; OGDEN WF et al.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 2; PP. 149-169; BIBL. 8 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

TRANSFORMING PROGRAMS TO MONITOR CORRECT SEQUENCINGMIDDLETON AG; BOYD RN.1982; A GENERAL SURVEY OF SYSTEMS METHODOLOGY. SOCIETY FOR GENERAL SYSTEMS RESEARCH. ANNUAL MEETING. 26/1982-01-05/WASHINGTON DC; USA; LOUISVILLE: SOCIETY FOR GENERAL SYSTEMS RESEARCH; DA. 1982; PP. 338-341; BIBL. 7 REF.Conference Paper

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

Calculating with procedure callsBIJLSMA, A.Information processing letters. 1993, Vol 46, Num 5, pp 211-217, issn 0020-0190Article

A closer look at constraints as processesRAJA, N; SHYAMASUNDAR, R. K.Information processing letters. 2006, Vol 98, Num 5, pp 206-210, issn 0020-0190, 5 p.Article

On the mechanical derivation of loop invariantsCHADHA, R; PLAISTED, D. A.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 705-744, issn 0747-7171Article

Relativistic cross sections for atomic K- and L-shell ionization by protons, calculated from a Dirac-Hartree-Slater modelMAU HSIUNG CHEN; CRASEMANN, B.Atomic data and nuclear data tables. 1985, Vol 33, Num 2, pp 217-233, issn 0092-640XArticle

Some investigations on deadlock freedom issues of a cyclically connected system using dijkstra's weakest precondition calculusBANERJEE, Jayasri; ANUP KUMAR BANDYOPADHYAY; AJIT KUMAR MANDAL et al.ACM SIGPLAN notices. 2007, Vol 42, Num 5, pp 10-15, issn 1523-2867, 6 p.Article

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

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

La justesse de la monnaie : L'ARGENT = Correctness of Money : The MoneyHAUTCOEUR, P.-C.Communio (Paris). 1996, Vol 21, Num 4, pp 35-50, issn 0338-781XArticle

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

PARTIAL CORRECTNESS OF DISTRIBUTED PROGRAMSCOLEMAN D; GALLIMORE RM.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 138-180; BIBL. 6 REF.Conference Paper

A COMPARATIVE ANALYSIS OF FUNCTIONAL CORRECTNESSDUNLOP DD; BASILI VR.1982; ACM COMPUT. SURV.; ISSN 0360-0300; USA; DA. 1982; VOL. 14; NO 2; PP. 229-244; BIBL. 21 REF.Article

A MECHANISM FOR EXCEPTION HANDLING AND ITS VERIFICATION RULESCOCCO N; DULLI S.1982; COMPUTER LANGUAGES; ISSN 0096-0551; USA; DA. 1982; VOL. 7; NO 2; PP. 89-102; BIBL. 16 REF.Article

PROGRAMMING WITH VERIFICATION CONDITIONSVAN EMDEN MH.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 2; PP. 148-159; BIBL. 14 REF.Article

CONSTRUCTIVE METHODS OF PROGRAM DESIGN.JACKSON MA.1976; LECTURES NOTES COMPUTER SCI.; GERM.; DA. 1976; PP. 237-262; BIBL. 5 REF.; (EUR. COOP. INF. CONF. 1. PROC.; AMSTERDAM; 1976)Conference Paper

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

Installation avec évaporateur à air et condenseur à air = Refrigerating unit with an air evaporator and an air condenserJACQUARD, P.Revue pratique du froid et du conditionnement d'air. 1998, Num 862, pp 49-50, issn 0370-6699Article