1 829 kr

Slutsåld

Produktinformation

Mer från samma författare

Detection of Abrupt Changes in Signals and Dynamical Systems
Del 77

Detection of Abrupt Changes in Signals and Dynamical Systems

Michele Basseville, Albert Benveniste

1 409 kr

Adaptive Algorithms and Stochastic Approximations

Adaptive Algorithms and Stochastic Approximations

Albert Benveniste, Michel Metivier, Pierre Priouret

1 819 kr

Du kanske också är intresserad av

Platform-Based Design

Platform-Based Design

Alberto Sangiovanni-Vincentelli, Roberto Passerone

2 299 kr

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković, Dejan Nickovic, Maurice H. Ter Beek, Dejan Ničkovic

729 kr

Adaptive Algorithms and Stochastic Approximations

Adaptive Algorithms and Stochastic Approximations

Albert Benveniste, Michel Metivier, Pierre Priouret

1 819 kr

Runtime Verification

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković, Dejan Nickovic, Dejan Ničkovic

729 kr

Synthesis and Control of Discrete Event Systems

Synthesis and Control of Discrete Event Systems

Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie, Philippe Caillaud, Benoît

1 409 kr

Detection of Abrupt Changes in Signals and Dynamical Systems
Del 77

Detection of Abrupt Changes in Signals and Dynamical Systems

Michele Basseville, Albert Benveniste

1 409 kr

Synthesis and Control of Discrete Event Systems

Synthesis and Control of Discrete Event Systems

Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie, Philippe Caillaud, Benoît

1 409 kr

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Marcin Jurdzinski, Dejan Nickovic

679 kr

Computer Aided Verification

Computer Aided Verification

Werner Damm, Holger Hermanns

729 kr

Agility für Fortgeschrittene

Agility für Fortgeschrittene

Werner Damm

269 kr

Tillhör följande kategorier