Coordination of Large-Scale Multiagent Systems

Coordination of Large-Scale Multiagent Systems

Библиографическая информация
Опубликовано в: :	Springer e-books
Главный автор:	Scerri, Paul
Соавтор:	SpringerLink (Online service)
Другие авторы:	Mailler, Roger, Vincent, Régis
Формат:	Электронная книга
Язык:	English
Публикация:	Boston, MA : Springer Science+Business Media, Inc., 2006.
Предметы:	Computer Science Information theory Software engineering Computation by Abstract Devices Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems Theory of Computation
Online-ссылка:	http://dx.doi.org/10.1007/0-387-27972-5 Перейти в каталог НБ ТГУ

Похожие документы

Augmented Marked Graphs
по: Cheung, King Sing
Публикация: (2014)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
по: Bollig, Benedikt
Публикация: (2006)

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings /
Публикация: (2013)

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

The Calculus of Computation Decision Procedures with Applications to Verification /
по: Bradley, Aaron R.
Публикация: (2007)

Transactions on Computational Science II
по: Hutchison, David
Публикация: (2008)

Transactions on Computational Science I
по: Gavrilova, Marina L.
Публикация: (2008)

Logics of Specification Languages
по: Bjørner, Dines
Публикация: (2008)

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
Публикация: (2005)

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
Публикация: (2007)

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /
Публикация: (2008)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
по: Reisig, Wolfgang
Публикация: (2013)

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems /
по: Wagner, Christian
Публикация: (2014)

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Публикация: (2013)

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
Публикация: (2014)

Regulated Grammars and Automata
по: Meduna, Alexander, et al.
Публикация: (2014)

Programming Languages and Operational Semantics A Concise Overview /
по: Fernández, Maribel
Публикация: (2014)

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
по: Hutchison, David
Публикация: (2008)

Unfoldings A Partial-Order Approach to Model Checking /
по: Esparza, Javier
Публикация: (2008)

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Публикация: (2015)

Modelling Distributed Systems
по: Fokkink, Wan
Публикация: (2007)

Decision Procedures An Algorithmic Point of View /
по: Kroening, Daniel
Публикация: (2008)

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004
по: Chapman, Barbara M.
Публикация: (2005)

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Публикация: (2013)

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
по: Rust, Heinrich
Публикация: (2005)

Principles of the Spin Model Checker
по: Ben-Ari, Mordechai
Публикация: (2008)

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
Публикация: (2014)

Parameterized Complexity Theory
по: Flum, Jörg
Публикация: (2006)

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Публикация: (2013)

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
Публикация: (2015)

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies /
по: Zomaya, Albert Y.
Публикация: (2006)

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /
по: Raynal, Michel
Публикация: (2013)

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy /
по: Cascini, Gaetano
Публикация: (2008)

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
по: Hutchison, David
Публикация: (2008)

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Публикация: (2013)

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Публикация: (2013)

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
по: Amadio, Roberto
Публикация: (2008)

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
по: Seidl, Helmut
Публикация: (2007)

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Публикация: (2014)