{"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":78,"n_cols":5,"rows_kept":78,"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],[10,2,10,3],[11,2,11,3],[15,2,15,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[36,2,36,3],[37,2,37,3],[41,2,41,3],[43,2,43,3],[43,4,43,5],[44,2,44,3],[44,4,44,5],[45,2,45,3],[45,4,45,5],[46,2,46,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[52,2,52,3],[54,2,54,3],[55,2,55,3],[59,2,59,3],[59,4,59,5],[60,2,60,3],[60,4,60,5],[61,2,61,3],[61,4,61,5],[62,2,62,3],[63,2,63,3],[65,2,65,3],[66,2,66,3],[67,2,67,3],[68,2,68,3],[71,2,71,3],[72,2,72,3],[76,2,76,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910450089803321"]
[null,null,"Titolo",null,"Freight capacity for the 21st century [[electronic resource] /] / Committee for the Study of Freight Capacity for the Next Century, Transportation Research Board"]
[null,null,"Pubbl/distr/stampa",null,"Washington, DC, : Transportation Research Board, 2003"]
[null,null,"ISBN",null,"0-309-55091-2"]
[null,null,"Descrizione fisica",null,"1 online resource (166 p.)"]
[null,null,"Collana",null,"Special report ; ; 271"]
[null,null,"Disciplina",null,"385/.24/097301"]
[null,null,"Soggetti",null,"Railroads - Freight - United States - Forecasting"]
[{"$nulls":4},"Freight and freightage - United States"]
[{"$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."]
[null,null,"Nota di contenuto",null,"\"\"SPECIAL REPORT 271: FREIGHT CAPACITY FOR THE 21ST CENTURY\"\"; \"\"TRANSPORTATION RESEARCH BOARD 2003 EXECUTIVE COMMITTEE*\"\"; \"\"THE NATIONAL ACADEMIES\"\"; \"\"Committee for the Study of Freight Capacity for the Next Century\"\"; \"\"Preface\"\"; \"\"Contents\"\"; \"\"Executive Summary\"\"; \"\"1 Introduction\"\"; \"\"CHARGE TO THE COMMITTEE\"\"; \"\"SOURCES OF CONCERN\"\"; \"\"OUTLINE OF THE REPORT\"\"; \"\"REFERENCES\"\"; \"\"2 Freight Capacity as a Government Policy Issue\"\"; \"\"PUBLIC RESPONSIBILITIES IN FREIGHT TRANSPORTATION\"\"; \"\"IMMEDIATE POLICY ISSUES AFFECTING FREIGHT CAPACITY\"\"; \"\"RECENT POLICY STATEMENTS\"\"; \"\"REFERENCES\"\""]
[{"$nulls":4},"\"\"3 Data on System Performance: Trends and Case Studies\"\"\"\"TRENDS IN TRAFFIC, INFRASTRUCTURE, AND PERFORMANCE\"\"; \"\"CASE STUDIES\"\"; \"\"INDUSTRY INTERVIEWS\"\"; \"\"REFERENCES\"\"; \"\"4 Conclusions and Recommendations\"\"; \"\"CONCLUSIONS\"\"; \"\"RECOMMENDATIONS\"\"; \"\"REFERENCES\"\"; \"\"APPENDIX Recent Statements on Freight Policy\"\"; \"\"TRB STUDIES\"\"; \"\"NATIONAL COMMISSION ON INTERMODAL TRANSPORTATION\"\"; \"\"OTHER VIEWS\"\"; \"\"REFERENCES\"\"; \"\"Study Committee Biographical Information\"\""]
[null,"2.","Record Nr.",null,"UNISA996465602903316"]
[null,null,"Titolo",null,"Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings / / edited by Nachum Dershowitz, Andrei Voronkov"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007"]
[null,null,"ISBN",null,"3-540-75560-8"]
[null,null,"Edizione",null,"[1st ed. 2007.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 564 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 4790"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened to Deductive Question Answering? -- Decidable Fragments of Many-Sorted Logic -- One-Pass Tableaux for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic -- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results -- Least and Greatest Fixed Points in Linear Logic -- The Semantics of Consistency and Trust in Peer Data Exchange Systems -- Completeness and Decidability in Sequence Logic -- HORPO with Computability Closure: A Reconstruction -- Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs -- Matching in Hybrid Terminologies -- "]
[{"$nulls":4},"Verifying Cryptographic Protocols with Subterms Constraints -- Deciding Knowledge in Security Protocols for Monoidal Equational Theories -- Mechanized Verification of CPS Transformations -- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap -- Protocol Verification Via Rigid/Flexible Resolution -- Preferential Description Logics -- On Two Extensions of Abstract Categorial Grammars -- Why Would You Trust B? -- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited -- On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards -- Data Complexity in the Family of Description Logics -- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties -- Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic -- Integrating Inductive Definitions in SAT -- The Separation Theorem for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics -- Faster Phylogenetic Inference with MXG -- Enriched ?–Calculus Pushdown Module Checking -- Approved Models for Normal Logic Programs -- Permutative Additives and Exponentials -- Algorithms for Propositional Model Counting -- Completeness for Flat Modal Fixpoint Logics -- : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals -- ATP Cross-Verification of the Mizar MPTP Challenge Problems."]
[null,"3.","Record Nr.",null,"UNINA9910828611303321"]
[null,null,"Autore",null,"Wells Walker <1966->"]
[null,null,"Titolo",null,"Blueprint for greening affordable housing / / Walker Wells and Kimberly Vermeer"]
[null,null,"Pubbl/distr/stampa",null,"Washington, District of Columbia : , : Island Press, , [2020]"]
[{"$nulls":4},"©2020"]
[null,null,"ISBN",null,"1-64283-039-9"]
[null,null,"Edizione",null,"[Revised edition]"]
[null,null,"Descrizione fisica",null,"1 online resource (242 pages)"]
[null,null,"Disciplina",null,"728.1047"]
[null,null,"Soggetti",null,"Housing"]
[{"$nulls":4},"Ecological houses"]
[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,"Sommario/riassunto","\"The Blueprint for Greening Affordable Housing is the most comprehensive resource on how green building principles can be incorporated into affordable housing design, construction, and operation. In this fully revised edition, Walker Wells and Kimberly Vermeer capture the rapid evolution of green building practices and make a compelling case for integrating green building in affordable housing. The Blueprint offers guidance on innovative practices, green building certifications for affordable housing, and the latest financing strategies. The completely new case studies share detailed insights into how the many elements of a green building are incorporated into different housing types and locations. Every affordable housing project can achieve the fundamentals of good green building design. The Blueprint gives project teams what they need to push for excellence\"--"]
[null,"4.","Record Nr.",null,"UNINA9910968143303321"]
[null,null,"Autore",null,"Schake Kori N"]
[null,null,"Titolo",null,"State of disrepair : fixing the culture and practices of the State Department / / Kori N. Schake"]
[null,null,"Pubbl/distr/stampa",null,"Stanford, Calif., : Hoover Institution Press, Stanford University, 2012"]
[null,null,"ISBN",null,"9780817914561"]
[{"$nulls":4},"0817914560"]
[null,null,"Descrizione fisica",null,"1 online resource (185 p.)"]
[null,null,"Collana",null,"Hoover Institution Press publication ; ; no. 620"]
[null,null,"Disciplina",null,"353.1/30973"]
[null,null,"Soggetti",null,"Diplomatic and consular service, American"]
[{"$nulls":4},"United States Foreign relations administration"]
[{"$nulls":4},"United States Foreign relations 21st century"]
[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,"Nature of the problem -- Atrophy of diplomatic power -- Missed opportunity -- Possibilities -- Program."]
[null,null,null,"Sommario/riassunto","Kori Schake shows how the deficiencies in focus, education, and programmatic proficiency impede the work of the State Department and suggests how investing in those areas could make the agency significantly more successful at building stable and prosperous democratic governments around the world. She explains why, instead of burdening the US military with yet another inherently civilian function, work should focus on bringing those agencies of the government whose job it is to provide development assistance up to the standard of success that our military has achieved. Schake presents a vision"]