Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematical and Engineering Methods in Computer Science
  • Produktbild: Mathematical and Engineering Methods in Computer Science
Band 7721

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.01.2013

Abbildungen

XII, 213 p. 32 illus.

Herausgeber

Antonin Kucera + weitere

Verlag

Springer Berlin

Seitenzahl

213

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

353 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36044-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.01.2013

Abbildungen

XII, 213 p. 32 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

213

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

353 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36044-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematical and Engineering Methods in Computer Science
  • Produktbild: Mathematical and Engineering Methods in Computer Science
  • 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.