{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":62,"n_cols":5,"rows_kept":62,"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],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[13,2,13,3],[18,2,18,3],[19,2,19,3],[23,2,23,3],[31,2,31,3],[31,4,31,5],[32,2,32,3],[32,4,32,5],[33,2,33,3],[34,2,34,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[45,2,45,3],[49,2,49,3],[50,2,50,3],[54,2,54,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910300473903321"]
[null,null,"Autore",null,"Horley Edward"]
[null,null,"Titolo",null,"Practical IPv6 for Windows Administrators / / by Edward Horley"]
[null,null,"Pubbl/distr/stampa",null,"Berkeley, CA : , : Apress : , : Imprint : Apress, , 2014"]
[null,null,"ISBN",null,"9781430263715"]
[{"$nulls":4},"1430263717"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (250 p.)"]
[null,null,"Collana",null,"The Expert's Voice in Networking"]
[null,null,"Disciplina",null,"004"]
[{"$nulls":4},"004.6"]
[{"$nulls":4},"004.62"]
[{"$nulls":4},"621.382"]
[null,null,"Soggetti",null,"Microsoft software"]
[{"$nulls":4},"Microsoft .NET Framework"]
[{"$nulls":4},"Computer organization"]
[{"$nulls":4},"Microsoft and .NET"]
[{"$nulls":4},"Computer Systems Organization and Communication Networks"]
[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","\"Get up to speed on the future of the internet with a fast, practical reference to IPv6\"--Cover."]
[{"$nulls":4},"Includes index."]
[null,null,"Nota di contenuto",null,"\"\"Contents at a Glance\"\"; \"\"Contents\"\"; \"\"Foreword\"\"; \"\"About the Author\"\"; \"\"About the Technical Reviewers\"\"; \"\"Acknowledgments\"\"; \"\"Introduction\"\"; \"\"Chapter 1: IPv6 the Big Picture\"\"; \"\"IPv6 Now\"\"; \"\"Market Drivers\"\"; \"\"Depletion of Address Space\"\"; \"\"Support in Major Operating Systems\"\"; \"\"Rise of Cloud-Based Computing\"\"; \"\"Ubiquity of Mobile Computing\"\"; \"\"Access to Reference Materials\"\"; \"\"Business Drivers\"\"; \"\"Service Providers\"\"; \"\"Why Is IPv6 Important to Microsoft\"\"; \"\"Chapter 2: IPv6 Support in Windows\"\"; \"\"Microsoft IPv6 History\"\"; \"\"The Early Days\"\""]
[{"$nulls":4},"\"\"Windows XP and Windows 2000 Server\"\"\"\"Current IPv6 Networking Stack Implementation\"\"; \"\"Features and Functions of the Stack\"\"; \"\"Mobile IPv6\"\"; \"\"RFC 6106-IPv6 Router Advertisement Options for DNS Configuration\"\"; \"\"DS-Lite\"\"; \"\"6in4\"\"; \"\"6rd\"\"; \"\"SEND\"\"; \"\"Tools Available to Manage IPv6 in Windows\"\"; \"\"Tools Available to Migrate to IPv6 in Windows\"\"; \"\"Transition Technologies\"\"; \"\"6to4 Transition Technology\"\"; \"\"ISATAP Transition Technology\"\"; \"\"Teredo Transition Technology\"\"; "]
[{"$nulls":4},"\"\"Microsoftâ€?s Long-Term Goals with IPv6\"\"; \"\"Some Final IPv6 Support Thoughts\"\"; \"\"Chapter 3: IPv6 Addressing\"\""]
[{"$nulls":4},"\"\"IPv6 Address Basics\"\"\"\"Address Format\"\"; \"\"Size of the Address Space\"\"; \"\"IPv6 Address Structure\"\"; \"\"Packet and Header Configuration\"\"; \"\"IPv6 Address Representation\"\"; \"\"Defining Common IPv6 Terminology\"\"; \"\"Types of IPv6 Addresses\"\"; \"\"Unicast\"\"; \"\"Global Unicast Addresses\"\"; \"\"Unique Local Addresses\"\"; \"\"Link-Local Addresses\"\"; \"\"Special Unicast Addresses\"\"; \"\"Unicast Transition Addresses\"\"; \"\"6to4 Transition Technology\"\"; \"\"ISATAP Transition Technology\"\"; \"\"Teredo Transition Technology\"\"; \"\"Multicast Addresses\"\"; \"\"Multicast Address Structure\"\"; \"\"Managing Multicast\"\""]
[{"$nulls":4},"\"\"Neighbor Discovery â€?Solicited-Node\"\"\"\"Inverse Neighbor Discovery\"\"; \"\"IPv6 Multicast and Ethernet\"\"; \"\"Anycast Addresses\"\"; \"\"ICMPv6 Protocol\"\"; \"\"Assigning IPv6 Addresses\"\"; \"\"Autoassigning Addresses\"\"; \"\"Interface IDs\"\"; \"\"EUI-64 Interface ID\"\"; \"\"Random IDs (Non-EUI-64)\"\"; \"\"SLAAC\"\"; \"\"Temporary IPv6 Addresses\"\"; \"\"DHCPv6\"\"; \"\"DHCPv6 Stateful\"\"; \"\"DHCPv6 Stateless\"\"; \"\"Assigning Both SLAAC and DHCPv6\"\"; \"\"Manually Assigning IPv6 Addresses\"\"; \"\"Windows OS Address Behavior\"\"; \"\"How Windows Determines to Use IPv6 or IPv4\"\"; \"\"Default Address Selection Behavior of IPv6\"\""]
[{"$nulls":4},"\"\"Default Address Selection Process\"\"\"\"RFC 6724 Summary\"\"; \"\"IPv6 Address Planning and Design\"\"; \"\"Size of Prefix and Subnetting\"\"; \"\"Nibble Boundaries\"\"; \"\"Routing\"\"; \"\"Router Advertisements\"\"; \"\"Router Solicitations\"\"; \"\"Additional IPv6 Addressing Resources\"\"; \"\"Chapter 4: IPv6 Best Practices for Windows\"\"; \"\"Microsoft Best Practice Resources\"\"; \"\"IPv6 Best Practices for Windows\"\"; \"\"IPv6 Best Practices Overview\"\"; \"\"IPv6 Transition Technologies\"\"; \"\"6to4\"\"; \"\"ISATAP\"\"; \"\"Teredo\"\"; \"\"IPv6 Transition Technologies Key Takeaways\"\"; \"\"Internet\"\"; \"\"Impact of IPv6\"\""]
[{"$nulls":4},"\"\"IPv6 Internet Key Takeaways\"\""]
[null,null,null,"Sommario/riassunto","Practical IPv6 for Windows Administrators is a handy guide to implementing IPv6 in a Microsoft Windows environment. This is the book you need if you are a Microsoft Windows Administrator confronted with IPv6 and in need of a quick resource to get up and going. The book covers the current state of IPv6 and its support in Microsoft Windows. It provides best-practices and other guidance toward successful implementation. This book is especially written with the goal of translating your current expertise in IPv4 into the new realm of IPv6. Special attention is given to dual-stack configurations, helping you to run IPv4 and IPv6 side-by-side and support both protocol versions during a transition period. Practical IPv6 for Windows Administrators is also a fast reference you can look at to get something done quickly. It covers IPv6 addressing, management of IPv6 from Powershell, Advanced Firewall configuration, and use of IPv6 in Hyper-V and virtual networking environments. You'll find practical examples showing how IPv6 integrates with all the standard tools you use for IPv4 today, tools like DNS and DHCP. You'll also find insider knowledge on IPv6 that can help avert stumbling points on the road to deployment. Provides a quick path from IPv4 expertise to IPv6 implementation Gives best-practices specific to Windows on IPv6 and dual stack networks Is chock full of practical examples showing how to manage IPv6 on Windows."]
[null,"2.","Record Nr.",null,"UNINA9910139871503321"]
[null,null,"Titolo",null,"UML 2 semantics and applications / / edited by Kevin Lano"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, NJ, : John Wiley & Sons, 2009"]
[null,null,"ISBN",null,"9786612331633"]
[{"$nulls":4},"9781282331631"]
[{"$nulls":4},"1282331639"]
[{"$nulls":4},"9780470522622"]
[{"$nulls":4},"0470522623"]
[{"$nulls":4},"9780470522615"]
[{"$nulls":4},"0470522615"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (418 p.)"]
[null,null,"Disciplina",null,"005.13/1"]
[{"$nulls":4},"005.131"]
[null,null,"Soggetti",null,"Computer software - Development"]
[{"$nulls":4},"Application software - Development"]
[{"$nulls":4},"UML (Computer science)"]
[{"$nulls":4},"Formal languages - Semantics"]
[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,"UML 2 SEMANTICS AND APPLICATIONS; CONTENTS; CONTRIBUTORS; PREFACE; 1 INTRODUCTION TO THE UNIFIED MODELING LANGUAGE; 1.1 Introduction; 1.2 Class Diagrams; 1.3 Object Diagrams; 1.4 Use Cases; 1.5 State Machines; 1.6 Object Constraint Language; 1.7 Interaction Diagrams; 1.8 Activity Diagrams; 1.9 Deployment Diagrams; 1.10 Relationships Between UML Models; 1.11 Summary; 2 THE ROLE OF SEMANTICS; 2.1 Introduction; 2.2 Different Semantic Approaches; 2.3 Applications of Semantics; 2.4 UML Semantics; 2.5 Applications of Semantics to UML; 2.6 Application of Semantics to the Use of UML; 2.7 Summary"]
[{"$nulls":4},"3 CONSIDERATIONS AND RATIONALE FOR A UML SYSTEM MODEL3.1 Introduction; 3.2 General Approach to Semantics; 3.3 Structuring the Semantics of UML; 3.4 The Math Behind the System Model; 3.5 What Is the System Model?; 3.6 Usage Scenarios; 3.7 Concluding Remarks; 4 DEFINITION OF THE SYSTEM MODEL; 4.1 Introduction; 4.2 Notational Conventions; 4.3 Static Part of the System Model; 4.4 Control Part of "]
[{"$nulls":4},"the System Model; 4.5 Messages and Events in the System Model; 4.6 Object State; 4.7 Event-Based Object Behavior; 4.8 Timed Object Behavior; 4.9 The System Model Definition"]
[{"$nulls":4},"Appendix A.1 State Transition SystemsAppendix A.2 Timed State Transition Systems; 5 FORMAL DESCRIPTIVE SEMANTICS OF UML AND ITS APPLICATIONS; 5.1 Introduction; 5.2 Definition of Descriptive Semantics in FOPL; 5.3 The LAMBDES Tool; 5.4 Applications Using Model and Metamodel Analysis; 5.5 Conclusions; 6 AXIOMATIC SEMANTICS OF UML CLASS DIAGRAMS; 6.1 Introduction; 6.2 Real-Time Action Logic; 6.3 Semantics of Class Diagrams; 6.4 Application of the Semantics; 6.5 Related Work; 6.6 Conclusions; 7 OBJECT CONSTRAINT LANGUAGE: METAMODELING SEMANTICS; 7.1 Introduction; 7.2 Metamodeling Semantics"]
[{"$nulls":4},"7.3 OCL Semantics: Types and Values7.4 OCL Semantics: Expressions and Evaluations; 7.5 Summary and Conclusions; 8 AXIOMATIC SEMANTICS OF STATE MACHINES; 8.1 Introduction; 8.2 State Machine Semantics; 8.3 Extended State Machines; 8.4 Semantics for Extended State Machines; 8.5 Solutions for Semantic Problems; 8.6 Structured Behavior State Machines; 8.7 Related Work; 8.8 Summary; 9 INTERACTIONS; 9.1 Introduction; 9.2 Trace-Based Semantics; 9.3 Alternative Semantics; 9.4 Implementation and Refinement; 9.5 Verification and Validation"]
[{"$nulls":4},"10 CO-ALGEBRAIC SEMANTIC FRAMEWORK FOR REASONING ABOUT INTERACTION DESIGNS10.1 Introduction; 10.2 Why Co-algebras?; 10.3 A Semantics for UML Sequence Diagrams; 10.4 New Sequence Diagrams from Old; 10.5 Coercions and Designs; 10.6 A Calculus for Interactions; 10.7 Concluding Remarks; 11 SEMANTICS OF ACTIVITY DIAGRAMS; 11.1 Introduction; 11.2 Semantics of Structured Activities; 11.3 Semantics of Intermediate Activities; 11.4 Data Flow Semantics; 11.5 Semantic Analysis; 11.6 Related Work; 11.7 Summary; 12 VERIFICATION OF UML MODELS; 12.1 Introduction; 12.2 Class Diagrams"]
[{"$nulls":4},"12.3 State Machine Diagrams"]
[null,null,null,"Sommario/riassunto","A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic"]