Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Formal Methods for Multi-Agent Feedback Control Systems
Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Livre (broché)140.00 CHF
livrable dans env. 20-45 jours

Contenu

"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--

Informations bibliographiques

avril 2025, 312 pages, Cyber Physical Systems Series, Anglais
University Presses
978-0-262-04971-9

Sommaire

Mots-clés

Autres titres de la collection: Cyber Physical Systems Series

Afficher tout
Information-Driven Planning and Control
MIT Press, 2021
978-0-262-04542-1
120.00 CHF
livrable dans env. 20-45 jours
Verifying Cyber-Physical Systems
A Path to Safe Autonomy
MIT Press, 2021
978-0-262-04480-6
95.00 CHF
livrable dans env. 20-45 jours
Model Checking
University Presses, 2018
978-0-262-03883-6
120.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Radical Infrastructure
Imagining the Internet from the Ground Up
University Presses, 2026
978-0-520-40205-8
env. 51.50 CHF
disponible dès janvier 2026
Internet Governance
A Human Rights Perspective
Taylor and Francis, 2026
978-1-138-79864-9
env. 149.00 CHF
disponible dès janvier 2026
The Routledge Companion to Digital Humanities in Theatre and Performance
Taylor and Francis, 2026
978-1-138-91777-4
env. 239.00 CHF
disponible dès janvier 2026
Wendepunkte in der Analogen und Digitalen Welt
De Gruyter, 2026
978-3-11-914626-5
env. 159.00 CHF
disponible dès janvier 2026
Quantum Computing and Machine Learning for 6G
Wiley, 2026
978-1-394-23808-8
env. 275.00 CHF
disponible dès mars 2026
Problem Solving with Python
Using Computational Thinking in Everyday Life
MIT Press, 2026
978-0-262-55284-4
env. 73.00 CHF
disponible dès janvier 2026
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82534-4
env. 46.90 CHF
disponible dès janvier 2026
Nature-Inspired Computing
Bio-Inspired Algorithms
Taylor and Francis, 2026
978-1-4822-4480-9
env. 225.00 CHF
disponible dès janvier 2026
Beginner's Step-by-Step Coding Course
Learn Computer Programming the Easy Way
Penguin Books, 2026
978-0-593-96348-7
env. 36.50 CHF
disponible dès janvier 2026
Nature-Inspired Computing
Swarm-Intelligence Based Algorithms
Taylor and Francis, 2026
978-1-4822-4484-7
env. 225.00 CHF
disponible dès janvier 2026
Linear Groups and Computation
Taylor and Francis, 2026
978-1-4987-0082-5
env. 169.00 CHF
disponible dès mars 2026