Beyond Planar Graphs: Communications of NII Shonan Meetings, Hong Seok-Hee, Tokuyama Takeshi
Автор: Hong Seok-Hee, Tokuyama Takeshi Название: Beyond Planar Graphs: Communications of Nii Shonan Meetings ISBN: 9811565325 ISBN-13(EAN): 9789811565328 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: and 3) to foster cross-disciplinary research collaboration between computer science (graph drawing and computational geometry) and mathematics (graph theory and combinatorics). New algorithms for beyond planar graphs will be in high demand by practitioners in various application domains to solve complex visualization problems.
Автор: Fitzgerald Brian, Mockus Audris, Zhou Minghui Название: Towards Engineering Free/Libre Open Source Software (Floss) Ecosystems for Impact and Sustainability: Communications of Nii Shonan Meetings ISBN: 9811371016 ISBN-13(EAN): 9789811371011 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: As commercial participation in FLOSS has become common, the question of how to combine FLOSS practice with commercial practice has been the subject of research, particularly with a view to understanding how to ensure sustainability of the ecosystem.This book is based on a Shonan meeting on FLOSS ecosystem sustainability held in June 2017.
Автор: Ait-Ameur Yamine, Nakajima Shin, Mйry Dominique Название: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings ISBN: 9811550565 ISBN-13(EAN): 9789811550560 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Chapter 2: Domain-specific Developments using Rodin Theories.- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering.- Chapter 4: Operations over Lightweight Ontologies and their Implementation.- Chapter 5: Formal Ontological Analysis for Medical Protocol.- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems.- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns.- Chapter 8: An Explicit Semantics for Event-B Refinements.- Chapter 9: Contextual Dependency in State-based Modelling.- Chapter 10: Configuration of complex systems.- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded.- Chapter 12: The Indefeasibility Criterion for Assurance Cases.- Chapter 13: An Event-B development process for the distributed BIP framework.- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach.- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development.
Автор: Nakajima Shin, Talpin Jean-Pierre, Toyoshima Masumi Название: Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of Nii Shonan Meetings ISBN: 9811351368 ISBN-13(EAN): 9789811351365 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS.
Автор: Ait-Ameur Yamine, Nakajima Shin, Mйry Dominique Название: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of Nii Shonan Meetings ISBN: 9811550530 ISBN-13(EAN): 9789811550539 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line.- Chapter 2: Domain-specific Developments using Rodin Theories.- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering.- Chapter 4: Operations over Lightweight Ontologies and their Implementation.- Chapter 5: Formal Ontological Analysis for Medical Protocol.- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems.- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns.- Chapter 8: An Explicit Semantics for Event-B Refinements.- Chapter 9: Contextual Dependency in State-based Modelling.- Chapter 10: Configuration of complex systems.- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded.- Chapter 12: The Indefeasibility Criterion for Assurance Cases.- Chapter 13: An Event-B development process for the distributed BIP framework.- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach.- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development.
Автор: Fukunaga Takuro, Kawarabayashi Ken-Ichi Название: Combinatorial Optimization and Graph Algorithms: Communications of Nii Shonan Meetings ISBN: 9811355819 ISBN-13(EAN): 9789811355813 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Covering network designs, discrete convex analysis, facility location and clustering problems, matching games, and parameterized complexity, this book discusses theoretical aspects of combinatorial optimization and graph algorithms.
Автор: Miehle Juliana, Minker Wolfgang, Andrй Elisabeth Название: Multimodal Agents for Ageing and Multicultural Societies: Communications of Nii Shonan Meetings ISBN: 9811634750 ISBN-13(EAN): 9789811634758 Издательство: Springer Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book aims to explore and discuss theories and technologies for the development of socially competent and culture-aware embodied conversational agents for elderly care.
Автор: Agelos Georgakopoulos Название: The Planar Cubic Cayley Graphs ISBN: 1470426447 ISBN-13(EAN): 9781470426446 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 74850.00 T Наличие на складе: Невозможна поставка. Описание: The author obtains a complete description of the planar cubic Cayley graphs, providing an explicit presentation and embedding for each of them. This turns out to be a rich class, comprising several infinite families. He obtains counterexamples to conjectures of Mohar, Bonnington and Watkins. The author's analysis makes the involved graphs accessible to computation, corroborating a conjecture of Droms.
Автор: Markus Klein; Andreas Knauf Название: Classical Planar Scattering by Coulombic Potentials ISBN: 3662139006 ISBN-13(EAN): 9783662139004 Издательство: Springer Рейтинг: Цена: 78350.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
1.- Introduction. 2.- Full 3D Modeling of Planar Fuel Cells. 3.- Development of Reduced PEMFC Models. 4.- development of Reduced P-SOFC Models. 5.- Integrated Stochastic and Deterministic Sensitivity Analysis of Cell and Stack Performances. 6.- Conclusions.
Автор: Margarita Puentes Vargas Название: Planar Metamaterial Based Microwave Sensor Arrays for Biomedical Analysis and Treatment ISBN: 3319060406 ISBN-13(EAN): 9783319060408 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents an innovative concept for the realization of sensors based on a planar metamaterial microwave array and shows their application in biomedical analysis and treatment.
Автор: Lih–Tyng Hwang, Tzyy–Sheng Jason Horng Название: 3D IC and RF SiPs: Advanced Stacking and Planar Solutions for 5G Mobility ISBN: 1119289645 ISBN-13(EAN): 9781119289647 Издательство: Wiley Рейтинг: Цена: 122440.00 T Наличие на складе: Невозможна поставка. Описание: Advanced Stacking and Planar Solutions for 5G Mobility. An interdisciplinary guide to enabling technologies for 3D ICs and 5G mobility, covering packaging, design to product life and reliability assessments
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
