Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25
cover
Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Buch (broschiert)ca. 139.00 CHF
erhältlich ab April 2025

Inhalt

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

Bibliografische Angaben

April 2025, Englisch
University Presses
978-0-262-04971-9

Schlagworte

Weitere Titel zum Thema

Data Analysis for Business Students
A Mind-Mapping Approach
Taylor and Francis, 2025
978-1-032-79699-4
ca. 235.00 CHF
erhältlich ab Juli 2025
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82534-4
ca. 46.90 CHF
erhältlich ab Januar 2026
Algorithmische Wissenskulturen
Der Einfluss des Computers auf die Wissenschaftsentwicklung
Vieweg + Teubner, 2025
978-3-658-35559-3
ca. 65.00 CHF
erhältlich ab September 2025
Designing Digital Images with Materiality, Energy, and Living Matter
Taylor and Francis, 2026
978-1-138-09608-0
ca. 205.00 CHF
erhältlich ab Januar 2026
Security, Transportation, and the Supply Chain
Mitigating Threats and Facilitating the Flow of Commerce
Taylor and Francis, 2026
978-1-4665-7815-9
ca. 85.00 CHF
erhältlich ab Januar 2026
Data Literacy
The Essential Language in the Digital Era
Taylor and Francis, 2025
978-1-032-87598-9
ca. 219.00 CHF
erhältlich ab Juli 2025
Efficient Algorithms for Elliptic Curve Cryptosystems using Endomorphisms
Springer Nature EN, 2025
978-4-431-55347-2
ca. 168.00 CHF
erhältlich ab April 2025
The Handbook of Financial Communication and Investor Relations
Wiley, 2025
978-1-119-24079-2
ca. 56.90 CHF
erhältlich ab Oktober 2025