{"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":73,"n_cols":5,"rows_kept":73,"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],[8,2,8,3],[20,2,20,3],[21,2,21,3],[24,2,24,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[38,2,38,3],[39,2,39,3],[43,2,43,3],[43,4,43,5],[44,2,44,3],[44,4,44,5],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[51,2,51,3],[51,4,51,5],[52,2,52,3],[52,4,52,5],[53,2,53,3],[53,4,53,5],[54,2,54,3],[55,2,55,3],[56,2,56,3],[57,2,57,3],[58,2,58,3],[59,2,59,3],[60,2,60,3],[67,2,67,3],[68,2,68,3],[70,2,70,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465506303316"]
[null,null,"Titolo",null,"Hybrid Systems IV [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997"]
[null,null,"ISBN",null,"3-540-69523-0"]
[null,null,"Edizione",null,"[1st ed. 1997.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 410 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1273"]
[null,null,"Disciplina",null,"629.8/95"]
[null,null,"Soggetti",null,"Computer logic"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Architecture, Computer"]
[{"$nulls":4},"Special purpose computers"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[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,"Nota di contenuto",null,"Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications -- Simulation of hybrid systems -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem -- Decidability of hybrid systems with linear and nonlinear differential inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems -- Control theory, modal logic, and games -- Agent based velocity control of highway systems -- A computational analysis of the reachability problem for a class of hybrid dynamical systems -- A class of rectangular hybrid systems with computable reach set -- Safe implementations of supervisory commands -- Hybrid system "]
[{"$nulls":4},"games: Extraction of control automata with small topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions -- Towards continuous abstractions of dynamical and control systems -- A totally ordered set of discrete abstractions for a given hybrid or continuous system -- Comparing timed and hybrid automata as approximations of continuous systems -- Hybrid control models of next generation air traffic management."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control."]
[null,"2.","Record Nr.",null,"UNINA9910812988903321"]
[null,null,"Autore",null,"Bonfil Robert"]
[null,null,"Titolo",null,"Rabbis and Jewish communities in Renaissance Italy / / Robert Bonfil ; translated by Jonathan Chipman"]
[null,null,"Pubbl/distr/stampa",null,"Oxford ; ; Portland, Oregon : , : The Littman Library of Jewish Civilization, , 2004"]
[null,null,"ISBN",null,"1-909821-25-X"]
[null,null,"Descrizione fisica",null,"1 online resource (xii, 366 pages) : illustrations"]
[null,null,"Collana",null,"The Littman Library of Jewish Civilization"]
[null,null,"Disciplina",null,"296.6/1/0945"]
[null,null,"Soggetti",null,"Rabbis - Italy - Office"]
[{"$nulls":4},"Judaism - Italy - History - 16th century"]
[{"$nulls":4},"Renaissance - Italy"]
[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","Translation of: Rabanut be-Iṭalyah bi-teḳufat ha-Renesans."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (pages 342-356) and index."]
[null,"3.","Record Nr.",null,"UNIORUON00182340"]
[null,null,"Titolo",null,"Le tiers monde et la Communauté économique européenne / Association Française pu or l'Etude du Tiers Monde"]
[null,null,"Pubbl/distr/stampa",null,"Paris, : Berger-Levrault, 1978 - 258 p. ; 24 cm"]
[null,null,"ISBN",null,"27-01-30210-2"]
[null,null,"Soggetti",null,"Cee - Relazioni con i paesi in via di sviluppo"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"4.","Record Nr.",null,"UNINA9910855398603321"]
[null,null,"Autore",null,"Maharjan Niroj"]
[null,null,"Titolo",null,"Proceedings of the 3rd International Conference on Advanced Surface Enhancement (INCASE) 2023 : Surface Engineering for Sustainability / / edited by Niroj Maharjan, Wei He"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024"]
[null,null,"ISBN",null,"981-9986-43-5"]
[null,null,"Edizione",null,"[1st ed. 2024.]"]
[null,null,"Descrizione fisica",null,"1 online resource (418 pages)"]
[null,null,"Collana",null,"Lecture Notes in Mechanical Engineering, , 2195-4364"]
[null,null,"Disciplina",null,"620.44"]
[null,null,"Soggetti",null,"Materials"]
[{"$nulls":4},"Surfaces (Technology)"]
[{"$nulls":4},"Thin films"]
[{"$nulls":4},"Surfaces (Physics)"]
[{"$nulls":4},"Materials Engineering"]
[{"$nulls":4},"Surfaces, Interfaces and Thin Film"]
[{"$nulls":4},"Surface and Interface and Thin Film"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"1. Rotating bending high cycle fatigue property of handheld laser peened A7075BE-T6511 alloy -- 2. Developing domeless, circular vibratory finishing for aerospace applications -- 3. Improvement of Fatigue Strength of 3D-Metal by Combined Process of Blasting and Cavitation Peening -- 4. Surface enhancements from peening effect on Inconel 718 Fabricated by Direct Energy Deposition -- 5. Picosecond Laser Surface Texturing of Al2024-T3 Substrate for Super-hydrophobicity -- 6. Hybrid ultrasonic cavitation abrasive peening and electrochemical polishing on additively manufactured AlSi10Mg components -- 7. Hydrophobic Surface of HVOF Sprayed Tungsten Carbide Based Coating -- 8. Complementary effect of metal shot peening over deep cold rolled Ti-6Al-4V surface as a two-step mechanical surface treatment."]
[null,null,null,"Sommario/riassunto","This book presents the proceedings of the ‘3rd International Conference on Advanced Surface Enhancement’, INCASE 2023. It compiles the papers presented by researchers in surface engineering field at INCASE 2023 conference. The book presents a comprehensive review of the state of the art in surface engineering-related techniques and strategies, with a focus towards sustainability. The main topics "]
[{"$nulls":4},"include ‘Advanced techniques for surface engineering towards enhanced performance’, ‘Surface and sub-surface characterisation’, ‘Simulation and modelling of surface integrity’, ‘Advanced coating materials design synthesis and industry applications’, and ‘Emerging trends in surface engineering’. The book identifies the gaps between research and manufacturing and promotes sustainable approaches towards development of surface engineering solutions for adoption by industry. The book is useful for researchers, scientists, students, and engineers working in the field of surface engineering."]