Runtime Verification ...
Martin Leucker
定価: ¥ 11730
当ショップ価格: ¥ 8774
Progress in WWW Rese ...
Yanchun Zhang, ...
定価: ¥ 20023
当ショップ価格: ¥ 17818
Reconfigurable Compu ...
Roger Woods, Ka ...
定価: ¥ 12914
当ショップ価格: ¥ 9499
Agent and Multi-Agen ...
Geun Sik Jo, La ...
定価: ¥ 23578
当ショップ価格: ¥ 18254
Advances in Cryptolo ...
Nigel Smart
定価: ¥ 16469
当ショップ価格: ¥ 9699
Theory of Quantum Co ...
Yasuhito Kawano ...
当ショップ価格: ¥ 8499
Advances in Geometri ...
Falai Chen, Ber ...
定価: ¥ 17654
当ショップ価格: ¥ 17054
The Night Sky Compan ...
Tammy Plotner, ...
当ショップ価格: ¥ 4028
Hybrid Systems Compu ...
Magnus Egersted ...
定価: ¥ 18838
当ショップ価格: ¥ 5991
Simulated Evolution ...
Xiaodong Li, Mi ...
当ショップ価格: ¥ 13552
Programming Language ...
Sophia Drossopo ...
定価: ¥ 14099
当ショップ価格: ¥ 9692
Compiler Constructio ...
Laurie Hendren
当ショップ価格: ¥ 3975
Fundamental Approach ...
José Fiadeiro, ...
当ショップ価格: ¥ 9750
Structural, Syntacti ...
Niels da Vitori ...
定価: ¥ 24762
当ショップ価格: ¥ 17987
Topics in Cryptology ...
Tal Malkin
Tools and Algorithms ...
C.R. Ramakrishn ...
当ショップ価格: ¥ 9799
Computer Vision Syst ...
Antonios Gaster ...
当ショップ価格: ¥ 9999
Functional and Logic ...
Jacques Garrigu ...
当ショップ価格: ¥ 8422
Information Security ...
Liqun Chen, Yi ...
Relations and Kleene ...
Rudolf Berghamm ...
The Semantic Web 3rd ...
John Domingue, ...
Rough Sets and Knowl ...
Guoyin Wang, Ti ...
定価: ¥ 21208
当ショップ価格: ¥ 14859
Foundations of Softw ...
Roberto Amadio
当ショップ価格: ¥ 9523
Information Systems ...
Roland Kaschek, ...
定価: ¥ 15284
当ショップ価格: ¥ 10247
State of the Univers ...
Martin Ratcliff ...
定価: ¥ 3548
当ショップ価格: ¥ 2671
Tests and Proofs Sec ...
Bernhard Becker ...
定価: ¥ 10662
当ショップ価格: ¥ 7479
Practical Aspects of ...
Takahira Yamagu ...
当ショップ価格: ¥ 8690
Passive and Active N ...
Mark Claypool, ...
当ショップ価格: ¥ 3830
Intelligent Agents a ...
Bui The Duy, Tu ...
当ショップ価格: ¥ 4426
Discrete Geometry fo ...
David Coeurjoll ...