Formal Approaches to Agent-Based Systems

Name: Formal Approaches to Agent-Based Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540244226
Price: 217.18 PLN
Availability: InStock

Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Autor: Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

217.18 zł

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o...

Informacje o książce

Autor

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2005

strony

291

EAN

9783540244226

ISBN

3540244220

Enbook ID

01560268

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

950

Wymiary

155 x 235 x 17

Pełny opis

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004.§The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi-agent systems reliability, agent architectures, multi-agent systems specification, formal methods, potential energy in multi-agent systems, timed automata, model checking, OBDDs, multi-agent systems verification, agent communication protocols, autonomic agents, and Petri nets.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Approaches to Agent-Based Systems

Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Informacje o książce

Pełny opis

Możesz być zainteresowany

Handbook of Signal Processing in Acoustics

TECHNOLOGY FOR PRODUCING COMPOSITE ABSORBENTS AND THEIR APPLICATION

KISS Guide to Crystal Healing: (Keep It Simple Spirit)

From Measuring Rods to DNA Sequencing

Sustainable Development in Science Policy-Making - The German Federal Ministry of Education and Research's Policies for International Cooperation

Gender, Violence, and Justice

Alec Forbes Of Howglen George MacDonald

Mathematics Daily Review, Grade 5

365 Days of Luvin Me

Blue Wall Along the Border

Migrants and Their Children in Britain

Arms Procurement Decision Making: Volume 1: China, India, Israel, Japan, South Korea and Thailand

Probability Theory and Applications

Dolphin Readers Level 3: Let's Go to the Rainforest

Klienci, którzy kupili tę książkę, kupili również

Theorie Der Unternehmung in Forschung Und Praxis

Choix de Poesies Instructives Et Morales Extraites Des Classiques Francais

Erste Einleitung in die Kritik der Urteilskraft. Originalgetreuer Faksimiledruck der von Kant verbesserten und ergänzten Handschrift mit paralleler di

JESUS CHRIST A LA RENCONTRE DES RELIGIONS - JJC N°39

Hedge Fonds - Erfullt der Richtlinienvorschlag fur alternative Investmentfonds Manager die Anspruche der Finanzmarktteilnehmer?

100 Verdammt gute Fragen - BUSINESS

Dobré mamy majú strašidelné myšlienky