Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Ter Beek Maurice H., Ničkovic Dejan
Автор: Jirбskovб Galina, Pighizzini Giovanni Название: Descriptional Complexity of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings ISBN: 3030625354 ISBN-13(EAN): 9783030625351 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Mutually Accepting Capacitated Automata.- Bad pictures: some structural properties related to overlaps.- Regular Expression Length via Arithmetic Formula Complexity.- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable.- On the Power of Generalized Forbidding Insertion-Deletion Systems.- State Complexity Bounds for the Commutative Closure of Group Languages.- Multiple Concatenation and State Complexity (Extended Abstract).- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata.- Longer shortest strings in two-way finite automata.- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion.- Descriptional Complexity of Winning Sets of Regular Languages.- State complexity of GF(2)-inverse and GF(2)-star on binary languages.- Complexity of Two-dimensional Rank-reducing Grammars.- Palindromic Length of Words with Many Periodic Palindromes.- Operational Complexity of Straight Line Programs for Regular Languages.- Classifying ω-Regular Aperiodic k-Partitions.- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata.- On the Generative Power of Quasiperiods.- Insertion-Deletion Systems With Substitutions II.
Автор: de Boer Frank, Cerone Antonio Название: Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings ISBN: 3030587673 ISBN-13(EAN): 9783030587673 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Автор: Li Menggang, Bohбcs Gбbor, Hua Guowei Название: Ieis 2020: Proceedings of the 7th International Conference on Industrial Economics Systems and Industrial Security Engineering ISBN: 9813343621 ISBN-13(EAN): 9789813343627 Издательство: Springer Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book contains selected papers of the International Conference on Industrial Economics Systems and Industrial Security Engineering (IEIS 2020), which is co-organized by Beijing Jiaotong University, Budapest University of Technology and Economics, in July 25-28 2020.
Автор: Wang Guojun, Lin Xuemin, Hendler James Название: Web Information Systems and Applications: 17th International Conference, Wisa 2020, Guangzhou, China, September 23-25, 2020, Proceedings ISBN: 3030600289 ISBN-13(EAN): 9783030600280 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers are grouped in topical sections on world wide web, recommendation, query processing and algorithm, natural language processing, machine learning, graph query, edge computing and data mining, data privacy and security, and blockchain.
Автор: Larsen Kim Guldstrand, Willemse Tim Название: Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings ISBN: 3030270076 ISBN-13(EAN): 9783030270070 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
Автор: Gribaudo Marco, Jansen David N., Remke Anne Название: Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings ISBN: 3030598535 ISBN-13(EAN): 9783030598532 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions.
Автор: Abate Alessandro, Petrov Tatjana, Wolf Verena Название: Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings ISBN: 3030603261 ISBN-13(EAN): 9783030603267 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.
Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.
Advanced database and web applications.-Big data.- Data mining.- Machine learning for database.- Data warehouse and OLAP.- Information retrieval.- Data model and query language.- Query processing.- Optimization.- Recommendation systems.- Data quality and credibility.- Multimedia databases.- Temporal and spatial databases.- Data streams and time-series data.- Semantic web and knowledge management.- Graph data management.- Social network analytics.- Bio and health informatics.- Blockchain and parallel/distributed systems.- Security.- Privacy and Trust.- Databases for emerging hardware.
Автор: Helic Denis, Leitner Gerhard, Stettinger Martin Название: Foundations of Intelligent Systems: 25th International Symposium, Ismis 2020, Graz, Austria, September 23-25, 2020, Proceedings ISBN: 3030594904 ISBN-13(EAN): 9783030594909 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
