Transactional Memory. Foundations, Algorithms, Tools, and Applications, Rachid Guerraoui; Paolo Romano

Автор: Jordi Cabot; Julia Rubin
Название: Modelling Foundations and Applications
ISBN: 3319091948 ISBN-13(EAN): 9783319091945
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions.

Автор: Christiano Braga; Narciso Mart?-Oliet
Название: Formal Methods: Foundations and Applications
ISBN: 331915074X ISBN-13(EAN): 9783319150741
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions.

Автор: Osamu Watanabe; Thomas Zeugmann
Название: Stochastic Algorithms: Foundations and Applications
ISBN: 3642049435 ISBN-13(EAN): 9783642049439
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions.

Автор: Nick Bassiliades; Georg Gottlob; Fariba Sadri; Adr
Название: Rule Technologies: Foundations, Tools, and Applications
ISBN: 3319215418 ISBN-13(EAN): 9783319215419
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.

Автор: Ina Schieferdecker; Alan Hartman
Название: Model Driven Architecture - Foundations and Applications
ISBN: 3540690956 ISBN-13(EAN): 9783540690955
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology.

Автор: Richard F. Paige; Alan Hartman; Arend Rensink
Название: Model Driven Architecture - Foundations and Applications
ISBN: 3642026737 ISBN-13(EAN): 9783642026737
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE).

Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock
Название: Formal Methods: Foundations and Applications
ISBN: 3642104517 ISBN-13(EAN): 9783642104510
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.

Автор: Alex T. Borgida; Vinay Chaudhri; Paolo Giorgini; E
Название: Conceptual Modeling: Foundations and Applications
ISBN: 3642024629 ISBN-13(EAN): 9783642024627
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Published in honor of John Mylopoulos on his retirement from the University of Toronto, this Festschrift volume contains 25 high-quality papers, written by leading scientists in the field of conceptual modeling and covering a wide variety of relevant topics.

Автор: Thomas K?hne; Bran V. Selic; Marie-Pierre Gervais;
Название: Modelling Foundations and Applications
ISBN: 3642135943 ISBN-13(EAN): 9783642135941
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.

Автор: Milazzo
Название: Software Technologies: Applications and Foundations
ISBN: 3319502298 ISBN-13(EAN): 9783319502298
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.

Автор: Ribeiro
Название: Formal Methods: Foundations and Applications
ISBN: 3319498142 ISBN-13(EAN): 9783319498140
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;

Автор: W?sowski
Название: Modelling Foundations and Applications
ISBN: 3319420607 ISBN-13(EAN): 9783319420608
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies, and variability and uncertainty.