LEADER 06038nam 22007215 450 001 996465581503316 005 20200703045041.0 010 $a3-540-49362-X 024 7 $a10.1007/BFb0015477 035 $a(CKB)1000000000234399 035 $a(SSID)ssj0000320801 035 $a(PQKBManifestationID)11254867 035 $a(PQKBTitleCode)TC0000320801 035 $a(PQKBWorkID)10249071 035 $a(PQKB)10073302 035 $a(DE-He213)978-3-540-49362-4 035 $a(PPN)155214411 035 $a(EXLCZ)991000000000234399 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAda in Europe$b[electronic resource] $eSecond International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 /$fedited by Marcel Toussaint 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XII, 464 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1031 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60757-9 327 $aAda: A sceptical assessment -- Ada95 ? An approach to overcome the software crisis? -- Safe Ada Executive: An executive for Ada safety critical applications -- Developing fault tolerant software in Ada for real-time dependable systems -- The practical application of safety techniques on an Ada based project -- Ada in mixed language applications -- Heterogeneous data structures and cross-classification of objects with Ada 95 -- An ANDF based Ada 95 compiler system -- Performance tuning of a check-out system coded in Ada -- Ariane 5: Development of the on-board software -- PRONAOS ground control center: First operational Ada application in C.N.E.S. -- ASIS for GNAT: Goals, problems and implementation strategy -- KBSE and Ada: Object and enabling technology -- Extending the Ada 95 initial conditions for preelaboration for use in real-time systems -- The use of Ada for the ENVISAT-1 simulator -- Objects at use in nautical simulators -- DIS ? An interface to distributed interactive simulation -- PARIS ? Partitioned Ada for Remotely Invoked Services -- Programming distributed systems with both Ada 95 and PVM -- Distributed object oriented programming and interoperability for Ada 95: An OMG/CORBA approach -- Distributed and parallel systems and HOOD4 -- ReverseNICE: A re-engineering methodology and supporting tool -- Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95 -- The introduction of an Object Oriented Analysis/Design method and Object Oriented Metrics in the software development life-cycle -- Modelling and validation of tasks with algebraic structured nets -- Design of concurrent software based on problem concurrency -- ECLIPS ? A successful experiment combining CCSDS SFDUs, X/Motif, HOOD and Ada -- Applying Teamwork/Ada and RAISE for developing an Air Traffic Control application -- Breaking through the V and V bottleneck -- Periodic processing in hard real-time systems: Assessment of different design models in Ada -- Transaction specification for object-oriented real-time systems in HRT-HOOD -- Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC) -- Ada and timed automata -- Testing Ada 95 object-oriented programs -- Achieving reusable and reliable client-server code using HOODTM automated code generation for ADA95 and C++ targets -- Round table discussion: ?Tools and design methods? held on October 4, 1995 -- Lampbada. 330 $aThis book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995. The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1031 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aSpecial purpose computers 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 0$aSpecial purpose computers. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aOperating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.13/3 702 $aToussaint$b Marcel$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Eurospace-Ada-Europe Symposium 906 $aBOOK 912 $a996465581503316 996 $aAda in Europe$91502001 997 $aUNISA LEADER 00934cam a22002417i 4500 001 991003867809707536 008 020 $a9780691172071 035 $ab14400315-39ule_inst 040 $aDip. Studi Umanistici$bita 041 1 $aeng$hfre 082 00$a882 100 1 $aJouanna, Jacques$0163647 245 10$aSophocles :$ba study of his theater in its political and social context /$cJacques Jouanna ; translated by Steven Rendall 264 1$aPrinceton ;$aOxford :$bPrinceton University Press,$c[2018] 300 $a883 p. ;$c25 cm 700 1 $aRendall, Steven 907 $a.b14400315$b15-07-20$c15-07-20 912 $a991003867809707536 945 $aLe007 Sala C 880 JOU01.01$g1$i2007000301272$lle007$nLE007 Capasso 2020$op$pE53.53$q $rn$s- $t18$u0$v0$w0$x0$y.i15931250$z15-07-20 996 $aSophocles$91753090 997 $aUNISALENTO 998 $ale007$b15-07-20$cm$da $e $feng$gnju$h0$i0 LEADER 04684nam 2200601 450 001 9910146559703321 005 20200429224719.0 035 $a(CKB)1000000000523283 035 $a(EBL)3112688 035 $a(SSID)ssj0001227110 035 $a(PQKBManifestationID)11818175 035 $a(PQKBTitleCode)TC0001227110 035 $a(PQKBWorkID)11274979 035 $a(PQKB)10193558 035 $a(MiAaPQ)EBC3112688 035 $a(RPAM)1653574 035 $a(PPN)193128888 035 $a(EXLCZ)991000000000523283 100 $a19970609h19971997 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHomeomorphisms in analysis /$fCasper Goffman, Togo Nishiura, Daniel Waterman 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[1997] 210 4$d©1997 215 $a1 online resource (235 p.) 225 1 $aMathematical surveys and monographs,$x0076-5376 ;$vvolume 54 300 $aDescription based upon print version of record. 320 $aIncludes bibliographical references (pages207 -211) and index. 327 $a""Contents""; ""Preface""; ""The one dimensional case""; ""Mappings and measures on R[sup(n)]""; ""Fourier series""; ""Part 1. The One Dimensional Case""; ""Chapter 1. Subsets of R""; ""1.1. Equivalence classes""; ""1.2. Lebesgue equivalence of sets""; ""1.3. Density topology""; ""1.4. The Zahorski classes""; ""Chapter 2. Baire Class 1""; ""2.1. Characterization""; ""2.2. Absolutely measurable functions""; ""2.3. Example""; ""Chapter 3. Differentiability Classes""; ""3.1. Continuous functions of bounded variation""; ""3.2. Continuously differentiable functions"" 327 $a""3.3. The class C[sup(n)][0,1]""""3.4. Remarks""; ""Chapter 4. The Derivative Function""; ""4.1. Properties of derivatives""; ""4.2. Characterization of the derivative""; ""4.3. Proof of Maximoff's theorem""; ""4.4. Approximate derivatives""; ""4.5. Remarks""; ""Part 2. Mappings and Measures on R[sup(n)]""; ""Chapter 5. Bi-Lipschitzian Homeomorphisms""; ""5.1. Lebesgue measurability""; ""5.2. Length of nonparametric curves""; ""5.3. Nonparametric area""; ""5.4. Invariance under self-homeomorphisms""; ""5.5. Invariance of approximately continuous functions""; ""5.6. Remarks"" 327 $a""Chapter 6. Approximation by Homeomorphisms""""6.1. Background""; ""6.2. Approximations by homeomorphisms of one-to-one maps""; ""6.3. Extensions of homeomorphisms""; ""6.4. Measurable one-to-one maps""; ""Chapter 7. Measures on R[sup(n)]""; ""7.1. Preliminaries""; ""7.2. The one variable case""; ""7.3. Constructions of deformations""; ""7.4. Deformation theorem""; ""7.5. Remarks""; ""Chapter 8. Blumberg's Theorem""; ""8.1. Blumberg's theorem for metric spaces""; ""8.2. Non-Blumberg Baire spaces""; ""8.3. Homeomorphism analogues""; ""Part 3. Fourier Series"" 327 $a""Chapter 9. Improving the Behavior of Fourier Series""""9.1. Preliminaries""; ""9.2. Uniform convergence""; ""9.3. Conjugate functions and the PA?¡l-Bohr theorem""; ""9.4. Absolute convergence""; ""Chapter 10. Preservation of Convergence of Fourier Series""; ""10.1. Tests for pointwise and uniform convergence""; ""10.2. Fourier series of regulated functions""; ""10.3. Uniform convergence of Fourier series""; ""Chapter 11. Fourier Series of Integrable Functions""; ""11.1. Absolutely measurable functions""; ""11.2. Convergence of Fourier series after change of variable"" 327 $a""11.3. Functions of generalized bounded variation""""11.4. Preservation of the order of magnitude of Fourier coefficients""; ""Appendix A. Supplementary Material""; ""Sets, Functions and Measures""; ""A.1. Baire, Borel and Lebesgue""; ""A.2. Lipschitzian functions""; ""A.3. Bounded variation""; ""Approximate Continuity""; ""A.4. Density topology""; ""A.5. Approximately continuous maps into metric spaces""; ""Hausdorff Measure and Packing""; ""A.6. Hausdorff dimension""; ""A.7. Hausdorff packing""; ""Nonparametric Length and Area""; ""A.8. Nonparametric length""; ""A.9. Schwarz's example"" 327 $a""A.10. Lebesgue's lower semicontinuous area"" 410 0$aMathematical surveys and monographs ;$vno. 54. 606 $aHomeomorphisms 606 $aMathematical analysis 615 0$aHomeomorphisms. 615 0$aMathematical analysis. 676 $a515/.13 700 $aGoffman$b Casper$f1913-$061898 702 $aNishiura$b Togo$f1931- 702 $aWaterman$b Daniel 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910146559703321 996 $aHomeomorphisms in analysis$9374766 997 $aUNINA