000 | 04394nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-642-36046-6 | ||
003 | DE-He213 | ||
005 | 20240730200054.0 | ||
007 | cr nn 008mamaa | ||
008 | 130125s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642360466 _9978-3-642-36046-6 |
||
024 | 7 |
_a10.1007/978-3-642-36046-6 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aMathematical and Engineering Methods in Computer Science _h[electronic resource] : _b8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / _cedited by Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos. |
250 | _a1st ed. 2013. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
300 |
_aXII, 213 p. 32 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7721 |
|
505 | 0 | _aBDD-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. | |
520 | _aThis volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 0 |
_aElectronic data processing _xManagement. _9162051 |
|
650 | 0 |
_aEconometrics. _920971 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Communication Networks. _9162052 |
650 | 2 | 4 |
_aAlgorithms. _93390 |
650 | 2 | 4 |
_aIT Operations. _931703 |
650 | 2 | 4 |
_aQuantitative Economics. _931722 |
700 | 1 |
_aKucera, Antonin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9162053 |
|
700 | 1 |
_aHenzinger, Thomas A. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9162054 |
|
700 | 1 |
_aNešetřil, Jaroslav. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9162055 |
|
700 | 1 |
_aVojnar, Tomas. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9162056 |
|
700 | 1 |
_aAntos, David. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9162057 |
|
710 | 2 |
_aSpringerLink (Online service) _9162058 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642360442 |
776 | 0 | 8 |
_iPrinted edition: _z9783642360480 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7721 _9162059 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-36046-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c95880 _d95880 |