01736nam--2200457---450-99000347561020331620110916091910.0978-88-387-5296-6000347561USA01000347561(ALEPH)000347561USA0100034756120101207d2010----km-y0itay50------baitaIT||||||||001yy<<Il>> nuovo formulario delle assenze negli Enti localicon guida all'orario di lavoro e al procedimento disciplinareClaudio Geniale, Cinzia Renna2. ed. agg. con D.Lgs. 27 ottobre 2009, n. 150 (attuazione della L. 15/2009)Santarcangelo di RomagnaMaggioli2010392 p.24 cm1 CD-ROMProgetto ente localeAmministrazione e management228Il CD-ROM contiene: 68 schemi compilabili e stampabili; per sistema operativo Windows 98 o successivi2001Progetto ente localeAmministrazione e management, 2282001001-------2001LavoratoriAssenze dal lavoroLegislazioneBNCF342.450686GENIALE,Claudio605893RENNA,Cinzia541779ITsalbcISBD990003475610203316XXV.2.E. 7366271 G.XXV.2.E.00284671BKGIUFIORELLA9020101207USA011430FIORELLA9020101207USA011435FIORELLA9020101207USA011540FIORELLA9020101207USA011540ANDRIA9020110916USA010919Nuovo formulario delle assenze negli Enti locali1112467UNISA04058oam 2200685I 450 991046200650332120200520144314.01-136-62940-81-283-84183-51-136-62941-60-203-80281-010.4324/9780203802816 (CKB)2670000000277333(EBL)1075367(OCoLC)821176383(SSID)ssj0000810818(PQKBManifestationID)11443886(PQKBTitleCode)TC0000810818(PQKBWorkID)10833457(PQKB)10400811(MiAaPQ)EBC1075367(Au-PeEL)EBL1075367(CaPaEBR)ebr10629062(CaONFJC)MIL415433(OCoLC)900419013(EXLCZ)99267000000027733320180706e20111978 uy 0engur|n|---|||||txtccrEconomic growth in Britain and France, 1780-1914 two paths to the twentieth century /Patrick O'Brien and Caglar KeyderAbingdon, Oxon ;New York :Routledge,2011.1 online resource (209 p.)Routledge revivals"First published in 1978 by George Allen & Unwin Ltd."--T. pages verso.0-415-68498-6 0-415-68234-7 Includes bibliographical references and index.Cover; Title; Copyright; Dedication; Contents; List of Tables; Introduction and Acknowledgements; PART ONE HISTORIOGRAPHY, DATA AND METHOD; 1 Definitions and Historiography of Retardation; 2 Data and Methods; 2.1 Data; 2.2 Services and commodity output; 2.3 Periodisation and cycles; 2.4 The rate of exchange; Appendix A: The Exchange Rates; Appendix B: Sensitivity Analysis for 1856; Appendix C: Price Correlations; PART TWO WELFARE; 3 Per Capita Incomes and Real Wages; 3.1 Domestic commodity output; 3.2 Domestic commodity output per capita; 3.3 Per capita commodity flow and foreign trade3.4 Real wages and the structure of employment3.5 Conclusions; PART THREE PRODUCTIVITY; 4 The Productivity of Labour and Structural Change; 4.1 Concepts and data; 4.2 Global productivity and the quality of labour; 4.3 Labour productivities in agriculture and industry; 4.4 Structural change; 5 Agriculture; 5.1 Labour productivity; 5.2 The quantity and quality of land; 5.3 Product mix and value added per hectare; 5.4 Farm animals as capital goods; 5.5 Output per hectare in physical terms; 5.6 The systems of tenure; 5.7 Conclusions; 6 Industry; 6.1 Estimates of labour productivity6.2 Product mix6.3 Demand and specialisation; 6.4 Labour supplies; 6.5 Conclusions; Appendix D: A Model of Industrial Development for Britain and France 1780-1914; Conclusions; Bibliography of Official Sources; IndexFirst published in 1978, Professor O'Brien's Economic Growth in Britain and France 1780-1914 is an original and pioneering exercise in comparative and quantitative economic history. It finds a controversial place in the debate on the question of French retardation in the 19th century and as a brave and important contribution towards the understanding of economic growth in Western Europe. The author attempts to comprehend and evaluate the economic performance of France through explicit comparisons with Britain, while considering British economic history from a French perspective. ChallRoutledge RevivalsGreat BritainHistory19th centuryFranceHistoryGreat BritainEconomic conditions19th centuryFranceEconomic conditionsElectronic books.339.5/0941339.50941O'Brien Patrick Karl.127265Keyder Caglar250085FlBoTFGFlBoTFGBOOK9910462006503321Economic growth in Britain and France 1780-191446558UNINA03650oam 2200613I 450 991079077050332120230803220514.00-429-22769-81-315-81505-210.1201/b15982(CKB)2550000001161934(EBL)1378863(OCoLC)863821658(SSID)ssj0001039620(PQKBManifestationID)11554459(PQKBTitleCode)TC0001039620(PQKBWorkID)10985665(PQKB)10451776(MiAaPQ)EBC1378863(OCoLC)861983866(EXLCZ)99255000000116193420180420d20142014 uy 0engur|n|---|||||txtccrNew studies on former and recent landscape changes in Africa /editor, Jurgen RungeBoca Raton :CRC Press,[2014].©20141 online resource (236 p.)Palaeoecology of Africa : international yearbook of landscape evolution and palaeoenvironments,0168-6208 ;volume 32Description based upon print version of record.1-138-00116-3 1-306-13684-9 Includes bibliographical references.Front Cover; Contents; FOREWORD AND INTRODUCTION; CONTRIBUTORS; CHAPTER 1: PALAEOECOLOGICAL CONDITIONS IN THE SOKOTO BASIN AND THE DEEP OFFSHORE NIGER DELTA (NIGERIA) EVIDENCED BY BENTHONIC FORAMINIFERAL MICROFAUNA; CHAPTER 2: A HAZY SHADE OF WINTER: LATE PLEISTOCENE ENVIRONMENTS AND BEHAVIOURAL ADAPTATIONS AT BLOMBOS CAVE, SOUTH AFRICA; CHAPTER 3: LATE QUATERNARY VALLEY AND SLOPE DEPOSITS AND THEIR PALAEOENVIRONMENTAL SIGNIFICANCE IN THE UPPER CONGO BASIN, CENTRAL AFRICACHAPTER 4: LAKE LEVEL CHANGES OF BAROMBI MBO (CAMEROON) DURING THE LATE QUATERNARY: COMPARED CATCHMENT AND CRATER LAKE RECORDSCHAPTER 5: PALAEOENVIRONMENTAL OBSERVATIONS ON A LATE HOLOCENE DEBRIS-FLOW PROCESS IN LAKE ASSOM (ADAMAWA, CAMEROON); CHAPTER 6: PALAEOENVIRONMENTAL CHARACTERISTICS OF THE PLIO-PLEISTOCENE CHIWONDO AND CHITIMWE BEDS (N-MALAWI); CHAPTER 7: WHY 'YOUNGER DRYAS'? WHY NOT 'ANTARCTIC COLD REVERSAL'? EKSTEENFONTEIN REVISITED; CHAPTER 8: HISTORICAL AND PRESENT-DAY LANDSCAPE DEGRADATION IN ANAMBRA STATE (NIGERIA): IMPACTS AND REMEDIAL MEASURESCHAPTER 9: CLIMATE CHANGE ANALYSIS ACROSS RAINFALL-DISCHARGE VARIABILITY IN SELECTED RIVER CATCHMENTS OF KENYA AND CENTRAL AFRICAN REPUBLICBOOK SERIES PAGEThis book treats former and recent landscape evolution and past environments of the African continent (e.g. climate change, vegetation dynamics and growing impact of humans on ecosystems) and will be of interest to all concerned with low latitudes ecosystem changes and their respective interpretation in the framework of natural climate and vegetation change evidenced by a variety of methods that allow us to read and learn from 'proxy data' archives. Archaeologists, Palynologists, Palaeobotanists, Geographers, Geologists and Geomorphologists will find this edition equally useful for their work--Provided by publisher.Palaeoecology of Africa ;v. 32.PaleoecologyAfricaGeologyAfricaPaleoecologyGeology561/.1096NAT010000SCI031000bisacshRunge Jurgen1962-FlBoTFGFlBoTFGBOOK9910790770503321New studies on former and recent landscape changes in Africa3846435UNINA04197nam 22007095 450 991048417150332120251225211018.03-319-60225-X10.1007/978-3-319-60225-7(CKB)4340000000061577(DE-He213)978-3-319-60225-7(MiAaPQ)EBC6295593(MiAaPQ)EBC5578958(Au-PeEL)EBL5578958(OCoLC)990184990(PPN)202990893(EXLCZ)99434000000006157720170527d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /edited by Ahmed Bouajjani, Alexandra Silva1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIV, 243 p. 50 illus.) Programming and Software Engineering,2945-9168 ;103213-319-60224-1 Session types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems.This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.Programming and Software Engineering,2945-9168 ;10321Computer scienceSoftware engineeringArtificial intelligenceMachine theoryComputer networksComputer Science Logic and Foundations of ProgrammingSoftware EngineeringArtificial IntelligenceFormal Languages and Automata TheoryComputer Communication NetworksComputer science.Software engineering.Artificial intelligence.Machine theory.Computer networks.Computer Science Logic and Foundations of Programming.Software Engineering.Artificial Intelligence.Formal Languages and Automata Theory.Computer Communication Networks.004.36Bouajjani Ahmededthttp://id.loc.gov/vocabulary/relators/edtSilva Alexandraedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484171503321Formal Techniques for Distributed Objects, Components, and Systems2880511UNINA