Theoretical Aspects of Computing – ICTAC 2017, Dang Van Hung; Deepak Kapur

Автор: Martin Leucker; Charles Carroll Morgan
Название: Theoretical Aspects of Computing - ICTAC 2009
ISBN: 3642034659 ISBN-13(EAN): 9783642034657
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 6th International Colloquium Kuala Lumpur Malaysia August 1620 2009 Proceedings. .

Автор: Wil Michiels; Emile Aarts; Jan Korst
Название: Theoretical Aspects of Local Search
ISBN: 3642071481 ISBN-13(EAN): 9783642071485
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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: 3642030661 ISBN-13(EAN): 9783642030666
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Naoki Kobayashi; Benjamin C. Pierce
Название: Theoretical Aspects of Computer Software
ISBN: 3540427368 ISBN-13(EAN): 9783540427360
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Sampaio
Название: Theoretical Aspects of Computing – ICTAC 2016
ISBN: 3319467492 ISBN-13(EAN): 9783319467498
Издательство: Springer
Рейтинг:
Цена: 61490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Theoretical Aspects of Computing -- ICTAC 2013
ISBN: 3642397174 ISBN-13(EAN): 9783642397172
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Gabriel Ciobanu; Dominique M?ry
Название: Theoretical Aspects of Computing – ICTAC 2014
ISBN: 3319108816 ISBN-13(EAN): 9783319108810
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Leila Kallel; Bart Naudts; Alex Rogers
Название: Theoretical Aspects of Evolutionary Computing
ISBN: 3642086764 ISBN-13(EAN): 9783642086762
Издательство: Springer
Рейтинг:
Цена: 172350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: B. Daya Reddy
Название: IUTAM Symposium on Theoretical, Computational and Modelling Aspects of Inelastic Media
ISBN: 1402090897 ISBN-13(EAN): 9781402090899
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Petra Perner
Название: Advances in Data Mining: Applications and Theoretical Aspects
ISBN: 3319089757 ISBN-13(EAN): 9783319089751
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.