Tests and Proofs Sec ...
Bernhard Becker ...
定価: ¥ 10662
当ショップ価格: ¥ 7365
Functional and Logic ...
Jacques Garrigu ...
定価: ¥ 11730
当ショップ価格: ¥ 8272
Runtime Verification ...
Martin Leucker
当ショップ価格: ¥ 8925
Advances in Cryptolo ...
Nigel Smart
定価: ¥ 16469
当ショップ価格: ¥ 9952
Relations and Kleene ...
Rudolf Berghamm ...
定価: ¥ 14099
当ショップ価格: ¥ 6199
Tools and Algorithms ...
C.R. Ramakrishn ...
当ショップ価格: ¥ 9898
Simulated Evolution ...
Xiaodong Li, Mi ...
定価: ¥ 18838
当ショップ価格: ¥ 13399
Foundations of Softw ...
Roberto Amadio
当ショップ価格: ¥ 9637
Reconfigurable Compu ...
Roger Woods, Ka ...
定価: ¥ 12914
当ショップ価格: ¥ 9479
Progress in WWW Rese ...
Yanchun Zhang, ...
定価: ¥ 20023
当ショップ価格: ¥ 17949
The Night Sky Compan ...
Tammy Plotner, ...
当ショップ価格: ¥ 3786
Programming Language ...
Sophia Drossopo ...
当ショップ価格: ¥ 9518
Discrete Geometry fo ...
David Coeurjoll ...
当ショップ価格: ¥ 9876
Practical Aspects of ...
Takahira Yamagu ...
当ショップ価格: ¥ 8973
Hybrid Systems Compu ...
Magnus Egersted ...
当ショップ価格: ¥ 5516
Compiler Constructio ...
Laurie Hendren
当ショップ価格: ¥ 3736
Agent and Multi-Agen ...
Geun Sik Jo, La ...
定価: ¥ 23578
当ショップ価格: ¥ 18499
Rough Sets and Knowl ...
Guoyin Wang, Ti ...
定価: ¥ 21208
当ショップ価格: ¥ 15152
Topics in Cryptology ...
Tal Malkin
当ショップ価格: ¥ 6299
Information Systems ...
Roland Kaschek, ...
定価: ¥ 15284
当ショップ価格: ¥ 7619
Computer Vision Syst ...
Antonios Gaster ...
Information Security ...
Liqun Chen, Yi ...
当ショップ価格: ¥ 9655
Structural, Syntacti ...
Niels da Vitori ...
定価: ¥ 24762
当ショップ価格: ¥ 18249
Intelligent Agents a ...
Bui The Duy, Tu ...
当ショップ価格: ¥ 4281
State of the Univers ...
Martin Ratcliff ...
定価: ¥ 3548
当ショップ価格: ¥ 2518
Passive and Active N ...
Mark Claypool, ...
当ショップ価格: ¥ 3555
The Semantic Web 3rd ...
John Domingue, ...
Fundamental Approach ...
José Fiadeiro, ...
当ショップ価格: ¥ 9571
Advances in Geometri ...
Falai Chen, Ber ...
定価: ¥ 17654
当ショップ価格: ¥ 16399
Theory of Quantum Co ...
Yasuhito Kawano ...
当ショップ価格: ¥ 8659