€149.79
विषयसूची
What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 354 ● ISBN 9781846282713 ● फाइल का आकार 2.6 MB ● संपादक Christopher Rouff ● प्रकाशक Springer London ● शहर London ● देश GB ● प्रकाशित 2006 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 2151408 ● कॉपी सुरक्षा सामाजिक DRM
एक ही लेखक से अधिक ईबुक / संपादक
16,480 इस श्रेणी में ईबुक
