Описание: 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.
Описание: 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’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.
Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu Название: Theoretical Aspects of Computing -- ICTAC 2013 ISBN: 3642397174 ISBN-13(EAN): 9783642397172 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Описание: This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2021, held in Wroclaw, Poland, in June 2021.
Автор: Sampaio Название: Theoretical Aspects of Computing – ICTAC 2016 ISBN: 3319467492 ISBN-13(EAN): 9783319467498 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Dang Van Hung; Deepak Kapur Название: Theoretical Aspects of Computing – ICTAC 2017 ISBN: 3319677284 ISBN-13(EAN): 9783319677286 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions.
Автор: Robert Mark Hierons; Mohamed Mosbah Название: Theoretical Aspects of Computing – ICTAC 2019 ISBN: 3030325040 ISBN-13(EAN): 9783030325046 Издательство: Springer Рейтинг: Цена: 9222.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
