{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":75,"n_cols":5,"rows_kept":75,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[34,2,34,3],[45,2,45,3],[46,2,46,3],[48,2,48,3],[48,4,48,5],[49,2,49,3],[49,4,49,5],[50,2,50,3],[51,2,51,3],[52,2,52,3],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[68,2,68,3],[69,2,69,3],[72,2,72,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990001073130203316"]
[null,null,"Autore",null,"VINCI, Giuseppe <1941- >"]
[null,null,"Titolo",null,"Lavoro a tempo determinato : decreto legislativo 6 settembre 2001, n.368, attuazione della Direttiva 1999/70/CE relativa all'Accordo Quadro sul lavoro a tempo determinato concluso dall'UNICE, dal CEEP e dal CES / Giuseppe Vinci, Lauretta Vuillermoz"]
[null,null,"Pubbl/distr/stampa",null,"Napoli : Finanze & Lavoro, 2001"]
[null,null,"ISBN",null,"88-8149-263-6"]
[null,null,"Descrizione fisica",null,"126 p. ; 21 cm"]
[null,null,"Collana",null,"Lavoro oggi ; 108"]
[null,null,"Disciplina",null,"331"]
[null,null,"Soggetti",null,"Contratti di lavoro a tempo determinato"]
[null,null,"Collocazione",null,"XXV.2.A 55 (IG III 1006)"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996391314703316"]
[null,null,"Titolo",null,"The doctrine of the Bible, or, Rules of discipline [[electronic resource] ] : brieflie gethered through the whole course of the scripture, by way of questions and answers"]
[null,null,"Pubbl/distr/stampa",null,"At London, : Printed by Richard Braddocke, for Thomas Pauier, and are to be sold at his shop, at the entering in of the Exchange, 1606"]
[null,null,"Descrizione fisica",null,"[4], 136, [2] p"]
[null,null,"Soggetti",null,"Questions and answers."]
[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","Reproduction of original in: Yale University Library."]
[null,null,null,"Sommario/riassunto","eebo-0198"]
[null,"3.","Record Nr.",null,"UNINA990000428160403321"]
[null,null,"Autore",null,"Jossa, Paolo"]
[null,null,"Titolo",null,"Conoscenza e rappresentazione del costruito : un itinerario all'interno di uno dei più attuali problemi di interesse collettivo / Paolo Jossa"]
[null,null,"Pubbl/distr/stampa",null,"Napoli, : Edizioni Scientifiche Italiane, 1997"]
[null,null,"ISBN",null,"88-8114-511-1"]
[null,null,"Descrizione fisica",null,"260 p. ; 22 cm"]
[null,null,"Disciplina",null,"720"]
[null,null,"Locazione",null,"DINED"]
[{"$nulls":4},"DARST"]
[{"$nulls":4},"FARBC"]
[{"$nulls":4},"DARPU"]
[null,null,"Collocazione",null,"08 AE 70"]
[{"$nulls":4},"17.225"]
[{"$nulls":4},"30.641"]
[{"$nulls":4},"DE FUSCO 577"]
[{"$nulls":4},"TECN 17"]
[{"$nulls":4},"INU B 998"]
[{"$nulls":4},"C 1319 CAN"]
[{"$nulls":4},"TECN B 1133"]
[{"$nulls":4},"TECN B 1131"]
[{"$nulls":4},"TECN B 1132"]
[{"$nulls":4},"TECN B 1415"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"4.","Record Nr.",null,"UNINA9910413437403321"]
[null,null,"Titolo",null,"Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020"]
[null,null,"ISBN",null,"3-030-55089-3"]
[null,null,"Edizione",null,"[1st ed. 2020.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVII, 221 p. 32 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 12154"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer systems"]
[{"$nulls":4},"Natural language processing (Computer science)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Natural Language Processing (NLP)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapters "]
[{"$nulls":4},"include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K – A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling."]