Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf, Damiani Ferruccio, Dardha Ornela


Варианты приобретения
Цена: 46570.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 127 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Damiani Ferruccio, Dardha Ornela
Название:  Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf
ISBN: 9783030781415
Издательство: Springer
Классификация:





ISBN-10: 3030781410
Обложка/Формат: Paperback
Страницы: 301
Вес: 0.45 кг.
Дата издания: 06.06.2021
Язык: English
Размер: 23.39 x 15.60 x 1.70 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание:

Modeling and analyzing resource-sensitive actors: A tutorial introduction.- Manifestly Phased Communication via Shared Session Types.- Deconfined Global Types for Asynchronous Sessions.- Relating Functional and Imperative Session Types.- Safe Session-Based Asynchronous Coordination in Rust.- A Session Subtyping Tool.- Towards Probabilistic Session-Type Monitoring.- Java Typestate Checker.- Asynchronous Global Types in co-logic Programming.- Tuple-Based Coordination in Large-Scale Situated Systems.- A Theory of Automated Market Makers in DeFi.- ReGraDa: Reactive Graph Data.- The Structure of Concurrent Process Histories.- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator.- Microservice Dynamic Architecture-Level Deployment Orchestration.- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming.



Culture and Computing. Design Thinking and Cultural Computing: 9th International Conference, C&c 2021, Held as Part of the 23rd Hci International Conf

Автор: Rauterberg Matthias
Название: Culture and Computing. Design Thinking and Cultural Computing: 9th International Conference, C&c 2021, Held as Part of the 23rd Hci International Conf
ISBN: 3030774309 ISBN-13(EAN): 9783030774301
Издательство: Springer
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Design Thinking in Cultural Contexts.- Digital Literacy-based User Experience Design for Medication-allergy Patients Care.- Advancing Inclusive Service Design: Defining, Evaluating & Creating Universally Designed Services.- Civic Community Archiving with the Platform for Experimental Collaborative Ethnography: Double Binds and Design Challenges.- What Could Safety Research Contribute to Technology Design.- User Interface Design of Virtual Conferencing Tools - Towards a Method for Considering Cultural Impact - Exemplified by Zoom.- Infrastructuring for Collective Heritage Knowledge Production.- Core concepts Linking Exhibit Design and the Visitor Experience in Science Centers: an Early Framework.- Socio-Emotional Experience in Human Technology Interaction Design - a Fashion Framework Proposal.- Human Research in Technology Design.- Research on the Public Design Innovation Method based on the Sharing Concept of Cultural Computing.- Digital Humanities, New Media and Culture.- The Ontology of Mixed Reality Agents Memorializing the Dead and Dying.- The Human Mind and Engineering Models.- Social Media Data for the Conservation of Historic Urban Landscapes: Prospects and Challenges.- Questions in Cognitive Mimetics.- Memory Modalities - Opening-up Digital Heritage Infrastructures.- Youth and Algorithmic Memory: Co-Producing Personal Memory on Instagram.- Culture in the Post Pandemic Era.- How to Access and Transform the Unconscious for Cultural Development.- Ethical Stance and Evolving Technosexual Culture - A Case for Human-Computer Interaction.- AI Ethics - Critical Reflections on Embedding Ethical Frameworks in AI Technology.- Using Information Divergence to Differentiate Deep from Superficial Resemblances among Discourses.- On Complexity of GLAMs' Digital Ecosystem: APIs as Change Makers for Opening Up Knowledge.- Perspectives on Cultural Computing.- Appropriation for Interdisciplinary Practice: The Case of Participatory Design in Brazilian Computer Science.- Towards a Generic Framework for Intercultural User Interface Design to Evoke Positive Cross-Cultural UX.- Transformation of Landscape into Artistic and Cultural Video Using AI for Future Car.- The Collection Method of Heterogeneous Smart Farm Data based on Model Transformation Technique for Human Computer Friendly Learning.- Quick Buttons on Map-based Human Machine Interface in Vehicles is Better or Not: A Cross-Cultural Comparative Study between Chinese and Germans.- Culturally Aware Intelligent Learning Environments for Resource-poor Countries.- A Stranger in the Classroom: Pre-Service Teachers' Anxiety and Negative Attitudes toward Humanoid Social Robots.- Bie-Modernism and Cultural Computing.

Hci in Games: Experience Design and Game Mechanics: Third International Conference, Hci-Games 2021, Held as Part of the 23rd Hci International Confere

Автор: Fang Xiaowen
Название: Hci in Games: Experience Design and Game Mechanics: Third International Conference, Hci-Games 2021, Held as Part of the 23rd Hci International Confere
ISBN: 3030772764 ISBN-13(EAN): 9783030772765
Издательство: Springer
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set LNCS 12789 and 12790 constitutes the refereed proceedings of the Third International Conference on HCI in Games, HCI-Games 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021.

Culture and Computing. Interactive Cultural Heritage and Arts: 9th International Conference, C&c 2021, Held as Part of the 23rd Hci International Conf

Автор: Rauterberg Matthias
Название: Culture and Computing. Interactive Cultural Heritage and Arts: 9th International Conference, C&c 2021, Held as Part of the 23rd Hci International Conf
ISBN: 3030774104 ISBN-13(EAN): 9783030774103
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ICT for Cultural Heritage.- Heritage Building Information Modelling (HBIM) as a Tool for Heritage Conservation: Observations and Reflections on Data Collection, Management and Use in Research in a Middle Eastern Context.- The MaDiH (مديح): Mapping Digital Cultural Heritage in Jordan, Opportunities and Limitations.- A SLAM Integrated Approach for Digital Heritage Documentation.- The Circular City Implementation: Cultural Heritage and Digital Technology.- Research on Digital Dissemination of Chinese Classical Garden Culture.- The Method of Mining the Relationship Between the Use of Architectural Elements in Buildings and Cultural Connotation It Reflects: Case of Beijing's Representative Buildings.- IkebanaGAN: New GANs Technique for Digital Ikebana Art.- Interactive Tools for the Visualization of Tangible and Intangible Silk Heritage Emerging from an Interdisciplinary Work.- Soundscape Singapore: Sound as Mediated Cultural Heritage.- Towards Smart Planning Conservation of Heritage Cities: Digital Technologies and Heritage Conservation Planning.- Digital Storytelling: the Integration of Intangible and Tangible Heritage in the city of Surat, India.- Technology and Art.- A Sonification of the zCOSMOS Galaxy Dataset.- Films as Technological Artefacts.- Symbolic Representation and Processing of Musical Structure: Stream Segments, Pitch Interval Patterns, General Chord Types.- Towards AI Aesthetics: Human-AI Collaboration in Creating Chinese Landscape Painting.- Kindergarten Interactive Lighting Design Based on Cognitive Development Theory.- Research on "The Cinema Development Mode of Digital Art Exhibition" from the Perspective of Cultural Computing.- Implementation of Fast-Building Interactive Scene with Chinese Paper Cutting Style.- Empathy in Technology Design and Graffiti.- Voyages Along the Star Paths: Capturing Calendrical Cycles from Kauai to Bali.- Urban Interactive Installation Art as Pseudo-Environment Based on the Frame of the Shannon-Weaver Model.- The Multileveled Rhythmic Structure of Ragtime.- Visitors' Experiences in Digital Culture.- Redefining the Digital Paradigm for Virtual Museums: Towards Interactive and Engaging Experiences in the Post-Pandemic Era.- Research on Factors Influencing Users' Technology Acceptance of Virtual Museums.- Unlocking Learning: Promoting Cultural Brand through Interactions with Ancient Locks in an SL Virtual Space.- Breaking Boundaries, Creating Connectivities: Enabling Access to Digitized Museum Collections.- Toward Extended Sensory Interface for Impaired Person.- User Experience in Digital Museums: A Case Study of the Palace Museum in Beijing.- Before You Visit-: New Opportunities for the Digital Transformation of Museums.- Analysis of the Influencing Factors of User Experience in Online Art Forms during the COVID-19--based on the DEMATEL Method.

Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 2021, Held as Part of the 16th In

Автор: Peters Kirstin, Willemse Tim A. C.
Название: Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 2021, Held as Part of the 16th In
ISBN: 3030780880 ISBN-13(EAN): 9783030780883
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.

The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.

Due to the Corona pandemic this event was held virtually.


Distributed Applications and Interoperable Systems: 21st Ifip Wg 6.1 International Conference, Dais 2021, Held as Part of the 16th International Feder

Автор: Matos Miguel, Greve Fabнola
Название: Distributed Applications and Interoperable Systems: 21st Ifip Wg 6.1 International Conference, Dais 2021, Held as Part of the 16th International Feder
ISBN: 3030781976 ISBN-13(EAN): 9783030781972
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This book constitutes the refereed proceedings of the 21st IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.

The 7 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 15 submissions.

DAIS addresses all practical and conceptual aspects of distributed applications, including their design, modeling, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and applications.


Coordination Models and Languages: 22nd Ifip Wg 6.1 International Conference, Coordination 2020, Held as Part of the 15th International Federated Conf

Автор: Bliudze Simon, Bocchi Laura
Название: Coordination Models and Languages: 22nd Ifip Wg 6.1 International Conference, Coordination 2020, Held as Part of the 15th International Federated Conf
ISBN: 3030500284 ISBN-13(EAN): 9783030500283
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.

Proceedings of the IFIP TC 11 23rd International Information Security Conference

Автор: Jajodia
Название: Proceedings of the IFIP TC 11 23rd International Information Security Conference
ISBN: 0387096981 ISBN-13(EAN): 9780387096988
Издательство: Springer
Рейтинг:
Цена: 184470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the IFIP TC 11 23rd International Information Security Conference held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008. This book features proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields.

Optical Network Design and Modeling: 23rd Ifip Wg 6.10 International Conference, Ondm 2019, Athens, Greece, May 13-16, 2019, Proceedings

Автор: Tzanakaki Anna, Varvarigos Manos, Muсoz Raul
Название: Optical Network Design and Modeling: 23rd Ifip Wg 6.10 International Conference, Ondm 2019, Athens, Greece, May 13-16, 2019, Proceedings
ISBN: 303038084X ISBN-13(EAN): 9783030380847
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores how the European Union designs its trade policy to face the most recent challenges and to influence global policy issues. It studies a broad set of trade instruments that are used by the EU in its trade policy, such as: trade agreements, multilateral initiatives, unilateral trade policies, as well as, internal market tools.

Proceedings of the IFIP TC 11 23rd International Information Security Conference

Автор: Jajodia
Название: Proceedings of the IFIP TC 11 23rd International Information Security Conference
ISBN: 1441935207 ISBN-13(EAN): 9781441935205
Издательство: Springer
Рейтинг:
Цена: 184470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings contain the papers selected for presentation at the 23rd Inter- tional Information Security Conference (SEC 2008), co-located with IFIP World Computer Congress (WCC 2008), September 8-10, 2008 in Milan, Italy. Of the papers submitted, 42 full papers and 11 short papers were selected for presentation at the conference.

Human-Computer Interaction. Interaction Techniques and Novel Applications: Thematic Area, Hci 2021, Held as Part of the 23rd Hci International Confere

Автор: Kurosu Masaaki
Название: Human-Computer Interaction. Interaction Techniques and Novel Applications: Thematic Area, Hci 2021, Held as Part of the 23rd Hci International Confere
ISBN: 3030784649 ISBN-13(EAN): 9783030784645
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Novel Interaction Techniques.- Performance Evaluation and Efficiency of Laser Holographic Peripherals.- Using Real-Pen Specific Features of Active Stylus to Cope with Input Latency.- Comparing Eye Tracking and Head Tracking during a Visual Attention Task in Immersive Virtual Reality.- Investigation of Motion Video Enhancement for Image-based Avatars on Small Displays.- Sound Symbolic Words as a Game Controller.- Towards Improved Vibro-Tactile P300 BCIs.- Talking Through the Eyes: User Experience Design for Eye Gaze Redirection in Live Video Conferencing.- Evaluating the Accuracy and User Experience of a Gesture-based Infrared Remote Control in Smart Homes.- Detection of Finger Contact with Skin based on Shadows and Texture around Fingertips.- Character Input Method Working on 1-inch Round Screen for Tiny Smartwatches.- One Stroke Alphanumeric Input Method by Sliding-in and Sliding-out on the Smartwatch Screen.- Research on Hand Detection in Complex Scenes Based on RGB-D Sensor.- It's a Joint Effort: Understanding Speech and Gesture in Collaborative Tasks.- Human-Robot Interaction.- Analysing Action and Intention Recognition in Human-Robot Interaction with ANEMONE.- A Robot that Tells you it is Watching you with its Eyes.- Am I Conquering the Robot? The Impact of Personality on the Style of Cooperation with an Automatic System.- Kansei Evaluation of Robots in Virtual Space Considering Their Physical Attributes.- The Use of a Sex Doll as Proxy Technology to Study Human-Robot Interaction.- Relationship between Robot Designs and Preferences in Kawaii Attributes.- Perceived Robot Attitudes of Other People and Perceived Robot Use Self-Efficacy as Determinants of Attitudes Toward Robots.- Research on Interactive Experience Design of Peripheral Visual Interface of Unmanned Logistics Vehicle.- A Measurement of Attitude toward Working with Robots (AWRO): A Compare and Contrast Study of AWRO with Negative Attitude toward Robots (NARS).- Service Sector Professionals' Perspective on Robots Doing Their Job in the Future.- User Experience Best Practices for Human-Robot Interaction.- Application for the Cooperative Control of Mobile Robots with Energy Optimization.- Educational Robot European Cross-Cultural Design.- Digital Wellbeing.- Designing for Self-Awareness: Evidence-based Explorations of Multimodal Stress-Tracking Wearables.- Annoyed to Discontinue: Factors Influencing (Dis)Continuance of Using Activity Tracking Wearables.- Human Computer Interaction Challenges in Designing Pandemic Trace Application for the Effective Knowledge Transfer between Science and Society inside the Quadruple Helix Collaboration.- A Study on the Usability of Different Age Groups to the Interface of Smart Bands.- Attention to Breathing in Response to Vibrational and Verbal Cues in Mindfulness Meditation Mediated by Wearable Devices.- CHIAPON: An Anthropomorphic Character Notification System that Discourages their Excessive Smartphone Use.- Designing for App Usage Motivation to Support a Gluten-Free Diet by Comparing Various Persuasive Feedback Elements.- Better Performance Through Mindfulness: Mobile Application Design for Mindfulness Training to Improve Performance in College Athletes.- Holdable Devices: Supporting Mindfulness, Psychological Autonomy and Self-Regulation During Smartphone Use.- Measurement and Analysis of Body Movements in Playing Futsal using Smartphones.- Using e-Health in the Prevention Against Covid-19: An Approach Based on the Theory of Planned Behavior.- HCI in Surgery.- Construction of a Knowledge Base for Empirical Knowledge in Neurosurgery.- VR-Based Surgery Navigation System with 3D User Interface for Robot-Assisted Laparoscopic Partial Nephrectomy.- Comparative Study of Potential-based and Sensor-based Surgical Navigation in Several Liver Environments.- Voxel-based Route-search Algorithm for Tumor Navigation and Blood Vessel Avoidance.- Development of a VR/HMD system for Simulating Sever

Trust Management XIII: 13th Ifip Wg 11.11 International Conference, Ifiptm 2019, Copenhagen, Denmark, July 17-19, 2019, Proceedings

Автор: Meng Weizhi, Cofta Piotr, Jensen Christian Damsgaard
Название: Trust Management XIII: 13th Ifip Wg 11.11 International Conference, Ifiptm 2019, Copenhagen, Denmark, July 17-19, 2019, Proceedings
ISBN: 3030337189 ISBN-13(EAN): 9783030337186
Издательство: Springer
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2019, held in Copenhagen, Denmark, in July 2019. The 7 revised full papers, 3 short papers, and 6 work-in-progress papers presented were carefully reviewed and selected from 32 submissions.

The Future of Digital Work: The Challenge of Inequality: Ifip Wg 8.2, 9.1, 9.4 Joint Working Conference, Ifipjwc 2020, Hyderabad, India, December 10-1

Автор: Bandi Rajendra K., C. R. Ranjini, Klein Stefan
Название: The Future of Digital Work: The Challenge of Inequality: Ifip Wg 8.2, 9.1, 9.4 Joint Working Conference, Ifipjwc 2020, Hyderabad, India, December 10-1
ISBN: 3030646963 ISBN-13(EAN): 9783030646967
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital Work: The Challenge of Inequality, IFIPJWC 2020, which was supposed to be held in Hyderabad, India, in December 2020, but was held virtually due to the COVID-19 pandemic.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия