عنوان

Mathematical and Engineering Methods in Computer Science :

شابک

3642360440

شابک

3642360467

شابک

9783642360442

شابک

9783642360466

شماره

b567754

عنوان اصلي

Mathematical and Engineering Methods in Computer Science :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Revised Selected Papers

نام نخستين پديدآور

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).

محل نشرو پخش و غیره

Heidelberg

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

2013

نام خاص و کميت اثر

212 Seiten : Illustrationen.

عنوان فروست

Lecture notes in computer science, 7721

متن يادداشت

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.

موضوع مستند نشده

PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME

موضوع مستند نشده

SPEZIELLE PROGRAMMIERMETHODEN

موضوع مستند نشده

THEORETISCHE INFORMATIK

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).

مستند نام اشخاص تاييد نشده

Antonín Kučera

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y