01964nam2 2200385 450 00003572520180613131443.020131220d1938----km-y0itaa50------baitaITRelazione generaleUgo Giusticon un'introduzione geografica del prof. Antonio Renato TonioloRoma[s.n.]1938Roma<<Tipografia>> FailliXXV, 251 p., [3] carte di tav. ripieg.ill.27 cm.Sulla pagina precedente il frontespizio dell'esemplare FVig/T41097 firma autografa e data: Gioacchino Viggiani, 2 luglio 1939Sulla pagina precedente il frontespizio dell'esemplare FVig/T41671 firma autografa e data: Gioacchino Viggiani, 8 giugno 19480010000357242001<<Lo>> spopolamento montano in Italia8SpopolamentoZone montaneItalia304.620945(22. ed.)Popolazione. Aumento e diminuzione. ItaliaGiusti,Ugo<1873-1953>67892Toniolo,Antonio Renato<1881-1955>ITUniversità della Basilicata - B.I.A.REICATunimarc000035725Relazione generale102071UNIBASSTD0940120131220BAS010939TTM3020140206BAS011059TTM3020171107BAS011220ATR2020180613BAS011303ATR2020180613BAS011309ATR2020180613BAS011310ATR2020180613BAS011310ATR2020180613BAS011314BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoFVIGFondo ViggianiFVig/4109741097T41097Collocato presso la Scuola di Agraria2013122035Stanza riservataVol. 8BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoFVIGFondo ViggianiFVig/4167141671T41671Collocato presso la Scuola di Agraria2017110735Stanza riservataVol. 805080nam 22007455 450 991048463000332120251226203631.03-540-37678-X10.1007/11823063(CKB)1000000000283747(SSID)ssj0000316413(PQKBManifestationID)11923475(PQKBTitleCode)TC0000316413(PQKBWorkID)10276490(PQKB)10446327(DE-He213)978-3-540-37678-1(MiAaPQ)EBC3068144(PPN)123137551(EXLCZ)99100000000028374720100301d2006 u| 0engurnn#008mamaatxtccrAutomotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /edited by Manfred Broy, Ingolf Krüger, Michael Meisinger1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XIV, 156 p.)Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;4147Bibliographic Level Mode of Issuance: Monograph3-540-37677-1 Includes bibliographical references and index.Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code -- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform -- On the Fault Hypothesis for a Safety-Critical Real-Time System -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service Federations in Automotive Software Applications -- Towards a Component Architecture for Hard Real Time Control Applications -- Adding Value to Automotive Models -- Automotive Software: A Challenge and Opportunity for Model-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink Integration of Giotto/TDL.Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. Today’s luxury cars contain up to 80 electronic control units (ECUs) and 5 di?erent, inter-connectednetworkplatforms, overwhich some700 software-enabled functions are distributed. On the other hand, the complexity induced by this largenumber of functions, their interactions, and their supporting infrastructure has started to becomethe limiting factor for automotive software development. Adequate management of this complexity is particularly important; the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers (e.g., to call for help in cases of emergency), between cars and devices brought into the car by drivers and passengers (such as cell phones, PDAs, and laptops), and even among cars. This dramatically shifts the focus from the development of individual software solutionsresidingondedicatedECUstotheirdistributionandinteractionwithin and beyond car boundaries.Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;4147Computers, Special purposeSoftware engineeringComputer scienceComputer simulationSpecial Purpose and Application-Based SystemsSoftware EngineeringTheory of ComputationComputer Science Logic and Foundations of ProgrammingComputer ModellingComputers, Special purpose.Software engineering.Computer science.Computer simulation.Special Purpose and Application-Based Systems.Software Engineering.Theory of Computation.Computer Science Logic and Foundations of Programming.Computer Modelling.629.20285Broy M.1949-1681196Krüger Ingolf H1758732Meisinger Michael1758733MiAaPQMiAaPQMiAaPQBOOK9910484630003321Automotive Software-Connected Services in Mobile Networks4522681UNINA