{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":31,"n_cols":5,"rows_kept":31,"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],[6,2,6,3],[7,2,7,3],[8,2,8,3],[11,2,11,3],[12,2,12,3],[16,2,16,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[23,2,23,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910459459803321"]
[null,null,"Autore",null,"Bozzano Marco"]
[null,null,"Titolo",null,"Design and safety assessment of critical systems / / Marco Bozzano, Adolfo Villafiorita"]
[null,null,"Pubbl/distr/stampa",null,"Boca Raton : , : Auerbach Publications, , 2011"]
[null,null,"ISBN",null,"0-429-07004-7"]
[{"$nulls":4},"1-4398-0332-3"]
[null,null,"Descrizione fisica",null,"1 online resource (288 p.)"]
[null,null,"Disciplina",null,"620.8/6"]
[null,null,"Soggetti",null,"Industrial safety"]
[{"$nulls":4},"System safety"]
[{"$nulls":4},"Electronic books."]
[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,"Front cover; Contents; Preface; Acknowledgments; About the Authors; Chapter 1: Introduction; Chapter 2: Dependability, Reliability,and Safety Assessment; Chapter 3: Techniques for Safety Assessment; Chapter 4: Development ofSafety-Critical Applications; Chapter 5: Formal Methods for Safety Assessment; Chapter 6: Formal Methods for Certification; Appendix A: The NuSMV Model Checker; Appendix B: The FSAP Safety Analysis Platform; Appendix C: Some Regulatory Bodies and Regulations; Back cover"]
[null,null,null,"Sommario/riassunto","Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques.An introduction to the area of design and verifica"]
[null,"2.","Record Nr.",null,"UNINA9910367760003321"]
[null,null,"Autore",null,"Kaynak Akif"]
[null,null,"Titolo",null,"Stimuli-Responsive Polymer Systems-Recent Manufacturing Techniques and Applications / Akif Kaynak, Ali Zolfagharian"]
[null,null,"Pubbl/distr/stampa",null,"MDPI - Multidisciplinary Digital Publishing Institute, 2019"]
[{"$nulls":4},"Basel, Switzerland : , : MDPI, , 2019"]
[null,null,"ISBN",null,"9783039214846"]
[{"$nulls":4},"3039214845"]
[null,null,"Descrizione fisica",null,"1 electronic resource (92 p.)"]
[null,null,"Soggetti",null,"History of engineering and technology"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","Stimuli-responsive polymer systems can be defined as functional materials that show physical or chemical property changes in response to external stimuli such as temperature, radiation, chemical agents, pH, mechanical stress, and electric and magnetic fields. Recent developments in manufacturing techniques have facilitated the production of a wide range of stimuli-responsive polymer systems, such as micro- and nanoscale structures, with potential applications in soft sensors and actuators, smart textiles, soft robots, and artificial muscles. This book brings together the recent progress in manufacturing techniques, with particular emphasis on 3D and 4D printing and applications of stimuli-responsive polymer systems in biomedicine and soft robotics."]