Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
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
Publicado em 2006
Sumário:
“...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2007
Sumário:
“...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2012
Sumário:
“... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2014
Sumário:
“... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2010
Assuntos:
“...Computer communication systems....”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2005
Sumário:
“... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2006
Sumário:
“... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2012
Sumário:
“...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2011
Sumário:
“...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2005
Sumário:
“... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2015
Sumário:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2005
Sumário:
“... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2005
Sumário:
“... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2006
Sumário:
“...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Publicado em 2014
Sumário:
“... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]