在您的搜尋 主題建議
在您的搜尋 主題建議
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...”獲取全文
電子
電子書



