{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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":55,"n_cols":5,"rows_kept":55,"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],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,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],[22,2,22,3],[23,2,23,3],[25,2,25,3],[34,2,34,3],[35,2,35,3],[38,2,38,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],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[52,2,52,3],[53,2,53,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910143634803321"]
[null,null,"Titolo",null,"Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / / Nancy A. Lynch, Bruce H. Krogh, (Eds.)"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany ; ; New York, New York : , : Springer, , [2000]"]
[{"$nulls":4},"Â©2000"]
[null,null,"ISBN",null,"3-540-46430-1"]
[null,null,"Edizione",null,"[1st ed. 2000.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 465 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1790"]
[null,null,"Disciplina",null,"004.1/9"]
[null,null,"Soggetti",null,"Hybrid computers"]
[{"$nulls":4},"Digital control systems"]
[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."]
[null,null,"Nota di contenuto",null,"Invited Presentations -- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision -- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software -- Model-Based Autonomous Systems for Robotic Space Exploration -- Models of Computation and Simulation of Hybrid Systems -- Selected Presentations -- Modular Specification of Hybrid Systems in Charon -- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems -- Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine -- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems -- Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications -- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations -- Theory of Optimal Control Using Bisimulations -- Behavior Based Robotics Using Hybrid Automata -- Hybrid Controllers for Hierarchically Decomposed Systems -- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods -- Robust Undecidability of Timed and Hybrid Systems -- Towards a Theory of Stochastic Hybrid Systems -- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications -- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System -- Ellipsoidal Techniques for Reachability Analysis -- Uniform Reachability Algorithms -- On the Existence of Solutions to Controlled Hybrid Automata -- Nonlinear "]
[{"$nulls":4},"Stabilization by Hybrid Quantized Feedback -- Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations -- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems -- Hybrid Systems Diagnosis -- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata -- Level Set Methods for Computation in Hybrid Systems -- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems -- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode -- Hybrid Systems Verification by Location Elimination -- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models -- Stability of Hybrid Systems Using LMIs — A Gear-Box Application -- Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties -- Decidable Controller Synthesis for Classes of Linear Systems -- Towards a Geometric Theory of Hybrid Systems -- Controlled Invariance of Discrete Time Systems -- Dynamical Systems Revisited: Hybrid Systems with Zeno Executions."]
[null,"2.","Record Nr.",null,"UNINA9910785744903321"]
[null,null,"Autore",null,"Asmus Ronald D"]
[null,null,"Titolo",null,"Opening NATO's door : how the Alliance remade itself for a new era / / Ronald D. Asmus"]
[null,null,"Pubbl/distr/stampa",null,"New York, : Columbia University Press, 2012"]
[null,null,"Descrizione fisica",null,"1 online resource (425 p.)"]
[null,null,"Disciplina",null,"355.031091821"]
[{"$nulls":4},"355/.031091821"]
[null,null,"Soggetti",null,"Diplomatics"]
[{"$nulls":4},"Intervention (International law)"]
[{"$nulls":4},"National security - Europe"]
[{"$nulls":4},"Peaceful change (International relations)"]
[{"$nulls":4},"Post-communism - Europe"]
[{"$nulls":4},"Military & Naval Science"]
[{"$nulls":4},"Law, Politics & Government"]
[{"$nulls":4},"Armies"]
[{"$nulls":4},"United States Foreign relations 1989-"]
[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,"Nota di contenuto",null,"Contents; List of Illustrations; Foreword; Acknowledgments; Note on Sources; Introduction; Book I THE ORIGINS; 1. An Ambiguous Pledge; 2. Dismantling Yalta; 3. Aligning with the West; Book II THE DEBATE BEGINS; 1. Russia First; 2. Making the Case; 3. \"\"We Need a Perspective\"\"; 4. The Partnership for Peace; Book III ACROSS THE RUBICON; 1. An Ambiguous Decision; 2. Shifting Gears; 3. Pressure from the Right; 4. Holbrooke's Return; 5. Across the Rubicon; Book IV ESTABLISHING THE DUAL TRACK; 1. Establishing the NATO Track; 2. A Parallel Track with Moscow; 3. The May-for-May Deal"]
[{"$nulls":4},"4. The Political Battle Heats Up 5. Bosnia and NATO Enlargement; Book V TOWARD A NEW NATO; 1. On the Back Burner; 2. Sleeping with the Porcupine; 3. Tough Love for Central and Eastern Europe; 4. Ukraine and the Baltic States; 5. \"\"A Long Dance with Natasha\"\"; Book VI THE NATO-RUSSIA ENDGAME; 1. Madeleine's Vision; 2. Chancellor Kohl Comes Through; 3. The Road to Helsinki; 4. Breakthrough at Helsinki; 5. Playing Both Sides of the Chessboard; Book VII HEAD-TO-HEAD AT "]
[{"$nulls":4},"MADRID; 1. Sintra; 2. Playing the Heavy; 3. A Baltic Challenge; 4. Madrid; 5. The Final Compromise; Book VIII THE POLITICAL BATTLE"]
[{"$nulls":4},"1. Creating a Command Post: The Birth of S/NERO2. The Campaign Starts; 3. Dancing with Jesse Helms; 4. New Members and New Missions; 5. The Endgame; CONCLUSION; Notes; Index"]
[null,null,null,"Sommario/riassunto","How and why did NATO, a Cold War military alliance created in 1949 to counter Stalin's USSR, become the cornerstone of new security order for post-Cold War Europe? Why, instead of retreating from Europe after communism's collapse, did the U.S. launch the greatest expansion of the American commitment to the old continent in decades? Written by a high-level insider, Opening NATO's Door provides a definitive account of the ideas, politics, and diplomacy that went into the historic decision to expand NATO to Central and Eastern Europe. D"]
[null,"3.","Record Nr.",null,"UNINA990004564480403321"]
[null,null,"Autore",null,"Capasso, Bartolomeo <1815-1900>"]
[null,null,"Titolo",null,"Memorie storiche della Chiesa Sorrentina / compilate da Bartolomeo Capasso"]
[null,null,"Pubbl/distr/stampa",null,"Napoli, : dallo Stabilimento dell'Antologia Legale, 1854"]
[null,null,"Descrizione fisica",null,"X, 271 p. ; 22 cm"]
[null,null,"Disciplina",null,"282.45"]
[null,null,"Locazione",null,"FLFBC"]
[null,null,"Collocazione",null,"SG 200/B 130 (1)"]
[{"$nulls":4},"SG 200/B 130 (1) BIS"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]