Catalog > Sains > Sains Komputer > Sains Komputer > Christopher Rouff: Agent Technology from a Formal Perspective (PDF)

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

Sokongan

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

€149.79

Jadual kandungan

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.

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● Halaman-halaman 354 ● ISBN 9781846282713 ● Saiz fail 2.6 MB ● Penyunting Christopher Rouff ● Penerbit Springer London ● Bandar raya London ● Negara GB ● Diterbitkan 2006 ● Muat turun 24 bulan ● Mata wang EUR ● ID 2151408 ● Salin perlindungan Social DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Christopher Rouff

16,480 Ebooks dalam kategori ini

perlindungan daripada Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

perlindungan daripada Douglas Self: Self on Audio

Douglas Self: Self on Audio

Self on Audio: The collected audio design articles of Douglas Self, Third Edition is the most comprehensive collection of significant articles in the technical audio press. This third edition feature …

perlindungan daripada Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

perlindungan daripada S. Asha & A. Roshni: Progressions made in Cyber-Security World

S. Asha & A. Roshni: Progressions made in Cyber-Security World

SERI-2021 was a success with the presence of our valuable Guest Speakers who lead the discussion in various session in just the right direction showering the audiences with their esteemed valuable kn …

perlindungan daripada Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

The special issue is dedicated to National conference on Communication, computational intelligence and learning-NCCCIL sponsored by AICTE and organized by Department of Information Technology at Army …

perlindungan daripada Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions

Mirza Rahim Baig: Optimizing AI and Machine Learning Solutions

This book approaches data science solution building using a principled framework and case studies with extensive hands-on guidance. It will teach the readers optimization at each step, whether it is …

perlindungan daripada Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

The Future of the Artificial Mind is about the social and technological challenges posed by the new wave of artificial intelligence, both from a technical and a cognitive perspective. Deep neural net …

perlindungan daripada Suman Dutta: Immersive Realm of Extended Reality

Suman Dutta: Immersive Realm of Extended Reality

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

perlindungan daripada Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Neural Network Computer Vision with Open CV equips you with professional skills and knowledge to build intelligent vision systems using Open CV. It creates a sequential pathway for understanding morp …

perlindungan daripada T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each cha …

Muka surat seterusnya >>>