Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Promotion de Pâques : Jusqu’au 30.4.2025, profite d'une réduction de 20% sur les produits suivants. Code: NEST25
cover
Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Livre (broché)env. 139.00 CHF
disponible dès avril 2025

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, Anglais
University Presses
978-0-262-04971-9

Mots-clés

Autres titres sur ce thème

Data Science and Interactive Visualization Tools for the Analysis of ...
Elsevier, 2025
978-0-443-21961-0
env. 199.00 CHF
disponible dès décembre 2025
Study Guide for TOGAF 9.1 Certifications
Taylor and Francis, 2026
978-1-138-19603-2
env. 105.00 CHF
disponible dès janvier 2026
Quantum Information Processing with Light
Taylor and Francis, 2026
978-1-4665-8399-3
env. 309.00 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
Data Literacy
The Essential Language in the Digital Era
Taylor and Francis, 2025
978-1-032-87598-9
env. 219.00 CHF
disponible dès juillet 2025
Automation of Logic
Taylor and Francis, 2026
978-1-4398-7535-3
env. 115.00 CHF
disponible dès janvier 2026
Advances in Biomedical Engineering and Technologies
Wiley, 2025
978-1-119-83621-6
env. 269.00 CHF
disponible dès décembre 2025
Designing Digital Images with Materiality, Energy, and Living Matter
Taylor and Francis, 2026
978-1-138-09609-7
env. 51.50 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
Consumer Decision-Making, Analytics and AI
Taylor and Francis, 2025
978-1-032-83044-5
env. 235.00 CHF
disponible dès juin 2025