Mathematical and engineering methods in computer science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers /
This 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...
| Corporate Authors: | MEMICS (Workshop) Znojmo, Czech Republic) |
|---|---|
| Other Authors: | MEMICS (Workshop), Kučera, Antonín, 1971-, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2013.
Berlin ; New York : [2013] |
| Physical Description: |
1 online resource. |
| Series: |
Lecture notes in computer science ;
7721. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
| LEADER | 07039cam a2201093 a 4500 | ||
|---|---|---|---|
| 001 | 826898851 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130207s2013 gw ob 101 0 eng d | ||
| 019 | |a 1026465988 |a 1027383455 |a 1110807447 |a 1119511434 | ||
| 020 | |a 9783642360466 |q (electronic bk.) | ||
| 020 | |a 3642360467 |q (electronic bk.) | ||
| 020 | |z 9783642360442 | ||
| 020 | |z 3642360440 |q (soft cover alk. paper) | ||
| 024 | 7 | |a 10.1007/978-3-642-36046-6 |2 doi | |
| 035 | |a (OCoLC)826898851 |z (OCoLC)1026465988 |z (OCoLC)1027383455 |z (OCoLC)1110807447 |z (OCoLC)1119511434 | ||
| 037 | |b Springer | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d YDXCP |d COO |d ZMC |d OCLCO |d SNK |d OCLCO |d OCLCA |d OCLCF |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d EBLCP |d DGU |d ESU |d IOG |d NJR |d KIJ |d REB |d CEF |d OCLCQ |d U3W |d YOU |d TKN |d OCLCQ |d DCT |d OCLCQ |d AJS |d OCLCQ |d OCLCO |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA75.5 |b .M46 2012 | |
| 072 | 7 | |a UMZ. |2 bicssc | |
| 072 | 7 | |a COM051230. |2 bisacsh | |
| 082 | 0 | 4 | |a 004 |2 23 |
| 111 | 2 | |a MEMICS (Workshop) |n (8th : |d 2012 : |c Znojmo, Czech Republic) | |
| 245 | 1 | 0 | |a Mathematical and engineering methods in computer science : |b 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers / |c edited by Antonín Kučera [and others]. |
| 246 | 3 | |a MEMICS 2012. | |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2013. | ||
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2013] | |
| 264 | 4 | |c ©2013. | |
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 7721. | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering. | |
| 505 | 0 | 0 | |t BDD-Based Software Model Checking with CPAchecker / |r Dirk Beyer, Andreas Stahlbauer -- |t Security for Cyber-Physical Systems / |r Dieter Gollmann -- |t Quantum Secret Sharing with Graph States / |r Sylvain Gravier, Jérôme Javelle -- |t Testing Embedded Memories: A Survey / |r Said Hamdioui -- |t Quicksort and Large Deviations / |r Colin McDiarmid -- |t Recent Results on Howard's Algorithm / |r Peter Bro Miltersen -- |t Advantage of Quantum Strategies in Random Symmetric XOR Games / |r Andris Ambainis, Jānis Iraids -- |t Verification of Liveness Properties on Closed Timed-Arc Petri Nets / |r Mathias Andersen, Heine Gatten Larsen -- |t Fast Algorithm for Rank-Width / |r Martin Beyß -- |t Determinacy in Stochastic Games with Unbounded Payoff Functions / |r Tomáš Brázdil, Antonín Kučera, Petr Novotný -- |t Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games / |r Krishnendu Chatterjee, Rasmus Ibsen-Jensen -- |t Controllable-Choice Message Sequence Graphs / |r Martin Chmelík, Vojtěch Řehák -- |t A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks / |r Filip Jurnečka, Vashek Matyáš -- |t Parameterized Algorithms for Stochastic Steiner Tree Problems / |r Denis Kurz, Petra Mutzel, Bernd Zey -- |t Action Investment Energy Games / |r Kim G. Larsen, Simon Laursen, Jiří Srba -- |t Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme / |r Michal Mikuš, Marek Sýs -- |t Grover's Algorithm with Errors / |r Andris Ambainis, Artūrs Bačkurs -- |t On WQO Property for Different Quasi Orderings of the Set of Permutations / |r Sandra Ose, Juris Viksna -- |t Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems / |r Vít Rusňák, Lukáš Ručka, Petr Holub. |
| 520 | |a This 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. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Computer science |v Congresses. | |
| 650 | 0 | |a Computer science |x Mathematics |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 6 | |a Informatique |v Congrès. | |
| 650 | 6 | |a Informatique |x Mathématiques |v Congrès. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 7 | |a Computer science. |2 fast. | |
| 650 | 7 | |a Computer science |x Mathematics. |2 fast. | |
| 650 | 7 | |a Software engineering. |2 fast. | |
| 653 | 4 | |a Computer science. | |
| 653 | 4 | |a Computer Communication Networks. | |
| 653 | 4 | |a Software engineering. | |
| 653 | 4 | |a Computer software. | |
| 653 | 4 | |a Information Systems. | |
| 653 | 4 | |a Algorithm Analysis and Problem Complexity. | |
| 653 | 4 | |a Management of Computing and Information Systems. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast. | |
| 655 | 7 | |a Software. |2 lcgft. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
| 700 | 1 | |a Kučera, Antonín, |d 1971- |1 https://id.oclc.org/worldcat/entity/E39PBJB8twXg6rd4WHQhcgMkjC. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642360442. |
| 830 | 0 | |a Lecture notes in computer science ; |v 7721. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 907 | |a .b37872412 |b multi |c - |d 130226 |e 240320 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Comprehensive, in 2023.06 | ||
| 948 | |a MARCIVE Comp, in 2022.12 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2019.12 | ||
| 948 | |a MARCIVE Comp, 2018.05 | ||
| 948 | |a MARCIVE Comp, 2017.10 | ||
| 948 | |a MARCIVE August, 2017 | ||
| 948 | |a MARCIVE extract Aug 5, 2017 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2023.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a OCLC offline update by CMU | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150337061 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-642-36046-6 |3 SpringerLink |z Click here for access | ||