Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Livre (broché)env. 125.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
MIT Press
978-0-262-04971-9

Mots-clés

Autres titres sur ce thème

Applying Blockchain Technology
Concepts and Trends
Taylor and Francis, 2025
978-1-032-63966-6
env. 249.00 CHF
disponible dès mai 2025
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
Personas Across Cultures
Representing the Next Billion Users
Springer Nature EN, 2026
978-3-030-24350-0
env. 146.00 CHF
disponible dès avril 2026
Smart Cities to Smart Societies
Moving Beyond Technology
Taylor and Francis, 2025
978-1-032-57429-5
env. 235.00 CHF
disponible dès mai 2025
Generative Artificial Intelligence Empowered Learning
A New Frontier in Educational Technology
Taylor and Francis, 2025
978-1-032-72752-3
env. 109.00 CHF
disponible dès juin 2025
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
Summability, Fixed Point Theory and Generalized integrals with Applications
Taylor and Francis, 2025
978-1-032-98002-7
env. 249.00 CHF
disponible dès juin 2025
Mobile Heritage
Practices, Interventions, Politics
Taylor and Francis, 2025
978-1-032-50918-1
env. 65.00 CHF
disponible dès avril 2025
Coherence-Targeted Text Summarization
Springer Nature ENTongji University Press, 2051
978-981-10-7943-6
env. 116.00 CHF
disponible dès janvier 2051