{"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":42,"n_cols":5,"rows_kept":42,"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],[13,2,13,3],[14,2,14,3],[15,2,15,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[29,2,29,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[38,2,38,3],[39,2,39,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910454522203321"]
[null,null,"Autore",null,"Treverton Gregory F."]
[null,null,"Titolo",null,"Intelligence for an age of terror / / Gregory F. Treverton [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2009"]
[null,null,"ISBN",null,"1-107-19168-8"]
[{"$nulls":4},"1-282-53940-X"]
[{"$nulls":4},"9786612539404"]
[{"$nulls":4},"0-511-80870-4"]
[{"$nulls":4},"0-511-71907-8"]
[{"$nulls":4},"0-511-71952-3"]
[{"$nulls":4},"0-511-51558-8"]
[{"$nulls":4},"0-511-71861-6"]
[{"$nulls":4},"0-511-51686-X"]
[null,null,"Descrizione fisica",null,"1 online resource (xii, 306 pages) : digital, PDF file(s)"]
[null,null,"Disciplina",null,"363.325/1630973"]
[null,null,"Soggetti",null,"Intelligence service - United States"]
[{"$nulls":4},"Terrorism - Government policy - United States"]
[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","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 263-292) and index."]
[null,null,"Nota di contenuto",null,"Introduction -- The changed target -- The Cold War legacy -- The imperative of change -- The agenda ahead -- The special challenge of analysis -- Many customers, too many secrets -- Covert action : forward to the past? -- Rebuilding the social contract."]
[null,null,null,"Sommario/riassunto","During the Cold War, U.S. intelligence was concerned primarily with states; non-state actors like terrorists were secondary. Now the priorities are reversed and the challenge is enormous. States had an address, and they were hierarchical and bureaucratic. They thus came with some 'story'. Terrorists do not. States were 'over there', but terrorists are there and here. They thus put pressure on intelligence at home, not just abroad. The strength of this book is that it underscores the extent of the change and ranges broadly across data collection and analysis, foreign and domestic, as well as presenting the issues of value that arise as new targets require collecting more information at home."]
[null,"2.","Record Nr.",null,"UNISA996490345603316"]
[null,null,"Autore",null,"Löh Clara"]
[null,null,"Titolo",null,"Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2022]"]
[{"$nulls":4},"©2022"]
[null,null,"ISBN",null,"9783031146497"]
[{"$nulls":4},"9783031146480"]
[null,null,"Descrizione fisica",null,"1 online resource (152 pages)"]
[null,null,"Collana",null,"Surveys and Tutorials in the Applied Mathematical Sciences ; ; v.11"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Automatic theorem proving - Computer programs"]
[{"$nulls":4},"Demostració automàtica de teoremes"]
[{"$nulls":4},"Programes d'ordinador"]
[{"$nulls":4},"Llibres electrònics"]
[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."]