Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Hybrid Systems Compu ...

Manfred Morari, ...

定価: ¥ 21208

当ショップ価格: ¥ 17344

Human Nature and Nat ...

Alan Donagan, A ...

定価: ¥ 37795

当ショップ価格: ¥ 35091

Qualitative Theory o ...

Alexey S. Matve ...

定価: ¥ 27132

当ショップ価格: ¥ 15575

Investigating the Un ...

M.K.V. Bappu, F ...

定価: ¥ 42534

当ショップ価格: ¥ 32193

The Scientific World ...

C. Cenkalska, B ...

定価: ¥ 21682

当ショップ価格: ¥ 16324

Stochastic Hybrid Sy ...

Henk A.P. Blom, ...

定価: ¥ 28317

当ショップ価格: ¥ 24384

Processes, Terms and ...

Aart Middeldorp ...

定価: ¥ 18838

当ショップ価格: ¥ 17290

Topics in Discrete M ...

Martin Klazar, ...

当ショップ価格: ¥ 25154

The Composition of M ...

R. Von Steiger, ...

定価: ¥ 30686

当ショップ価格: ¥ 25275

Contributions to Non ...

Thierry Cazenav ...

定価: ¥ 25947

当ショップ価格: ¥ 8625

Control of Uncertain ...

B. a. Francis, ...

定価: ¥ 28317

当ショップ価格: ¥ 24199

Complexity Theory Re ...

Alan L. Selman

定価: ¥ 22393

当ショップ価格: ¥ 7099

Rewriting, Computati ...

Hubert Comon-Lu ...

定価: ¥ 11730

当ショップ価格: ¥ 6834

European Liberty Fou ...

P. Manent, R. H ...

定価: ¥ 18838

当ショップ価格: ¥ 16297

Algebra, Meaning, an ...

Kokichi Futatsu ...

定価: ¥ 20023

当ショップ価格: ¥ 17344

Models and Algorithm ...

Aimo Törn, Juli ...

定価: ¥ 24762

当ショップ価格: ¥ 7929