{"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":61,"n_cols":5,"rows_kept":61,"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],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[13,2,13,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[28,2,28,3],[29,2,29,3],[33,2,33,3],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[38,4,38,5],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[45,2,45,3],[54,2,54,3],[55,2,55,3],[59,2,59,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNIORUON00339149"]
[null,null,"Titolo",null,"Catecismo na lingua brasilica / Padre Antonio de Araujo"]
[null,null,"Pubbl/distr/stampa",null,"1 v"]
[null,null,"Edizione",null,"[Rio de Janeiro : Pontifica Universidade Catolica]"]
[null,null,"Descrizione fisica",null,"Reproduçao fac-similiar de la 1a ediçao 1618."]
[null,null,"Disciplina",null,"869.8992"]
[null,null,"Soggetti",null,"BRASILE - Religione"]
[null,null,"Lingua di pubblicazione",null,"Portoghese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910484247703321"]
[null,null,"Titolo",null,"SDL 2005: Model Driven : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / / edited by Andreas Prinz, Rick Reed, Jeanne Reed"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005"]
[null,null,"ISBN",null,"3-540-31539-X"]
[{"$nulls":4},"3-540-26612-7"]
[null,null,"Edizione",null,"[1st ed. 2005.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 364 p.)"]
[null,null,"Collana",null,"Computer Communication Networks and Telecommunications, , 2945-9184 ; ; 3530"]
[null,null,"Disciplina",null,"005.13/3"]
[null,null,"Soggetti",null,"Computer engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Electronic data processing - Management"]
[{"$nulls":4},"Computer Engineering and Networks"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"IT Operations"]
[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,"Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and Component Reuse with Semantic Interfaces -- ns+SDL – The Network Simulator for SDL Systems -- Message Sequence Charts -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets -- Applications and Tools (Short Papers) -- SDL Design of OSPF Protocol for the Wireless Private Network -- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks -- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP -- Experiences in Using SDL to Support the "]
[{"$nulls":4},"Design and Implementation of a Logical Link Layer Protocol -- Modeling, Verifying and Testing Mobility Protocol from SDL Language -- Cinderella SLIPPER: An SDL to C-Code Generator -- Model Driven Architecture (Short Papers) -- Model-Driven Development of Reactive Systems with SDL -- A UML-Compatible Formal Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web Applications -- Network Element Testing Using TTCN-3: Benefits and Comparison -- A Compositional Approach to Service Validation -- Consistency Checking of Concurrent Models for Scenario-Based Specifications -- Code Generation -- SDL Code Generation for Open Systems -- SDL Versus C Equivalence Checking -- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps."]
[null,null,null,"Sommario/riassunto","This volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Description Language that was ?rst standardized in the 1976 Orange Book of the Inter- tional Telecommunication Union (ITU). Since then, many developments took place and the language has undergone several changes. However, the main underlying paradigm has survived, and it is the reason for the success of the Speci?cation and Description Language in many projects. This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend to be described using smaller parts that communicate with each other; State: the systems are described on the basis of an explicit notion of state; State change: the behavior of the system is described in terms of (local) changes of the state. The original language is not the only representative for this kind of paradigm, so the scope of the SDL Forum was extended quite soon after the ?rst few events to also include other ITU standardized languages of the same family, such as MSC, ASN.1 and TTCN. This led to the current scope of System Design Languages coveringallstagesofthedevelopmentprocessincludinginparticularSDL,MSC, UML, ASN.1, eODL, TTCN, and URN. The focus is clearly on the advantages to users, and how to get from these languages the same advantage given by the ITU Speci?cation and Description Language: code generation from high-level speci?cations."]
[null,"3.","Record Nr.",null,"UNINA9910146296003321"]
[null,null,"Autore",null,"Krupková Olga <1960->"]
[null,null,"Titolo",null,"The Geometry of Ordinary Variational Equations / / by Olga Krupkova"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997"]
[null,null,"ISBN",null,"3-540-69657-1"]
[null,null,"Edizione",null,"[1st ed. 1997.]"]
[null,null,"Descrizione fisica",null,"1 online resource (CCLXIV, 254 p.)"]
[null,null,"Collana",null,"Lecture Notes in Mathematics, , 1617-9692 ; ; 1678"]
[null,null,"Disciplina",null,"515"]
[null,null,"Soggetti",null,"Mathematical analysis"]
[{"$nulls":4},"Geometry, Differential"]
[{"$nulls":4},"Global analysis (Mathematics)"]
[{"$nulls":4},"Manifolds (Mathematics)"]
[{"$nulls":4},"Mechanics, Applied"]
[{"$nulls":4},"Analysis"]
[{"$nulls":4},"Differential Geometry"]
[{"$nulls":4},"Global Analysis and Analysis on Manifolds"]
[{"$nulls":4},"Engineering Mechanics"]
[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,"Basic geometric tools -- Lagrangean dynamics on fibered manifolds -- Variational Equations -- Hamiltonian systems -- Regular Lagrangean systems -- Singular Lagrangean systems -- Symmetries of Lagrangean systems -- Geometric integration methods -- Lagrangean systems on ?: R×M»R."]
[null,null,null,"Sommario/riassunto","The book provides a comprehensive theory of ODE which come as Euler-Lagrange equations from generally higher-order Lagrangians. Emphasis is laid on applying methods from differential geometry (fibered manifolds and their jet-prolongations) and global analysis (distributions and exterior differential systems). Lagrangian and Hamiltonian dynamics, Hamilton-Jacobi theory, etc., for any Lagrangian system of any order are presented. The key idea - to build up these theories as related with the class of equivalent Lagrangians - distinguishes this book from other texts on higher-order mechanics. The reader should be familiar with elements of differential geometry, global analysis and the calculus of variations."]