搜索替代词:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
basic struts » basic truth, basic strokes, basic study
1
出版 2006
书本目录: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
获取全文
电子 电子书
2
出版 2007
书本目录: ...,?)-Leaf Powers -- Quantum Computing -- An Improved Claw Finding Algorithm Using Quantum Walk -- Complexity...
获取全文
电子 电子书
3
出版 2008
书本目录: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
获取全文
电子 电子书