Coordination Models and Languages, Lluch Lafuente

Автор: John Field; Vasco Thudichum Vasconcelos
Название: Coordination Models and Languages
ISBN: 3642020526 ISBN-13(EAN): 9783642020520
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009.

Автор: Jaime Sim?o Sichman; Julian Padget; Sascha Ossowsk
Название: Coordination, Organizations, Institutions, and Norms in Agent Systems III
ISBN: 3540790020 ISBN-13(EAN): 9783540790020
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2007. The 23 papers in this volume were carefully selected from 38 initial submissions.

Автор: Pablo Noriega; Javier V?zquez-Salceda; Guido Boell
Название: Coordination, Organizations, Institutions, and Norms in Agent Systems II
ISBN: 3540744576 ISBN-13(EAN): 9783540744573
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2006, held as 2 events at AAMAS 2006, the 5th Joint Conference on Autonomous Agents and Multiagent Systems in Japan, and ECAI 2006, the 17th European Conference on Artificial Intelligence in Italy.

Автор: Jomi Fred Hubner; Eric T Matson; Olivier Boissier;
Название: Coordination, Organizations, Institutions and Norms in Agent Systems IV
ISBN: 3642004423 ISBN-13(EAN): 9783642004421
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains sections that range from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications.

Автор: Stefano Mariani
Название: Coordination of Complex Sociotechnical Systems
ISBN: 3319471082 ISBN-13(EAN): 9783319471082
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book discusses the main issues of coordination in complex sociotechnical systems, covering distributed, self-organising, and pervasive systems. A chemistry-inspired model of coordination, a situated architecture and coordination language, and a cognitive model of interaction are the ingredients of the Molecules of Knowledge (MoK) model for self-organisation of knowledge presented in this book. The MoK technology is discussed, along with some case studies in the fields of collaborative systems, academic research, and citizen journalism.The target audience includes researchers and practitioners in the field of complex software systems engineering. The book is also appropriate for graduate and late undergraduate students in computer science and engineering.

Автор: Dignum
Название: Coordination, Organizations, Institutions, and Normes in Agent Systems XI
ISBN: 3319426907 ISBN-13(EAN): 9783319426907
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2015.

Автор: G. Ramalingam
Название: Programming Languages and Systems
ISBN: 3540893296 ISBN-13(EAN): 9783540893295
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. This book covers topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and software security.

Автор: Andrew Gordon
Название: Programming Languages and Systems
ISBN: 3642119565 ISBN-13(EAN): 9783642119569
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: Jorgensen
Название: Software Testing
ISBN: 1466560681 ISBN-13(EAN): 9781466560680
Издательство: Taylor&Francis
Рейтинг:
Цена: 102070.00 T
Наличие на складе: Нет в наличии.
Описание: This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.? The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.

Автор: Matteo Baldoni; Jamal Bentahar; M. Birna van Riems
Название: Declarative Agent Languages and Technologies VII
ISBN: 3642113540 ISBN-13(EAN): 9783642113543
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 7th International Workshop DALT 2009 Budapest Hungary May 11 2009 Revised Selected and Invited Pape. .

Автор: Susanne Albers; Alberto Marchetti-Spaccamela; Yoss
Название: Automata, Languages and Programming
ISBN: 3642029264 ISBN-13(EAN): 9783642029264
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 36th International Colloquium ICALP 2009 Rhodes Greece July 512 2009 Proceedings Part I. .

Автор: Manuel Carro; Ricardo Pe?a
Название: Practical Aspects of Declarative Languages
ISBN: 3642115020 ISBN-13(EAN): 9783642115028
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.