01107nam 2200385 450 991046772960332120191127075911.080-7308-858-4(CKB)4100000009265974(MiAaPQ)EBC5968484(Au-PeEL)EBL5968484(OCoLC)1126211476(EXLCZ)99410000000926597420191127d2016 uy 0spaurcnu||||||||txtrdacontentcrdamediacrrdacarrierCinske mysleni zevnitr citanka tradicnich komentaru ke Knize Zhuangzi /David MachekPraha :Filozoficka fakulta Univerzity Karlovy,2016.1 online resource (284 pages)80-7308-657-3 Philosophy, ChineseElectronic books.Philosophy, Chinese.181.11Machek David889275MiAaPQMiAaPQMiAaPQBOOK9910467729603321Cinske mysleni zevnitr1986752UNINA04663nam 22006855 450 99646642620331620200703164013.03-030-27008-410.1007/978-3-030-27008-7(CKB)4100000009076221(DE-He213)978-3-030-27008-7(MiAaPQ)EBC5918907(PPN)253862663(EXLCZ)99410000000907622120190724d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Methods for Industrial Critical Systems[electronic resource] 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /edited by Kim Guldstrand Larsen, Tim Willemse1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XV, 161 p. 156 illus., 33 illus. in color.) Programming and Software Engineering ;116873-030-27007-6 Includes bibliographical references and index.Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Verification of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Verification for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universität des Saarlandes) and a special session on (commercial) formal methods in industry. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.Programming and Software Engineering ;11687Programming languages (Electronic computers)Software engineeringComputersArtificial intelligenceComputer simulationProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Programming languages (Electronic computers).Software engineering.Computers.Artificial intelligence.Computer simulation.Programming Languages, Compilers, Interpreters.Software Engineering.Theory of Computation.Artificial Intelligence.Simulation and Modeling.004.0151Larsen Kim Guldstrandedthttp://id.loc.gov/vocabulary/relators/edtWillemse Timedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466426203316Formal Methods for Industrial Critical Systems1921860UNISA01442nam 2200385 450 991070417070332120160107130326.0(CKB)5470000002437956(OCoLC)933888811(EXLCZ)99547000000243795620160107d2015 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierAssessment of Paleozoic shale gas resources in the Sichuan Basin of China, 2015 /National and Global Petroleum Resource Assessment Project[Reston, VA] :U.S. Department of the Interior, U.S. Geological Survey,2015.1 online resource (4 unnumbered pages) color illustrations, color mapsFact sheet ;2015-3053Title from title screen (viewed on Jan. 7, 2016)."October 2015."Includes bibliographical references (page [4]).Shale gasChinaSichuan ShengGeology, StratigraphicPaleozoicShale gasGeology, StratigraphicNational and Global Petroleum Resource Assessment Project (U.S.),Geological Survey (U.S.),GPOGPOBOOK9910704170703321Assessment of Paleozoic shale gas resources in the Sichuan Basin of China, 20153314313UNINA04589oam 2200637I 450 991096538490332120251117110307.01-136-49704-80-367-08779-01-136-49697-11-315-01609-510.4324/9781315016092 (CKB)2670000000518639(EBL)1619090(OCoLC)437084710(MiAaPQ)EBC1619090(Au-PeEL)EBL1619090(CaPaEBR)ebr10836772(CaONFJC)MIL573507(OCoLC)870226907(OCoLC)1000426702(OCoLC)252893604(FINmELB)ELB140367(EXLCZ)99267000000051863920180331d2002 uy 0engur|n|---|||||rdacontentrdamediardacarrierPeasant women and politics in Fascist Italy the Massaie rurali /Perry Willson1st ed.London ;New York :Routledge,2002.1 online resource (236 p.)Description based upon print version of record.0-415-86644-8 0-415-29171-2 Includes bibliographical references and index.Cover; Half Title; Title Page; Copyright Page; Table of Contents; List of plates; Acknowledgements; List of abbreviations; Glossary of Italian terms and organizations; Map of Italy; Introduction; The Sezione Massaie Rurali dei Fasci Femminili; Notes; 1.Peasant women, the rural world and the Fasci Femminili; The ruralization campaign andfascist agricultural policy; The role ofwomen in agriculture; The Fasci Femminili and rural questions; Notes; 2.Ladies in the field: women's farm education, the Unionedelle Massaie della Campagna and Domus Rustica; Agricultural education in Italy before 1933Women's agricultural educationThe Unione delle Massaie delta Campagna; Domus rustica; Towards the future; Notes; 3.'An Extraordinary Thing': the National Fascist Federation of Massaie Rurali; Fascist unions; Regina Terruzzi; The National Fascist Federation of Massaie Rurali; L'azione delle massaie rurali; Activities of the FNFMR; Notes; 4. 'Going to the People': the Massaie Rurali section of the Fasci Femminili; 'Going to the People' - the political project; Structure; Funding; Organizers and peasants: class hierarchies reinforced; Notes5.'Into Every Farmhouse and Cottage': propagandain printThe newspaper; Pamphlets and other occasional publications; The almanac and calendar; Delivering the message; Notes; 6.'Women with a Hundred Arms': the training programme; Rational agriculture; Competitions; Handouts; Rabbits and chickens; Intervening in the market; War, autarky and the nation; Training the trainers; Notes; 7.'At the Gates of Rome': the Sant'Alessio Training College; Aurelia Josz and the Niguarda school; The Sant'Alessio Teacher Training College; Training the Massaie leaders; Beyond training; Notes8.A Dopolavoro for rural women? radio, film and folkloreWelfare and leisure; Getting out; Film; Radio; North and South; Notes; 9.Recruiting for the nation: Why did three million jointhe Massaie Rurali?; Who joined?; Regional differences; The Church; Reggio Emilia; The South; Future voters; Notes; Epilogue; 1943-5; Modernization?; Political legacy; The Coldiretti; The UMC and the Coldiretti; Donne Rurali; Notes; IndexPeasant women were the largest female occupational group in Italy between the wars. They led lives characterised by great poverty and heavy workloads, but Fascist propaganda extolled them as the mothers of the nation and the guardians of the rural worlds, the most praiseworthy of Italian women.This study is the first published history of the Massaie Rurali, the Fascist Party's section for peasant women, which, with three million members by 1943, became one of the largest of the regime's mass mobilizing organizations. The section played a key role in such core fascist campaigns as Women peasantsPolitical activityItalyHistory20th centuryFascism and womenItalyHistory20th centuryWomen peasantsPolitical activityHistoryFascism and womenHistory324.245/02Willson Perry R.475031MiAaPQMiAaPQMiAaPQBOOK9910965384903321Peasant women and politics in fascist Italy1237050UNINA