Testing Software and Systems: 32nd Ifip Wg 6.1 International Conference, Ictss 2020, Naples, Italy, December 9-11, 2020, Proceedings, Casola Valentina, de Benedictis Alessandra, Rak Massimiliano
Автор: 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.
Автор: Dustdar Schahram, Yu Eric, Salinesi Camille Название: Advanced Information Systems Engineering: 32nd International Conference, Caise 2020, Grenoble, France, June 8-12, 2020, Proceedings ISBN: 3030494349 ISBN-13(EAN): 9783030494346 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, held in Grenoble, France, in June 2020.*The 33 full papers presented in this volume were carefully reviewed and selected from 185 submissions.
Автор: Bernhaupt Regina, Ardito Carmelo, Sauer Stefan Название: Human-Centered Software Engineering: 8th Ifip Wg 13.2 International Working Conference, Hcse 2020, Eindhoven, the Netherlands, November 30 - December ISBN: 3030642658 ISBN-13(EAN): 9783030642655 Издательство: Springer Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: User-Centred Design Approaches.- An Agile Framework Towards Inclusion. Supporting teachers working in an inclusive learning environment.- A Generic Visualization Approach Supporting Task-based Evaluation of Usability and User Experience.- Digitalisation of Training Tasks and Specification of the Behaviour of a Social Humanoid Robot as Coach.- Model-based and model-driven approaches.- A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms.- Model-based Product Configuration in Augmented Reality Applications.- A scrum-based development process to support co-creation with elders in the eHealth domain.- BPMN Extensions and Semantic Annotation in Public Administration Service Design.- Software development strategies.- Identifying the Mood of a Software Development Team by Analyzing Text-Based Communication in Chats with Machine Learning.- Towards super user-centred continuous delivery: a case study.- Design Decisions by Voice: The Next Step of Software Architecture Knowledge Management.- Poster and demos.- Towards a Trustworthy Patient Home-Care thanks to an Edge-Node Infrastructure.- Paying the Pink Tax on a Blue Dress - Exploring Gender-based Price-Premiums in Fashion Recommendations.- Wearable Touchscreens to Integrate Augmented Reality and Tablets for Work Instructions?.- ProConAR: A Tool Support for Model-based AR Product Configuration-. An Augmented and Virtual Reality Object Repository for Rapid Prototyping.
AI Verification.- Blockchain and Security.- Hardware Veri cation and Decision Procedures.- Hybrid and Dynamic Systems.
Автор: 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.
Автор: Casaca Augusto, Katkoori Srinivas, Ray Sandip Название: Internet of Things. a Confluence of Many Disciplines: Second Ifip International Cross-Domain Conference, Ifipiot 2019, Tampa, Fl, Usa, October 31 - No ISBN: 3030436071 ISBN-13(EAN): 9783030436070 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Автор: Casaca Augusto, Katkoori Srinivas, Ray Sandip Название: Internet of Things. a Confluence of Many Disciplines: Second Ifip International Cross-Domain Conference, Ifipiot 2019, Tampa, Fl, Usa, October 31 - No ISBN: 3030436047 ISBN-13(EAN): 9783030436049 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Автор: Remke Anne, Schiavoni Valerio Название: Distributed Applications and Interoperable Systems: 20th Ifip Wg 6.1 International Conference, Dais 2020, Held as Part of the 15th International Feder ISBN: 3030503224 ISBN-13(EAN): 9783030503222 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.
Автор: Lalic Bojan, Majstorovic Vidosav, Marjanovic Ugljesa Название: Advances in Production Management Systems. Towards Smart and Digital Manufacturing: Ifip Wg 5.7 International Conference, Apms 2020, Novi Sad, Serbia, ISBN: 3030579964 ISBN-13(EAN): 9783030579968 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set IFIP AICT 591 and 592 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2020, held in Novi Sad, Serbia, in August/September 2020. The 164 papers presented were carefully reviewed and selected from 199 submissions.
Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
Автор: Ivanov Vladimir, Kruglov Artem, Masyagin Sergey Название: Open Source Systems: 16th Ifip Wg 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020, Proceedings ISBN: 3030472396 ISBN-13(EAN): 9783030472399 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, held in Innopolis, Russia, in May 2020.* The 12 revised full papers and 8 short papers presented were carefully reviewed and selected from 42 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
