Theoretical Aspects of Computing – ICTAC 2017, Dang Van Hung; Deepak Kapur
Автор: 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.
Автор: 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.
Автор: Naoki Kobayashi; Benjamin C. Pierce Название: Theoretical Aspects of Computer Software ISBN: 3540427368 ISBN-13(EAN): 9783540427360 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic.
Автор: 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. .
Автор: 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.
Автор: 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.
Описание: Comprises papers based on some of the talks presented at the IUTAM Symposium of the same name, held in Cape Town, January 14-18, 2008. This book discusses various issues in modeling, the behavior of various classes of inelastic media, and associated algorithms for carrying out computational simulations.
Автор: Wil Michiels; Emile Aarts; Jan Korst Название: Theoretical Aspects of Local Search ISBN: 3642071481 ISBN-13(EAN): 9783642071485 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Local search has been applied successfully to a diverse collection of optimization problems. It provides the reader with a coherent overview of the achievements obtained so far, and serves as a source of inspiration for the development of novel results in the challenging field of local search.
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 17th Industrial Conference on Advances in Data Mining, ICDM 2017, held in New York, NY, USA, in July 2017.
Описание: The topics range from theoretical aspects of data mining to app- cations of data mining, such as on multimedia data, in marketing, finance and telec- munication, in medicine and agriculture, and in process control, industry and society.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
