Rewriting Logic and Its Applications, Lucanu

Автор: Adrian Paschke; Guido Governatori; John Hall
Название: Rule Interchange and Applications
ISBN: 3642049842 ISBN-13(EAN): 9783642049842
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 2009 International Symposium on Rule Interchange and Applications (RuleML 2009), collocated in Las Vegas, Nevada, with the 12th International Business Rules Forum, was the premier place to meet and to exchange ideas from all ?elds of rules technologies.

Название: Combinatorial optimization and applications
ISBN: 3642020259 ISBN-13(EAN): 9783642020254
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third International Conference on Combinatorial Optimization and Applications, COCOA 2009, held in Huangshan, China, in June 2009.

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

Автор: Giuliana Franceschinis; Karsten Wolf
Название: Applications and Theory of Petri Nets
ISBN: 3642024238 ISBN-13(EAN): 9783642024238
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.

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

Автор: Roger Lee; Naohiro Ishii
Название: Software Engineering Research, Management and Applications 2009
ISBN: 3642054404 ISBN-13(EAN): 9783642054402
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 2009 SERA Conference covered theory and practice in many areas of software engineering including formal methods and tools, requirements engineering, computer security, database retrieval and more. This book offers 17 papers voted as best of the conference.

Автор: Khalid Al-Begain; Dieter Fiems; G?bor Horv?th
Название: Analytical and Stochastic Modeling Techniques and Applications
ISBN: 3642022049 ISBN-13(EAN): 9783642022043
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2009, held in Madrid, Spain, in June 2009 in conjunction with ECMS 2009, the 23nd European Conference on Modeling and Simulation. queueing & scheduling in telecommunication networks;

Автор: Benyuan Liu; Azer Bestavros; Ding-Zhu Du; Jie Wang
Название: Wireless Algorithms, Systems, and Applications
ISBN: 3642034160 ISBN-13(EAN): 9783642034169
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009.

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

Автор: Yingshu Li; Dung T. Huynh; Sajal K. Das; Ding-Zhu
Название: Wireless Algorithms, Systems, and Applications
ISBN: 3540885811 ISBN-13(EAN): 9783540885818
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2008, held in Dallas, TX, USA, in October 2008. This book addresses research and development efforts of various issues in the area of algorithms, and infrastructure less wireless networks.

Автор: Sean Bechhofer; Manfred Hauswirth; J?rg Hoffmann;
Название: The Semantic Web: Research and Applications
ISBN: 3540682333 ISBN-13(EAN): 9783540682332
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 5th European Semantic Web Conference, ESWC 2008, held in Tenerife, Canary Islands, Spain, in June 2008.