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