{"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":74,"n_cols":5,"rows_kept":74,"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],[5,2,5,3],[8,2,8,3],[9,2,9,3],[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],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[36,2,36,3],[37,2,37,3],[41,2,41,3],[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],[51,2,51,3],[52,2,52,3],[67,2,67,3],[68,2,68,3],[71,2,71,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996387584203316"]
[null,null,"Autore",null,"Swallow Thomas"]
[null,null,"Titolo",null,"Swallow, an almanack for the yeare of our Lord God 1639 [[electronic resource] ] : being the third after bissextile or leap-yeare, and from the worlds creation 5588 : calculated properly for the famous Universitie and tovvn of Cambridge, but may indifferently serve for any other place vvithin this kingdome"]
[null,null,"Pubbl/distr/stampa",null,"[Cambridge, England], : Printed by the printers to the Universitie of Cambridge, and are to be sold by William Harris, in Colemanstreet in London, [1639]"]
[null,null,"Descrizione fisica",null,"[38] p. : 1 ill"]
[null,null,"Soggetti",null,"Almanacs, English"]
[{"$nulls":4},"Astrology"]
[{"$nulls":4},"Ephemerides"]
[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","Second part has special t.p."]
[{"$nulls":4},"Attributed to Thomas Swallow by STC (2nd ed.)."]
[{"$nulls":4},"Sometimes attributed to John Swallow by NUC pre-1956 imprints."]
[{"$nulls":4},"Signatures: A-B⁸ C⁴ (last leaf blank)."]
[{"$nulls":4},"Title within ornamental border."]
[{"$nulls":4},"Imperfect: tightly bound and cropped with slight loss of print; signature A4 verso either blank or lacking."]
[{"$nulls":4},"Reproduction of original in the Bodleian Library."]
[null,null,null,"Sommario/riassunto","eebo-0014"]
[null,"2.","Record Nr.",null,"UNINA9910144032203321"]
[null,null,"Titolo",null,"Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / / edited by Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003"]
[null,null,"ISBN",null,"3-540-39656-X"]
[null,null,"Edizione",null,"[1st ed. 2003.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 512 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2852"]
[null,null,"Disciplina",null,"005.3"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Operating systems (Computers)"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[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,"A Tool-Supported Proof System for Multithreaded Java -- Abstract Behavior Types: A Foundation Model for Components and Their Composition -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML -- Live and Let Die: LSC-Based Verification of UML-Models -- Reactive Animation -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software -- Equivalent Semantic Models for a Distributed Dataspace Architecture -- Java Program Verification Challenges -- ToolBus: The Next Generation -- High-Level Specifications: Lessons from Industry -- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification -- Finding Implicit Contracts in .NET Components -- From Co-algebraic Specifications to Implementation: The Mihda Toolkit -- A Calculus for Modeling Software Components -- Specification and Inheritance in CSP-OZ -- Model-Based Testing of Object-Oriented Systems -- Concurrent Object-Oriented Programs: "]
[{"$nulls":4},"From Specification to Code -- Design with Asynchronously Communicating Components -- Composition for Component-Based Modeling -- Games for UML Software Design -- Making Components Move: A Separation of Concerns Approach."]
[null,null,null,"Sommario/riassunto","Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering."]
[null,"3.","Record Nr.",null,"UNINA9910255266603321"]
[null,null,"Titolo",null,"Abuse of Dominant Position and Globalization & Protection and Disclosure of Trade Secrets and Know-How / / edited by Pranvera Këllezi, Bruce Kilpatrick, Pierre Kobel"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017"]
[null,null,"ISBN",null,"3-319-46891-X"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVIII, 637 pages) : 12 illustrations (6 in color); digital, PDF file(s)"]
[null,null,"Collana",null,"LIDC Contributions on Antitrust Law, Intellectual Property and Unfair Competition, , 2199-7438"]
[null,null,"Disciplina",null,"343.0721"]
[null,null,"Soggetti",null,"International law"]
[{"$nulls":4},"Trade regulation"]
[{"$nulls":4},"Information technology - Law and legislation"]
[{"$nulls":4},"Mass media - Law and legislation"]
[{"$nulls":4},"International economic integration"]
[{"$nulls":4},"Globalization"]
[{"$nulls":4},"Private international law"]
[{"$nulls":4},"Conflict of laws"]
[{"$nulls":4},"Comparative law"]
[{"$nulls":4},"Law - Europe"]
[{"$nulls":4},"International Economic Law, Trade Law"]
[{"$nulls":4},"IT Law, Media Law, Intellectual Property"]
[{"$nulls":4},"Emerging Markets and Globalization"]
[{"$nulls":4},"Private International Law, International and Foreign Law, Comparative Law"]
[{"$nulls":4},"European Law"]
[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."]
[null,null,"Nota di contenuto",null,"Part I - Abuse of Dominant Position and Globalization: International Report by Pinar Akman -- Austria by Gerhard Fussenegger, Florian Schuhmacher and Rainer Tahedl -- Belgium by Pierre M. Sabbadini -- Bulgaria by Anton Petrov -- France by Mathilde Boudou, Clément Hubert, Thibaut Marcerou, Georges Poulakos, Michaël Vaz d'Almeida and Martina Isola -- Germany by Marco Hartmann-Rüppel -- Japan by "]
[{"$nulls":4},"Takahiko Itoh -- Lithuania by Yvonne Goldammer -- Moldova by Alexandr Svetlicinii -- Poland by Aleksander Stawicki, Bartosz Turno and Tomasz Feliszewski -- Spain by Manuel Cañadas Bouwen and Julia Suderow -- Sweden by Trine Osen Bergqvist -- Switzerland by Denis Cherpillod -- The Netherlands by Sarah Beeston and Maria Geilmann -- Ukraine by Natalia Ivanytska -- United Kingdom by Jeremy D. M. Robinson -- Part II - Protection and Disclosure of Know-How: International Report by Henrik Bengtsson -- Austria by Juliane Messner, Max W. Mosing and Rainer Schultes.-Belgium by Sophie Lens -- Brazil by Felipe Barros Oquendo -- Bulgaria by Teodora Tsenova -- France by Nizar Lajnef, Elisabeth Logeais, Vanessa Jiménez-Serrania and Guillaume Couet -- Germany by Thomas Hoeren -- Hungary by Miklós Boronkay -- Italy by Anna Gardini -- Japan by Takashi Koyama and Izumi Hayashi -- Luxembourg by Marianne Decker -- Romania by Cătălin Grigorescu and Cristina Mihai -- Spain by Ana María Ruiz Martín -- Sweden by Magnus Tonell -- Switzerland by Charlotte Boulay -- The Netherlands by Vonne Laan and Mariko Kloppenburg -- Ukraine by Anton Polikarpov -- United Kingdom by Michael Browne -- United States of America by Emilio Varanini."]
[null,null,null,"Sommario/riassunto","This publication provides an unparalleled comparative analysis of two \"hot topics\" in the field of antitrust and unfair competition law with regard to a number of key countries. The first part of the book examines the prohibition of abuse of a dominant position and globalization in relation to two broad questions: first, whether there is consistency between the approaches of different jurisdictions to the notion of abuse, and, second, whether there are too many restrictions on legal rights and business opportunities resulting from the prohibition of abuse of dominance. The international report drafted by Professor Pinar Akman reveals that there are as many similarities as differences between the approaches of the twenty-one jurisdictions studied and presented in this book. This is an invitation to read the excellent international report as well asthe reports on specific jurisdictions in order to grasp the variety of arguments and approaches of this antitrust area, which may, on the surface, appear alike. The second part gathers contributions on the question of protection and disclosure of trade secrets and know-how from various jurisdictions. The need for adequate protection of trade secrets has increased due to digitalization and the ease with which large volumes of misappropriated information can be reproduced. The comprehensive international report, prepared by Henrik Bengtsson, brings together these reflections by comparing various national positions. The book also discusses the resolutions passed by the General Assembly of the International League of Competition Law (LIDC) following a debate on each of these topics, and includes proposed solutions and recommendations."]