Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, 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 I ISBN: 3030549933 ISBN-13(EAN): 9783030549930 Издательство: 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;
Автор: 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;
Автор: 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.
Автор: Camara Javier, Steffen Martin Название: Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re ISBN: 3030575055 ISBN-13(EAN): 9783030575052 Издательство: Springer Рейтинг: Цена: 55890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;
Автор: He Jing, Yu Philip S., Shi Yong Название: Data Science: 6th International Conference, Icds 2019, Ningbo, China, May 15-20, 2019, Revised Selected Papers ISBN: 9811528098 ISBN-13(EAN): 9789811528095 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The research papers cover the areas of Advancement of Data Science and Smart City Applications, Theory of Data Science, Data Science of People and Health, Web of Data, Data Science of Trust and Internet of Things.
Автор: Wang Hongxia, Zhao Xianfeng, Shi Yunqing Название: Digital Forensics and Watermarking: 18th International Workshop, Iwdw 2019, Chengdu, China, November 2-4, 2019, Revised Selected Papers ISBN: 3030435741 ISBN-13(EAN): 9783030435745 Издательство: Springer Рейтинг: Цена: 68930.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 22 full papers and 12 shorts papers presented in this volume were carefully reviewed and selected from 70 submissions. The contributions are covering the following topics: deep learning for multimedia security; digital forensics and anti-forensics; digital watermarking; information hiding; authentication and security.
Автор: 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.
Автор: Wang Xin, Lisi Francesca A., Xiao Guohui Название: Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Revised Selected Papers ISBN: 981153411X ISBN-13(EAN): 9789811534119 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed proceedings of the 9th Joint International Semantic Technology Conference, JIST 2019, held in Hangzhou, China, in November 2019.The 12 full papers and 12 short papers presented were carefully reviewed and selected from 70 submissions.
Автор: 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.
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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
