{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":60,"n_cols":5,"rows_kept":60,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[18,2,18,3],[19,2,19,3],[22,2,22,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[35,2,35,3],[36,2,36,3],[39,2,39,3],[39,4,39,5],[40,2,40,3],[40,4,40,5],[41,2,41,3],[41,4,41,5],[42,2,42,3],[43,2,43,3],[46,2,46,3],[47,2,47,3],[49,2,49,3],[52,2,52,3],[53,2,53,3],[57,2,57,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465913403316"]
[null,null,"Titolo",null,"Critical Systems: Formal Methods and Automated Verification [[electronic resource] ] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017"]
[null,null,"ISBN",null,"3-319-67113-8"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 235 p. 52 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 10471"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Special purpose computers"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and "]
[{"$nulls":4},"autonomous robots; and Modeling and analysis techniques."]
[null,"2.","Record Nr.",null,"UNINA9910716875903321"]
[null,null,"Autore",null,"Eudy Leslie"]
[null,null,"Titolo",null,"SunLine Transit Agency fuel cell electric bus progress report : data period focus: Jan. 2020 through Jul. 2020 / / Leslie Eudy and Matthew Post"]
[null,null,"Pubbl/distr/stampa",null,"[Golden, Colo.] : , : National Renewable Energy Laboratory, , March 2021"]
[null,null,"Descrizione fisica",null,"1 online resource (49 pages) : color illustrations, color map"]
[null,null,"Collana",null,"NREL/PR ; ; 5400-78078"]
[null,null,"Soggetti",null,"Fuel cells"]
[{"$nulls":4},"Buses, Electric - California"]
[{"$nulls":4},"Hydrogen as fuel"]
[{"$nulls":4},"Natural gas vehicles - California"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","\"March 2021.\""]
[null,"3.","Record Nr.",null,"UNINA9910778402003321"]
[null,null,"Autore",null,"Bucken-Knapp Gregg"]
[null,null,"Titolo",null,"Defending the Swedish model [[electronic resource] ] : Social Democrats, trade unions, and labor migration policy reform / / Gregg Bucken-Knapp"]
[null,null,"Pubbl/distr/stampa",null,"Lanham, MD, : Lexington Books, c2009"]
[null,null,"ISBN",null,"1-282-49477-5"]
[{"$nulls":4},"9786612494772"]
[{"$nulls":4},"0-7391-3818-9"]
[null,null,"Descrizione fisica",null,"1 online resource (190 p.)"]
[null,null,"Disciplina",null,"331.09485"]
[{"$nulls":4},"331.12/79485"]
[null,null,"Soggetti",null,"Foreign workers - Sweden"]
[{"$nulls":4},"Foreign workers - Government policy - Sweden"]
[{"$nulls":4},"Sweden Emigration and immigration Government policy"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Contents; Acknowledgments; Chapter 01. Labor Migration and Migration Policy; Chapter 02. Labor Migration and the Preservation of the Swedish Model; Chapter 03. Rejecting Calls for Deregulation of Labor Migration Policy: LO and the SAP in the 2002 Swedish Parliamentary Election Campaign; Chapter 04. The Battle to Preserve an Incentive-Compatible Labor Migration Policy; Chapter 05. Labor Migration and the Eastward Enlargement of the European Union: Understanding the Divergent Preferences of the SAP and LO; Chapter 06. Labor Migration and the Swedish Model, At Home and Abroad; Bibliography"]
[{"$nulls":4},"Index"]
[null,null,null,"Sommario/riassunto","This book explores why the Swedish Social Democratic Party (SAP) and the allied Swedish Confederation of Trade Unions (LO) have been reluctant to embrace calls from employers and bourgeois parties to liberalize Sweden's restrictive third-party national labor migration policy. Gregg Bucken-Knapp shows that the SAP and LO evaluate proposed labor migration policy reforms on the basis of whether they are seen as consistent with, or threatening to, the Swedish model."]