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...
Shranjeno v:
| Drugi avtorji: | , , , , |
|---|---|
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Izdaja: | 1st ed. 2013. |
| Serija: | Programming and Software Engineering
7721 |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical and Engineering Methods in Computer Science, Texte imprimé, 9783642360442 • Mathematical and Engineering Methods in Computer Science, Texte imprimé, 9783642360480 |
| LEADER | 03964nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 945860 | ||
| 008 | 130325q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN168329646 | ||
| 020 | |a 9783642360466 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 245 | 0 | 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, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Programming and Software Engineering |v 7721 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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 | ||
| 700 | 1 | |a Kucera, Antonin. |4 pbd | |
| 700 | 1 | |a Henzinger, Thomas A. |4 pbd | |
| 700 | 1 | |a Nešetřil, Jaroslav. |4 pbd | |
| 700 | 1 | |a Vojnar, Tomas. |4 pbd | |
| 700 | 1 | |a Antos, David. |4 pbd | |
| 776 | 0 | |t Mathematical and Engineering Methods in Computer Science |b Texte imprimé |z 9783642360442 | |
| 776 | 0 | |t Mathematical and Engineering Methods in Computer Science |b Texte imprimé |z 9783642360480 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-36046-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-M54FK919-M |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747915032 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-36046-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750927690 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-36046-6 |z Accès INSA CVL | |
| 997 | |0 945860 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||