1
Wydane 2006
Spis treści: ...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2008
Spis treści: ... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2007
Spis treści: ...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2012
Spis treści: ... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2014
Spis treści: ... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2010
Hasła przedmiotowe: ...Computer communication systems....
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2005
Spis treści: ... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2006
Spis treści: ... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2012
Spis treści: ...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2011
Spis treści: ...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2010
Spis treści: ... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2005
Spis treści: ... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2015
Spis treści: ... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2005
Spis treści: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2005
Spis treści: ... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2005
Spis treści: ... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2010
Spis treści: ...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2006
Spis treści: ...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2014
Spis treści: ... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2008
Spis treści: ... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...
Dokumenty pełnotekstowe
Elektroniczne E-book