在您的搜尋 主題建議
搜索替代詞:
communication computation » communication computational, communications computational, communication cooperation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
1
封面圖片
出版 2006
書本目錄: “...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2008
書本目錄: “... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2007
書本目錄: “...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2012
書本目錄: “... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2014
書本目錄: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2010
主題: “...Computer communication systems....”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2005
書本目錄: “... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2006
書本目錄: “... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2012
書本目錄: “...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2011
書本目錄: “...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2010
書本目錄: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2005
書本目錄: “... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2015
書本目錄: “... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2005
書本目錄: “... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2005
書本目錄: “... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2005
書本目錄: “... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2010
書本目錄: “...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2006
書本目錄: “...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2014
書本目錄: “... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2008
書本目錄: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索