UTILISATION D'UN TEST NON PARAMETRIQUE POUR VERIFIER L'HOMOGENEITE DES SERIES CLIMATOLOGIQUESPRUCHNICKI J.1976; PRZEGL. GEOFIS.; POLSKA; DA. 1976; VOL. 21; NO 4; PP. 263-270; ABS. ANGL.; BIBL. 5 REF.Article

ON SPECIFYING VERIFIERSPRATT VR.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 106-116; BIBL. 11 REF.Conference Paper

CALIFORNIA'S DAM SAFETY SUPERVISION.DUKLETH GW.1978; WAT. POWER DAM CONSTR.; GBR; DA. 1978; VOL. 30; NO 9; PP. 58-60Article

AUTOMATION OF SHUTTLE AVIONICS SYSTEM SOFTWARE VERIFICATIONKUHN AE; ROBERTS LW.1982; ADV. ASTRONAUT. SCI.; ISSN 0065-3438; USA; DA. 1982; VOL. 48; PP. 229-250; BIBL. 5 REF.Conference Paper

AN INTERACTIVE SYSTEM FOR GRADUATION VERIFICATIONWANG Y; DASARATHY B.1981; COMPUT EDUC.; ISSN 0360-1315; GBR; DA. 1981; VOL. 5; NO 3; PP. 125-132; BIBL. 5 REF.Article

DANGER SIGNALS FOR BRIDGE INSPECTORS.SHEARMAN WT.1978; PUBLIC WORKS; USA; DA. 1978; VOL. 109; NO 6; PP. 76-79Article

BREVET APPAREIL DE VERIFICATION DE DIMENSIONS, EN PARTICULIER POUR COMPRIMES DE COMBUSTIBLE NUCLEAIRE1978; ; FRA; DA. 1978-12-29; FR/A1/2.389.096; DEP.78-12416/1978-04-26; PR. US/792.290/1977-04-29Patent

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

FORMAL SPECIFICATION OF GRAPHIC DATA TYPESMALLGREN WR.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 687-710; BIBL. 16 REF.Article

PRUEFEN VON FLUESSIGKEITSZAEHLERN OHNE BETRIEBSUNTERBRECHUNG DES LAUFENDEN FOEDERPROZESSES = CHECKING FLUID FLOW METERS WITHOUT FLOW STOPPAGE = VERIFICATION DE COMPTEURS DE FLUIDES SANS INTERRUPTION DE L'ECOULEMENTMARKS HE.1980; ERDOEL-ERDGAS-Z.; ISSN 0014-004X; DEU; DA. 1980; VOL. 96; NO 8; PP. 301-302Article

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

A STUDY ON THE LOSS IN TRANSIT OF JOURNALS SUBSCRIBED THROUGH A VENDORRANGRA VK; MATHUR JB.1982; ANNALS OF LIBRARY SCIENCE AND DOCUMENTATION; ISSN 0003-4835; IND; DA. 1982; VOL. 29; NO 1; PP. 16-18; BIBL. 2 REF.Article

MODELLBILDUNG UND EXPERIMENTELLE UEBERPRUEFUNG DER FLOTATION IN DER BATCHZELLE = MODELLING AND EXPERIMENTAL VERIFICATION OF FLOTATION IN A BATCH CELL = CONSTRUCTION D'UN MODELE DE FLOTTATION ET VERIFICATION EXPERIMENTALE DE CELUI-CI EN CELLULE A FONCTIONNEMENT DISCONTINUWOLLMANN G.1981; KERNFORSCHUNGSZENT. KARLSR.; ISSN 0303-4003; DEU; DA. 1981; NO 3211; 184 P.; ABS. ENG; BIBL. 49 REF.Serial Issue

TWO PROGRAMMING PROBLEMSABRAHAMS PW.1978; SIGPLAN NOT.; USA; DA. 1978; VOL. 13; NO 9; PP. 28-29Article

ON FORMAL AND INFORMAL PROOFS FOR PROGRAM CORRECTNESSCULIK K.1983; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1983; VOL. 18; NO 1; PP. 23-28; BIBL. 12 REF.Article

LICAT SYSTEM FOR AUTOMATIC TESTING OF LINEAR INTEGRATED CIRCUITSTASSINARI V; CEREDA V.1981; ALTA FREQ.; ISSN 0002-6557; ITA; DA. 1981; VOL. 50; NO 5; PP. 279-283; BIBL. 6 REF.Article

A METHOD AND A DEVICE FOR THE CALIBRATION AND TESTING THERMOPHYSICAL MEASUREMENT INSTRUMENTS BY MASS PRODUCTIONKUREPIN VV; KOZIN VM; LEVOCHKIN YU V et al.1981; PROM. TEPLOTEH.; UKR; DA. 1981; VOL. 3; NO 4; PP. 76-82; ABS. ENG; BIBL. 2 REF.Article

AUTOMATIC CONSTRUCTION OF VERIFICATION CONDITION GENERATORS FROM HOARE LOGICSMORICONI M; SCHWARTZ RL.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 363-377; BIBL. 10 REF.Conference Paper

MISE AU POINT DE PROGRAMMES IIHOREJS J.1977; INF. SYST.; CSK; DA. 1977 PUBL. 1978; VOL. 7; NO 3; PP. 223-249; ABS. RUS/ENG; BIBL. 2 P.Article

SHARPENING THE CHARACTERIZATION OF THE POWER OF FLOYD METHODANDREKA H.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 1-26; BIBL. 29 REF.Conference Paper

COMPUTER PROGRAM TO CHECK INPUT ACCURACY OF ISBN NUMBERSINBAL M.1982; BULLETIN - ISRAEL SOCIETY OF SPECIAL LIBRARIES AND INFORMATION CENTRES; ISSN 0021-2318; ISR; DA. 1982; VOL. 12; NO 2; PP. 88-93Article

EIN NACHPRUEF- UND IDENTIFIZIERUNGSSYSTEM FUER DIE QUALITAETSKONTROLLE VON MATERIALIEN = UN SYSTEME DE VERIFICATION ET IDENTIFICATION POUR LE CONTROLE DE LA QUALITE DES MATERIAUXLAW GA.1982; MATERIALPRUEFUNG; ISSN 0025-5300; DEU; DA. 1982; VOL. 24; NO 11; PP. 408-410; ABS. ENG/FREArticle

AUTOMATIC ASSESSMENT AIDS FOR PASCAL PROGRAMREES MJ.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 10; PP. 33-42; BIBL. 3 REF.Article

THE ESA SATELLITE-CHECKOUT INFRASTRUCTUREROWLES JB; HOWIESON JSP.1980; E.S.A. J.; FRA; DA. 1980; VOL. 4; NO 3; PP. 261-275; ABS. FRE; BIBL. 7 REF.Article

STRUMENTI PER IL TESTING DEI PRODOTTI SOFTWARE = OUTILS POUR LE TEST DES PRODUITS LOGICIELSTERREVOLI G.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 2; PP. 145-176; ABS. ENG; BIBL. 75 REF.Article