Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
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
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2007
İçindekiler:
“...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2010
Konular:
“...Computer communication systems....”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2012
İçindekiler:
“...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2011
İçindekiler:
“...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”Tam Metin Erişim
Elektronik
Ekitap
19
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”Tam Metin Erişim
Elektronik
Ekitap



