In Search of Elegance in the Theory and Practice of Computation, Val Tannen; Limsoon Wong; Leonid Libkin; Wenfei Fa

Автор: Jan Kratochvil; Angsheng Li; Jiri Fiala; Petr Kolm
Название: Theory and Applications of Models of Computation
ISBN: 3642135617 ISBN-13(EAN): 9783642135613
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.

Автор: Miroslaw Kutylowski; Maciej Gebala; Witold Charato
Название: Fundamentals of Computation Theory
ISBN: 364203408X ISBN-13(EAN): 9783642034084
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 17th International Symposium FCT 2009 Wroclaw Poland September 24 2009 Proceedings. .

Автор: Erika ?brah?m; Marcello Bonsangue; Einar Broch Joh
Название: Theory and Practice of Formal Methods
ISBN: 3319307339 ISBN-13(EAN): 9783319307336
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.

Автор: Laurence Tratt; Martin Gogolla
Название: Theory and Practice of Model Transformations
ISBN: 3642136877 ISBN-13(EAN): 9783642136870
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Model transformations are the glue that tie modelling activities together. Model transformations have humble beginnings-at one point, not long ago, it was said by many `in the know` that the way forward in model transformations was to use XSLT.

Автор: Josep Diaz; Fernando Orejas
Название: TAPSOFT `89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
ISBN: 3540509402 ISBN-13(EAN): 9783540509400
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP `89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT `89 Conference Proceedings are published in two volumes.

Автор: Josep Diaz; Fernando Orejas
Название: TAPSOFT `89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
ISBN: 3540509399 ISBN-13(EAN): 9783540509394
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference consisted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP `89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT `89 Conference Proceedings are published in two volumes.

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151990 ISBN-13(EAN): 9783540151999
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Dimitris Kolovos; Manuel Wimmer
Название: Theory and Practice of Model Transformations
ISBN: 3319211544 ISBN-13(EAN): 9783319211541
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L`Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. new paradigms for model transformation; and foundations of model transformation.

Автор: Davide Di Ruscio; D?niel Varr?
Название: Theory and Practice of Model Transformations
ISBN: 3319087886 ISBN-13(EAN): 9783319087887
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014.

Автор: Esther Guerra; Mark van den Brand
Название: Theory and Practice of Model Transformation
ISBN: 331961472X ISBN-13(EAN): 9783319614724
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions.

Автор: Duddy Keith
Название: Theory and Practice of Model Transformations
ISBN: 3642388825 ISBN-13(EAN): 9783642388828
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.

Автор: Richard F. Paige
Название: Theory and Practice of Model Transformations
ISBN: 3642024076 ISBN-13(EAN): 9783642024078
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Second International Conference ICMT 2009 Zrich Switzerland June 2930 2009 Proceedings. .