05161nam 22006495 450 99646608520331620221207070008.03-540-47748-910.1007/3-540-56802-6(CKB)1000000000233975(SSID)ssj0000320796(PQKBManifestationID)11283769(PQKBTitleCode)TC0000320796(PQKBWorkID)10258582(PQKB)10647614(DE-He213)978-3-540-47748-8(PPN)155185268(EXLCZ)99100000000023397520121227d1993 u| 0engurnn#008mamaatxtccrAda-Europe '93[electronic resource] 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings /edited by Michel Gauthier1st ed. 1993.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1993.1 online resource (VIII, 360 p.)Lecture Notes in Computer Science,0302-9743 ;688Bibliographic Level Mode of Issuance: Monograph3-540-56802-6 Progress 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.This 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.Lecture Notes in Computer Science,0302-9743 ;688Programming languages (Electronic computers)Computer programmingSoftware engineeringOperating systems (Computers)Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Programming languages (Electronic computers).Computer programming.Software engineering.Operating systems (Computers).Programming Languages, Compilers, Interpreters.Programming Techniques.Software Engineering.Operating Systems.005.13/3Gauthier Micheledthttp://id.loc.gov/vocabulary/relators/edtAda-Europe International ConferenceBOOK996466085203316Ada-Europe '932831393UNISA01863nam a2200409 i 4500991001112459707536050613s2005 riua b 100 0 eng d0821836668b13322345-39ule_instDip.to Matematicaeng511.522AMS 81TAMS 57-XXAMS 18-XXAMS 53DAMS 55-XXAMS 37-XXAMS 17BLC QA166.C628Conference on Graphs and Patterns in Mathematics and Theoretical Physics<2001 ;Stony Brook University>622458Graphs and patterns in mathematics and theoretical physics :proceedings of the Conference on Graphs and Patterns in Mathematics and Theoretical Physics, dedicated to Dennis Sullivan's 60th birthday, June 14-21, 2001, Stony Brook University, Stony Brook, NY /Mikhail Lyubich, Leon Takhtajan, editorsProvidence, R.I. :American Mathematical Society,c2005xx, 418 p. :ill. ;27 cmProceedings of symposia in pure mathematics,0082-0717 ;73Includes bibliographical referencesGraph theoryCongressesMathematicsGraphic methodsCongressesPhysicsGraphic methodsCongressesManifolds (Mathematics)CongressesLyubich, Mikhailauthorhttp://id.loc.gov/vocabulary/relators/aut287153Takhtadzhëiìan, Leon Armenovich.b1332234502-04-1423-06-05991001112459707536LE013 81T LYU11 (2005)12013000290690le013pE76.96-l- 00000.i1412109801-09-05Graphs and patterns in mathematics and theoretical physics1461425UNISALENTOle01313-06-05ma -engriu0001247nam0 2200337 i 450 REA003878920231121125648.08878027464IT97-10523 20160623d1997 ||||0itac50 baitaitz01i xxxe z01n˜Il œpalazzo di Atlantecontributi per una fenomenologia della rappresentazione prospetticaPaolo SpinicciMilanoGuerini1997267 p.23 cmSensibilia6In appendice: La prospettiva: una forma simbolica?, dello stesso A.001RAV02573112001 Sensibilia6ProspettivaSpazioArteFIRRMLC415383I701.8221Spinicci, PaoloCFIV114501070258724ITIT-0120160623IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 REA0038789Biblioteca umanistica Giorgio Aprea 52CIS 10/896 52VM 0000647685 VM barcode:00041076. - Inventario:406 FCVMA 2006112420121204 52Palazzo di Atlante1754478UNICAS