{"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":35,"n_cols":5,"rows_kept":35,"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],[10,2,10,3],[11,2,11,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[18,2,18,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[27,2,27,3],[28,2,28,3],[32,2,32,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910376430403321"]
[null,null,"Titolo",null,"CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France / / edited by Yves Bertot and Viktor Vafeiadis"]
[null,null,"Pubbl/distr/stampa",null,"New York : , : ACM, , 2017"]
[null,null,"ISBN",null,"1-4503-4705-3"]
[null,null,"Descrizione fisica",null,"1 online resource (234 pages)"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science - Mathematics"]
[{"$nulls":4},"Formal methods (Computer science)"]
[{"$nulls":4},"Proof theory - Data processing"]
[{"$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","Includes index."]
[null,"2.","Record Nr.",null,"UNINA9910642612303321"]
[null,null,"Autore",null,"Nelson Wayne <1936->"]
[null,null,"Titolo",null,"Applied life data analysis [[electronic resource] /] / Wayne Nelson"]
[null,null,"Pubbl/distr/stampa",null,"New York, : Wiley, c1982"]
[null,null,"ISBN",null,"1-280-25300-2"]
[{"$nulls":4},"9786610253005"]
[{"$nulls":4},"0-471-72522-6"]
[{"$nulls":4},"0-471-72523-4"]
[null,null,"Descrizione fisica",null,"1 online resource (656 p.)"]
[null,null,"Collana",null,"Wiley series in probability and mathematical statistics, , 0271-6356"]
[null,null,"Disciplina",null,"620/.00452"]
[null,null,"Soggetti",null,"Reliability (Engineering)"]
[{"$nulls":4},"Engineering"]
[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,null,"Nota di bibliografia","Bibliography: p. 603-616."]
[null,null,"Nota di contenuto",null,"APPLIED LIFE DATA ANALYSIS; Contents; 1. Overview and Background; 2. Basic Concepts and Distributions for Product Life; 3. Probability Plotting of Complete and Singly Censored Data; 4. Graphical Analysis of Multiply Censored Data; 5. Series Systems and Competing Risks; 6. Analysis of Complete Data; 7. Linear Methods for Singly Censored Data; 8. Maximum Likelihood Analysis of Multiply Censored Data; 9. Analyses of Inspection Data (Quantal-Response and Interval Data); 10. Comparisons (Hypothesis Tests) for Complete Data; 11. Comparisons With Linear Estimators (Singly Censored and Complete Data)"]
[{"$nulls":4},"12. Maximum Likelihood Comparisons (Multiply Censored and Other Data)13. Survey of Other Topics; Appendix A Tables; References; Index;"]
[null,null,null,"Sommario/riassunto","Applied Life Data Analysis is a practical guide to statistical methods for predicting product life and reliability, and comparing improvements in product manufacturing, design, and application. It describes the use of graphical methods, the method of maximum likelihood, censored data analysis, linear estimation, prediction methods, and methods for complete, singly censored, multiply censored, interval, and quantalresponse data."]