Items related to Mathematical and Engineering Methods in Computer Science:...
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2013
- ISBN 10 3642360483
- ISBN 13 9783642360480
- BindingPaperback
- LanguageEnglish
- Number of pages228
- EditorKucera Antonin, Henzinger Thomas A., Nešetřil Jaroslav
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
