Theoretical Aspects of Computing – ICTAC 2018, Bernd Fischer; Tarmo Uustalu
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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. .
Автор: Leila Kallel; Bart Naudts; Alex Rogers Название: Theoretical Aspects of Evolutionary Computing ISBN: 3642086764 ISBN-13(EAN): 9783642086762 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: During the first week of September 1999, the Second EvoNet Summer School on Theoretical Aspects of Evolutionary Computing was held at the Middelheim cam- pus of the University of Antwerp, Belgium.
Описание: This book constitutes the refereed proceedings of the 14th Industrial Conference on Advances in Data Mining, ICDM 2014, held in St. Petersburg, Russia, in July 2014.
Автор: Martin Abadi; Takayasu Ito Название: Theoretical Aspects of Computer Software ISBN: 354063388X ISBN-13(EAN): 9783540633884 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS `97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.
Автор: Ashish Kumar Luhach; Kamarul Bin Ghazali Hawari; I Название: Smart Computational Strategies: Theoretical and Practical Aspects ISBN: 9811362947 ISBN-13(EAN): 9789811362941 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Поставка под заказ.
Описание:
This book covers new developments and advances in the field of Computational Strategies for next-generation computing. The contributing authors share diverse perspectives on and extensive discussions of issues concerning the theory, applications, and future prospects. Addressing computing methodologies, hardware information systems and networks, this interdisciplinary book will appeal to all scholars with an interest in computing methodologies, hardware information systems and networks.
Описание: This book constitutes the refereed proceedings of the 15th Industrial Conference on Advances in Data Mining, ICDM 2015, held in Hamburg, Germany, in July 2015. The 16 revised full papers presented were carefully reviewed and selected from numerous submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
