Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, Sekerinski Emil, Moreira Nelma, Oliveira Josй N.
Автор: Sekerinski Emil, Moreira Nelma, Oliveira Josй N. Название: Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II ISBN: 3030549968 ISBN-13(EAN): 9783030549961 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;
Автор: Schwardmann Ulrich, Boehme Christian, B. Heras Dora Название: Euro-Par 2019: Parallel Processing Workshops: Euro-Par 2019 International Workshops, Gцttingen, Germany, August 26-30, 2019, Revised Selected Papers ISBN: 3030483398 ISBN-13(EAN): 9783030483395 Издательство: Springer Рейтинг: Цена: 91300.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes revised selected papers from the workshops held at 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, which took place in Goettingen, Germany, in August 2019.
Автор: Dabrowski Joel Janek, Rahman Ashfaqur, Paul Manoranjan Название: Image and Video Technology: Psivt 2019 International Workshops, Sydney, Nsw, Australia, November 18-22, 2019, Revised Selected Papers ISBN: 3030397696 ISBN-13(EAN): 9783030397692 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-conference proceedings of four international workshops held in the framework of the 9th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2019, in Sydney, NSW, Australia, in November 2019: Vision-Tech: Workshop on Challenges, Technology, and Solutions in the Areas of Computer Vision;
AI4KM 2019: 7th International Workshop on Artificial Intelligence for Knowledge Management and Innovation.- FinNLP 2019: First International Workshop on Financial Technology and Natural Language Processing.- OR 2019: 32nd International Workshop on Qualitative Reasoning.- SURL 2019: Second International Workshop on Scaling-Up Reinforcement Learning.- First International Workshop on Bringing Semantic Knowledge into Vision and Text Understanding.- EASyHAT 2019: International Workshop on Evaluation of Adaptive Systems for Human-Autonomy Teaming.- ACAN 2019: 12th International Workshop on Agent-based Complex Automated Negotiations.- First International Workshop on Deep Learning for Human Activity Recognition.- HAI 2019: Second International Workshop on Humanizing AI.- Third International Workshop on Language Sense on Computer.- AISafety 2019: International Workshop on Artificial Intelligence Safety.- DeLBP 2019: 4th International Workshop on Declarative Learning Based Programming.
Beyond Computers: Wearables, Humans, And Things - WHAT!.- Supporting the Experience of Stakeholders of Multimedia Art - Towards an Ontology.- User Experiences and Wellbeing at Work (UX@Work).- Wellbeing at Work: Four Perspectives on What User Experiences with Artifacts May Contribute.- The ''aftermath'' of Industry 4.0 in Small and Medium Enterprises.- User Persona of Mother of Preterm Neonate.- Livability- Analysis of People's Living Comfort in Different Cities of India Using GIS: A Prototype.- Digital Peer-Tutoring: Early Results from a Field Evaluation of a UX at Work Learning Format in SMEs.- Proposed System for a Socio-technical Design Framework for Improved User Collaborations with Automation Technologies.- Workshop on Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes.- Assessing the Performance of Agile Teams.- Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties.- Designing an Intelligent User Interface.- On the Development of Context-aware Augmented Reality Applications.- Towards Identification of Patterns Aligning Security and Usability.
Автор: Benmansour Rachid, Sifaleras Angelo, Mladenovic Nenad Название: Variable Neighborhood Search: 7th International Conference, Icvns 2019, Rabat, Morocco, October 3-5, 2019, Revised Selected Papers ISBN: 3030449319 ISBN-13(EAN): 9783030449315 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the post- conference proceedings of the 7th International Conference on Variable Neighborhood Search, ICVNS 2019, held in Rabat, Morocco, in October 2019. The 13 full papers presented in this volume were carefully reviewed and selected from 46 submissions.
Автор: Yokota Rio, Weiland Michèle, Shalf John Название: High Performance Computing: Isc High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers ISBN: 3030024644 ISBN-13(EAN): 9783030024642 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International Workshop on In Situ Visualization, WOIV 2018; 4th International Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, ExaComm 2018; International Workshop on OpenPOWER for HPC, IWOPH 2018; IXPUG Workshop: Many-Core Computing on Intel Processors; Workshop on Sustainable Ultrascale Computing Systems; Approximate and Transprecision Computing on Emerging Technologies, ATCET 2018; First Workshop on the Convergence of Large-Scale Simulation and Artificial Intelligence; Third Workshop for Open Source Supercomputing, OpenSuCo 2018; First Workshop on Interactive High-Performance Computing; Workshop on Performance Portable Programming Models for Accelerators, P^3MA 2018.
The 53 full papers included in this volume were carefully reviewed and selected from 80 submissions. They cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.
Автор: Mazal Jan, Fagiolini Adriano, Vasik Petr Название: Modelling and Simulation for Autonomous Systems: 6th International Conference, Mesas 2019, Palermo, Italy, October 29-31, 2019, Revised Selected Paper ISBN: 3030438899 ISBN-13(EAN): 9783030438890 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2019, held in Palermo, Italy, in October 2019. The 22 full papers and 13 short papers included in the volume were carefully reviewed and selected from 53 submissions.
Автор: Pesado Patricia, Arroyo Marcelo Название: Computer Science - Cacic 2019: 25th Argentine Congress of Computer Science, Cacic 2019, Rнo Cuarto, Argentina, October 14-18, 2019, Revised Selected ISBN: 303048324X ISBN-13(EAN): 9783030483241 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes revised selected papers from the 25th Argentine Congress on Computer Science, CACIC 2019, held in Rio Cuarto, Argentina, in October 2019.The 27 full papers presented in this volume were carefully reviewed and selected from a total of 185 submissions. innovation in computer science education;
Автор: Jemili Imen, Mosbah Mohamed Название: Distributed Computing for Emerging Smart Networks: First International Workshop, Dices-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected P ISBN: 3030401308 ISBN-13(EAN): 9783030401306 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book contains extended versions of the best papers presented at the First International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2019, held in Hammamet, Tunisia, in October 2019. The 9 revised full papers included in this volume were carefully reviewed and selected from 24 initial submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
