在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
programming verification » program verification, programs verification, programming classification
functions computational » functions computation, function computation, directions computational
programming validating » programming evaluating, programming writing, programming balancing
basic citrus » bali citrus, asian citrus, barli citrus
programming verification » program verification, programs verification, programming classification
functions computational » functions computation, function computation, directions computational
programming validating » programming evaluating, programming writing, programming balancing
basic citrus » bali citrus, asian citrus, barli citrus
1
出版 2013
书本目录:
“... -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability...”获取全文
电子
电子书
2
出版 2013
书本目录:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”获取全文
电子
电子书
3
出版 2007
书本目录:
“... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...”获取全文
电子
电子书