Theoretical Aspects of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings, Pun Violet Ka I., Stolz Volker, Simao Adenilso
Автор: Martin Leucker; Charles Carroll Morgan Название: Theoretical Aspects of Computing - ICTAC 2009 ISBN: 3642034659 ISBN-13(EAN): 9783642034657 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 6th International Colloquium Kuala Lumpur Malaysia August 1620 2009 Proceedings. .
Автор: 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.
Описание: This book constitutes the thoroughly refereed proceedings of the 9th International Congress on Telematics and Computing, WITCOM 2020, held in Puerto Vallarta, Mexico, in November 2020. The 28 full papers and 3 short papers in this volume were carefully reviewed and selected from 79 submissions.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Bernd Fischer; Tarmo Uustalu Название: Theoretical Aspects of Computing – ICTAC 2018 ISBN: 3030025071 ISBN-13(EAN): 9783030025076 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.
Описание: This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.
Описание: This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2020, held in Paderborn, Germany, in June 2020.*The 19 full papers and 2 invited papers presented in this book were carefully reviewed and selected from 41 submissions.
Описание: This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
