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.
Автор: 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.
Автор: Amara Amara; Olivier Rozeau Название: Planar Double-Gate Transistor ISBN: 9048181089 ISBN-13(EAN): 9789048181087 Издательство: Springer Рейтинг: Цена: 144410.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The aim of the editors here is to reinforce the synergy between the research activities on CMOS sub-32nm devices and the design of elementary circuits. The goal is to point out how we can apply new transistor structures to come up with new cells and concepts.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
