Ebook > Nauka > Informatyka > Informatyka > Christopher Rouff: Agent Technology from a Formal Perspective (PDF)

Christopher Rouff
Agent Technology from a Formal Perspective [PDF ebook]

Wsparcie

Pokrywa Christopher Rouff: Agent Technology from a Formal Perspective (PDF)

€149.79

Spis treści

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.

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● Strony 354 ● ISBN 9781846282713 ● Rozmiar pliku 2.6 MB ● Redaktor Christopher Rouff ● Wydawca Springer London ● Miasto London ● Kraj GB ● Opublikowany 2006 ● Do pobrania 24 miesięcy ● Waluta EUR ● ID 2151408 ● Ochrona przed kopiowaniem Społeczny DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Christopher Rouff

16 523 Ebooki w tej kategorii

Pokrywa Ahmed Banafa: Quantum Computing and Other Transformative Technologies

Ahmed Banafa: Quantum Computing and Other Transformative Technologies

This book explores quantum computing as a transformative technology and its applications in communications, cryptography, teleportation, Io T, AI, and blockchain, in addition to the revolutionary con …

Pokrywa Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the …

Pokrywa Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …

Pokrywa Raman Jhajj: Mastering MLOps Architecture

Raman Jhajj: Mastering MLOps Architecture

MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …

Pokrywa Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

Pokrywa Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Pokrywa H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

Pokrywa Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

This book researches the intricate world of generative Artificial Intelligence, offering readers an extensive understanding of various components and applications in this field.The book begins with …

Pokrywa Sanket Subhash Khandare: Mastering Large Language Models

Sanket Subhash Khandare: Mastering Large Language Models

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and …

Pokrywa Leon Kappelman: The SIM Guide to Enterprise Architecture

Leon Kappelman: The SIM Guide to Enterprise Architecture

Enterprise architecture is leading IT”s way to the executive boardroom, as CIOs are now taking their place at the management table. Organizations investing their time, money, and talent in …

Następna strona >>>