Theoretical Aspects of Computing – ICTAC 2014, Gabriel Ciobanu; Dominique M?ry

Автор: 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.

Автор: 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. .

Автор: 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.

Автор: Farouk Toumani; Barbara Pernici; Daniela Grigori;
Название: Service-Oriented Computing - ICSOC 2014 Workshops
ISBN: 3319228846 ISBN-13(EAN): 9783319228846
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the revised selected papers of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. The conference hosted the following seven workshops: 10th International Workshop in Engineering Service-Oriented Applications, WESOA 2014;

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Petra Perner
Название: Advances in Data Mining. Applications and Theoretical Aspects
ISBN: 3319627007 ISBN-13(EAN): 9783319627007
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Takayasu Ito; Albert R. Meyer
Название: Theoretical Aspects of Computer Software
ISBN: 3540544151 ISBN-13(EAN): 9783540544159
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume gives the proceedings of TACS `91, which focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems.

Автор: 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.

Автор: Ioannis Karydis; Spyros Sioutas; Peter Triantafill
Название: Algorithmic Aspects of Cloud Computing
ISBN: 3319299182 ISBN-13(EAN): 9783319299181
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Tutorials.- Algorithmic Aspects of Large-Scale Data Stores.- Software Tools and Distributed Architectures for Cloud-based Data Management.

Автор: Erik Maehle; Kay R?mer; Wolfgang Karl; Eduardo Tov
Название: Architecture of Computing Systems -- ARCS 2014
ISBN: 3319048902 ISBN-13(EAN): 9783319048901
Издательство: Springer
Рейтинг:
Цена: 8803.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 27th International Conference on Architecture of Computing Systems, ARCS 2014, held in Lubeck, Germany, in February 2014. The 20 papers presented in this volume were carefully reviewed and selected from 44 submissions. system design; system design and sensor systems;