LEADER 05161nam 22006495 450 001 996466085203316 005 20221207070008.0 010 $a3-540-47748-9 024 7 $a10.1007/3-540-56802-6 035 $a(CKB)1000000000233975 035 $a(SSID)ssj0000320796 035 $a(PQKBManifestationID)11283769 035 $a(PQKBTitleCode)TC0000320796 035 $a(PQKBWorkID)10258582 035 $a(PQKB)10647614 035 $a(DE-He213)978-3-540-47748-8 035 $a(PPN)155185268 035 $a(EXLCZ)991000000000233975 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAda-Europe '93$b[electronic resource] $e12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings /$fedited by Michel Gauthier 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (VIII, 360 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v688 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56802-6 327 $aProgress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status -- Graphics development in Ada -- The olympus attitude and orbital control system A case study in hard real-time system design and implementation -- Information systems support in Ada 9X -- The impact of Ada on MIS applications -- SAMeDL ? A pilot project -- Applying Ada9X to two real time applications: A case study -- An efficient compiler validation method for Ada 9X -- Avoiding anomalies in inheritance schemes -- Object-oriented design of an air defence simulator -- A comparison of the object oriented features of Ada 9X and C++ -- Use and abuse of exceptions ? 12 guidelines for proper exception handling -- Error-prone exception handling in large Ada systems -- Structuring iterators to encourage reuse -- Tool for computing cohesion and coupling in Ada programs: DIANA dependent part -- Data compatibility in a heterogeneous processor environment -- An operational computer aided software environment: ILIADE -- Performance expectations on Ada programs -- The impact of an Ada run-time system's performance characteristics on scheduling models -- Distributed run-time system, a protocol for Ada -- Certification of Ada real time executives for safety critical applications -- Performance evaluation of parallel Ada programs using an experimental multiprocessor -- Adam, an Ada simulation toolkit -- Real and virtual interrupt support: The mapping of a CARTS feature to two different architectures -- Toward a secondary standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35. 330 $aThis volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v688 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aOperating systems (Computers). 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 676 $a005.13/3 702 $aGauthier$b Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAda-Europe International Conference 906 $aBOOK 912 $a996466085203316 996 $aAda-Europe '93$92831393 997 $aUNISA LEADER 01182nam0 22002651i 450 001 UON00394545 005 20231205104628.473 010 $a90-04-08453-3 100 $a20110623d1988 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aAlfred of Sareshels Commentary on the Metheora of Aristotle$fcritical edition, introduction and notes by James K. Otte - Leiden$betc.]$eE. J. Brill, 1988 - VIII, 131 p. ; 24 cm. 410 1$1001UON00067522$12001 $aStudien und Texte zur Geistesgeschichte des Mittelalters$fHerausgegeben von Jan A. Aertsen$v19 620 $aNL$dLeiden$3UONL003056 676 $a552$cPETROLOGIA$v20 700 0$aALFREDUS ANGELICUS$3UONV202954$0705801 702 1$aOTTE$bJames K.$3UONV202955 712 $aBrill$3UONV245886$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00394545 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FS 04641 $eSI FP 4253 5 996 $aAlfred of Sareshels Commentary on the Metheora of Aristotle$91351568 997 $aUNIOR LEADER 01145nam0 22002891i 450 001 UON00411302 005 20231205104741.872 010 $a28-520-3000-4 100 $a20121002d1985 |0itac50 ba 101 $afre 102 $aFR 105 $a|||| 1|||| 200 1 $aAmi et Amile$echanson de geste$ftraduite en français moderne par Joël Blanchard et Michel Quereuil 210 $aParis$cH. Champion$d1985 215 $a79 p.$d22 cm. 410 1$1001UON00454634$12001 $aTraductions des Classiques Français du Moyen Âge$1210 $aParis$cH. Champion$v37 620 $aFR$dParis$3UONL002984 676 $a843.1$cNarrativa francese medioevale (fino al 1400).$v21 702 1$aBlanchard$bJoël$3UONV227080 702 1$aQUEREUIL$bMichel$3UONV227081 712 $aChampion$3UONV248947$4650 801 $aIT$bSOL$c20250704$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00411302 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Fil.R II 328 $eSI 1171 7 328 996 $aAmi et Amile$977190 997 $aUNIOR