E-book
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš.
Record details
- ISBN: 9783642360466
- Physical Description: XII, 213 p. 32 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Search for related items by subject
Search for related items by series
Electronic resources
| BDD-Based Software Model Checking with CPAchecker | ||
| Security for Cyber-Physical Systems | ||
| Quantum Secret Sharing with Graph States | ||
| Testing Embedded Memories: A Survey | ||
| Quicksort and Large Deviations | ||
| Recent Results on Howardâs Algorithm | ||
| Advantage of Quantum Strategies in Random Symmetric XOR Games | ||
| Verification of Liveness Properties on Closed Timed-Arc Petri Nets | ||
| Fast Algorithm for Rank-Width | ||
| Determinacy in Stochastic Games with Unbounded Payoff Functions | ||
| Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games | ||
| Controllable-Choice Message Sequence Graphs | ||
| A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks | ||
| Parameterized Algorithms for Stochastic Steiner Tree Problems | ||
| Action Investment Energy Games | ||
| Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme | ||
| Groverâs Algorithm with Errors | ||
| On WQO Property for Different Quasi Orderings of the Set of Permutations | ||
| Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems. |
