Ada's derived types and units of measureGEHANI, N. H.Software, practice & experience. 1985, Vol 15, Num 6, pp 555-569, issn 0038-0644Article

CondensationJACQUARD, P.Revue pratique du froid et du conditionnement d'air. 1998, Num 854, pp 33-34, issn 0370-6699Article

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

Consolidated Ada reference manual (language and standard Libraries)Taft, S. Tucker; Duf, Robert A; Brukard, Randall L et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-43038-5, XIX, 560 p, isbn 3-540-43038-5Book

Dhrystone: a synthetic systems programming benchmarkWEICKER, R. P.Communications of the ACM. 1984, Vol 27, Num 10, pp 1013-1030, issn 0001-0782Article

Compressed liquid densities and saturation densities of chlorodifluoromethane (R22)DEFIBAUGH, D. R; MORRISON, G.Journal of chemical and engineering data (Print). 1992, Vol 37, Num 1, pp 107-110, issn 0021-9568Article

Evaluation expérimentale de mélanges HFC = Experimental evaluation of HFC mixturesBENSAFI, A; MONDOT, M.Revue pratique du froid et du conditionnement d'air. 1997, Num 847, pp 45-58, issn 0370-6699, 8 p.Article

Measuring the concentration of a flowing oil-refrigerant mixture: instrument test facility and initial resultsBAUSTIAN, J. J; PATE, M. B; BERGLES, A. E et al.ASHRAE transactions. 1988, Vol 94, Num 3112, pp 167-177, issn 0001-2505, 1Conference Paper

Reliable software technologies (Ada-Europe 2006)Pinho, Luís Miguel; González Harbour, Michael.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34663-5, 1Vol, XII-240 p, isbn 3-540-34663-5Conference Proceedings

Ada 2005 reference manual (language and standard libraries)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69335-1, 1Vol, XXII-765 p, isbn 3-540-69335-1Book

Projecting software defects from analyzing Ada designsAGRESTI, W. W; EVANCO, W. M.IEEE transactions on software engineering. 1992, Vol 18, Num 11, pp 988-997, issn 0098-5589Article

Installation avec évaporateur à air et condenseur à eau recyclée (tour ouverte) = System with an iar evaporator and a recycled water condenser (open tower)JACQUARD, J.Revue pratique du froid et du conditionnement d'air. 1998, Num 863, pp 35-36, issn 0370-6699Article

Installation avec évaporateur à air et condenseur à eau perdue = System with an air evaporator and a lost water condenserJACQUARD, P.Revue pratique du froid et du conditionnement d'air. 1998, Num 863, pp 31-32, issn 0370-6699Article

Measurements of the viscosities of saturated and compressed liquid chlorodifluoromethane (R22)DILLER, D. E; ARAGON, A. S; LAESECKE, A et al.International journal of refrigeration. 1993, Vol 16, Num 1, pp 19-22, issn 0140-7007Article

Comments on several syntax rules in Ada95XU BAOWEN.SIGPLAN notices. 1998, Vol 33, Num 2, pp 65-67, issn 0362-1340Article

OpenAda: Compile-time reflection for Ada 95ROGERS, Patrick; WELLINGS, Andy J.Lecture notes in computer science. 2004, pp 166-177, issn 0302-9743, isbn 3-540-22011-9, 12 p.Conference Paper

Ada 95 (quality and style)Ausnit-Hood, Christine; Johnson, Kent A; Pettit, Robert G et al.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63823-7, XIV, 292 p, isbn 3-540-63823-7Book

Die Programmiersprache Ada = Le langage de programmation ADA = The programming language AOAHERRTWICH, R. G; KNOLL, A.Automatisierungstechnische Praxis. 1989, Vol 31, Num 6, pp 272-281, issn 0178-2320Article

Ada, interfaces and the listener paradigmROSEN, Jean-Pierre.Lecture notes in computer science. 2002, pp 344-356, issn 0302-9743, isbn 3-540-43784-3, 13 p.Conference Paper

The programming language standards scene, ten years on. IX: AdaBARNES, J.Computer standards & interfaces. 1994, Vol 16, Num 5-6, pp 481-485, issn 0920-5489Article

A proof system for concurrent ADA programsGERTH, R; DE ROEVER, W. P.Science of computer programming. 1984, Vol 4, Num 2, pp 159-204, issn 0167-6423Article

About the difficulties of building a Pretty-Printer for AdaRYBIN, Sergey; STROHMEIER, Alfred.Lecture notes in computer science. 2002, pp 257-268, issn 0302-9743, isbn 3-540-43784-3, 12 p.Conference Paper

Ada 95 reference manual (language and standard libraries, international standard ISO/IEC 8652:1995(E))Taft, S. Tucker; Duff, Robert A.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63144-5, XVIII, 526 p, isbn 3-540-63144-5Conference Proceedings

The context: a high-level structuring concept for GKS inputAIRCHINNIGH, M. M. A.Computers & graphics. 1985, Vol 9, Num 3, pp 211-220, issn 0097-8493Article

Parameter-induced aliasing in AdaGELLERICH, Wolfgang; PLÖDEREDER, Erhard.Lecture notes in computer science. 2001, pp 88-99, issn 0302-9743, isbn 3-540-42123-8Conference Paper