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: 275.77 RON
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

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

275.77 lei

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

Informații despre carte

Autor

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

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2005

Pagini

291

EAN

9783540244226

ISBN

3540244220

Enbook ID

01560268

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

950

Dimensiuni

155 x 235 x 17

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Approaches to Agent-Based Systems

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

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