Runtime Verification ...
Martin Leucker
定価: ¥ 11730
当ショップ価格: ¥ 8578
Rough Sets and Knowl ...
Guoyin Wang, Ti ...
定価: ¥ 21208
当ショップ価格: ¥ 14483
Agent and Multi-Agen ...
Geun Sik Jo, La ...
定価: ¥ 23578
当ショップ価格: ¥ 17678
Foundations of Softw ...
Roberto Amadio
定価: ¥ 16469
当ショップ価格: ¥ 9399
Functional and Logic ...
Jacques Garrigu ...
当ショップ価格: ¥ 8081
Structural, Syntacti ...
Niels da Vitori ...
定価: ¥ 24762
当ショップ価格: ¥ 17799
Relations and Kleene ...
Rudolf Berghamm ...
定価: ¥ 14099
当ショップ価格: ¥ 6028
Tools and Algorithms ...
C.R. Ramakrishn ...
Reconfigurable Compu ...
Roger Woods, Ka ...
定価: ¥ 12914
当ショップ価格: ¥ 9122
Information Security ...
Liqun Chen, Yi ...
当ショップ価格: ¥ 9295
Progress in WWW Rese ...
Yanchun Zhang, ...
定価: ¥ 20023
当ショップ価格: ¥ 17644
Intelligent Agents a ...
Bui The Duy, Tu ...
当ショップ価格: ¥ 4221
Compiler Constructio ...
Laurie Hendren
当ショップ価格: ¥ 3684
Discrete Geometry fo ...
David Coeurjoll ...
当ショップ価格: ¥ 9391
Hybrid Systems Compu ...
Magnus Egersted ...
定価: ¥ 18838
当ショップ価格: ¥ 5550
Practical Aspects of ...
Takahira Yamagu ...
当ショップ価格: ¥ 8499
Simulated Evolution ...
Xiaodong Li, Mi ...
当ショップ価格: ¥ 11622
Advances in Geometri ...
Falai Chen, Ber ...
定価: ¥ 17654
当ショップ価格: ¥ 16020
The Night Sky Compan ...
Tammy Plotner, ...
当ショップ価格: ¥ 3786
Theory of Quantum Co ...
Yasuhito Kawano ...
当ショップ価格: ¥ 8299
Computer Vision Syst ...
Antonios Gaster ...
当ショップ価格: ¥ 9587
Topics in Cryptology ...
Tal Malkin
当ショップ価格: ¥ 5481
Fundamental Approach ...
José Fiadeiro, ...
当ショップ価格: ¥ 9199
Tests and Proofs Sec ...
Bernhard Becker ...
定価: ¥ 10662
当ショップ価格: ¥ 7188
Advances in Cryptolo ...
Nigel Smart
The Semantic Web 3rd ...
John Domingue, ...
State of the Univers ...
Martin Ratcliff ...
定価: ¥ 3548
当ショップ価格: ¥ 2531
Information Systems ...
Roland Kaschek, ...
定価: ¥ 15284
当ショップ価格: ¥ 7666
Passive and Active N ...
Mark Claypool, ...
当ショップ価格: ¥ 3551
Programming Language ...
Sophia Drossopo ...
当ショップ価格: ¥ 9163