Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
communication computation » communication computational, communications computational, communication cooperation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
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
Được phát hành 2006
Mục lục:
“...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2008
Mục lục:
“... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2007
Mục lục:
“...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2012
Mục lục:
“... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2014
Mục lục:
“... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”lấy văn bản
Điện tử
eBook
6
7
Được phát hành 2005
Mục lục:
“... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2006
Mục lục:
“... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2012
Mục lục:
“...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2011
Mục lục:
“...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2010
Mục lục:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2005
Mục lục:
“... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2015
Mục lục:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2005
Mục lục:
“... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2005
Mục lục:
“... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2005
Mục lục:
“... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2010
Mục lục:
“...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2006
Mục lục:
“...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”lấy văn bản
Điện tử
eBook
19
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Được phát hành 2014
Mục lục:
“... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2008
Mục lục:
“... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”lấy văn bản
Điện tử
eBook
- 1
- 2
- 3
- 4
- Tiếp theo »
- [4]