Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings, Cerone Antonio, Цlveczky Peter Csaba
Автор: Bai Chengming Et Al Название: Symmetries And Groups In Contemporary Physics - Proceedings Of The Xxix International Colloquium On Group-Theoretical Methods In Physics ISBN: 9814518549 ISBN-13(EAN): 9789814518543 Издательство: World Scientific Publishing Рейтинг: Цена: 221760.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume focuses on developments in the field of group theory in its broadest sense and is of interest to theoretical and experimental physicists, mathematicians, and scientists in related disciplines who are interested in the latest methods and applications. In an increasingly ultra-specialized world, this volume will demonstrate the interchange of ideas and methods in theoretical and mathematical physics.
Автор: Robert Mark Hierons; Mohamed Mosbah Название: Theoretical Aspects of Computing – ICTAC 2019 ISBN: 3030325040 ISBN-13(EAN): 9783030325046 Издательство: Springer Рейтинг: Цена: 61480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.
Автор: Pun Violet Ka I., Stolz Volker, Simao Adenilso Название: Theoretical Aspects of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings ISBN: 3030642755 ISBN-13(EAN): 9783030642754 Издательство: Springer Цена: 61480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Автор: Duarte Sergio, Gazeau Jean-Pierre, Faci Sofiane Название: Physical and Mathematical Aspects of Symmetries: Proceedings of the 31st International Colloquium in Group Theoretical Methods in Physics ISBN: 331988722X ISBN-13(EAN): 9783319887227 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Boyle, for their life-long contributions to the math and physics communities. The aim of the ICGTMP is to provide a forum for physicists, mathematicians, and scientists of related disciplines who develop or apply methods in group theory to share their research.
Название: Gregory of Nyssa: Homilies on the Our Father. An English Translation with Commentary and Supporting Studies: Proceedings of the 14th International Colloquium on Gregory of Nyssa (Paris, 4-7 September 2018) ISBN: 9004463003 ISBN-13(EAN): 9789004463004 Издательство: Brill Цена: 228460.00 T Наличие на складе: Нет в наличии. Описание: Gregory of Nyssa’s Homilies on the Our Father are the second explanation of this central prayer of Christian worship in Greek Antiquity. Composed at the end of the 4th century, these five homilies offer a spiritual and pastoral commentary of the Pater Noster. The present volume, edited by Matthieu Cassin (Paris), Helene Grelier-Deneux (Paris) and Francoise Vinel (Strasbourg), offers introductory materials, a new English translation, the first edition of the 15th century Latin translation by Athanasios Chalkeopoulos, together with five studies that form a commentary for the different homilies, and nineteen shorter contributions on various aspects of the text. The contributors envisage the text according to exegesis and theology, but also to philosophy, rhetoric and history of Christian communities.
Автор: Giulio Maspero, Miguel Brugarolas, Ilaria Vigorelli Название: Gregory of Nyssa: In Canticum Canticorum: Analytical and Supporting Studies. Proceedings of the 13th International Colloquium on Gregory of Nyssa (Rome, 17-20 September 2014) ISBN: 9004381449 ISBN-13(EAN): 9789004381445 Издательство: Brill Цена: 264320.00 T Наличие на складе: Невозможна поставка. Описание: Taken together, Gregory of Nyssa’s XV Homilies In Canticum Canticorum are at the same time – as if in unison – a work of spiritual, exegetical, and theological doctrine. The wide spectrum of the themes present in them have prompted a great interest in this work, not only among scholars of patristics or theology, but also among those interested in biblical interpretation, ancient rhetoric or Christian mystical doctrine. These Proceedings present the results of the 13th International Colloquium on Gregory of Nyssa (Rome, 17-20 September 2014): a systematic commentary of Gregory’s In Canticum from a broad perspective in the form of sixteen papers and a selection of fourteen short essays devoted to various issues that represent a valuable set of supporting studies.
Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu Название: Theoretical Aspects of Computing -- ICTAC 2013 ISBN: 3642397174 ISBN-13(EAN): 9783642397172 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Автор: Sampaio Название: Theoretical Aspects of Computing – ICTAC 2016 ISBN: 3319467492 ISBN-13(EAN): 9783319467498 Издательство: Springer Рейтинг: Цена: 61490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.
Автор: Gabriel Ciobanu; Dominique M?ry Название: Theoretical Aspects of Computing – ICTAC 2014 ISBN: 3319108816 ISBN-13(EAN): 9783319108810 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: software architectures and their models, refinement and verification; relationship between software requirements, models and code; models of object and component systems; service-oriented architectures: models and development methods; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.
Автор: Martin Leucker; Camilo Rueda; Frank D. Valencia Название: Theoretical Aspects of Computing - ICTAC 2015 ISBN: 331925149X ISBN-13(EAN): 9783319251493 Издательство: Springer Рейтинг: Цена: 67080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015. The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions.
Автор: John Fitzgerald; Anne E. Haxthausen; Husnu Yenigun Название: Theoretical Aspects of Computing - ICTAC 2008 ISBN: 3540857613 ISBN-13(EAN): 9783540857617 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Includes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. This book contains 27 papers that were selected from over 70 submissions. It intends to bring together practitioners and researchers from academia to present research results.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
