在您的搜寻 主题建议
在您的搜寻 主题建议
1
出版 2005
书本目录:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”获取全文
电子
电子书
2
出版 2014
书本目录:
“... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”获取全文
电子
电子书
3
出版 2015
书本目录:
“... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”获取全文
电子
电子书



