↓ Skip to main content

Mathematical and Engineering Methods in Computer Science

Overview of attention for book
Cover of 'Mathematical and Engineering Methods in Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 BDD-Based Software Model Checking with CPAchecker
  3. Altmetric Badge
    Chapter 2 Security for Cyber-Physical Systems
  4. Altmetric Badge
    Chapter 3 Quantum Secret Sharing with Graph States
  5. Altmetric Badge
    Chapter 4 Testing Embedded Memories: A Survey
  6. Altmetric Badge
    Chapter 5 Quicksort and Large Deviations
  7. Altmetric Badge
    Chapter 6 Recent Results on Howard’s Algorithm
  8. Altmetric Badge
    Chapter 7 Advantage of Quantum Strategies in Random Symmetric XOR Games
  9. Altmetric Badge
    Chapter 8 Verification of Liveness Properties on Closed Timed-Arc Petri Nets
  10. Altmetric Badge
    Chapter 9 Fast Algorithm for Rank-Width
  11. Altmetric Badge
    Chapter 10 Determinacy in Stochastic Games with Unbounded Payoff Functions
  12. Altmetric Badge
    Chapter 11 Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games
  13. Altmetric Badge
    Chapter 12 Controllable-Choice Message Sequence Graphs
  14. Altmetric Badge
    Chapter 13 A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks
  15. Altmetric Badge
    Chapter 14 Parameterized Algorithms for Stochastic Steiner Tree Problems
  16. Altmetric Badge
    Chapter 15 Action Investment Energy Games
  17. Altmetric Badge
    Chapter 16 Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme
  18. Altmetric Badge
    Chapter 17 Grover’s Algorithm with Errors
  19. Altmetric Badge
    Chapter 18 On WQO Property for Different Quasi Orderings of the Set of Permutations
  20. Altmetric Badge
    Chapter 19 Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
30 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Mathematical and Engineering Methods in Computer Science
Published by
Springer Berlin Heidelberg, January 2013
DOI 10.1007/978-3-642-36046-6
ISBNs
978-3-64-236044-2, 978-3-64-236046-6
Editors

Kučera, Antonín, Henzinger, Thomas A., Nešetřil, Jaroslav, Vojnar, Tomáš, Antoš, David

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 30 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Japan 1 3%
Azerbaijan 1 3%
Unknown 28 93%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 33%
Student > Master 5 17%
Other 3 10%
Researcher 3 10%
Professor 2 7%
Other 7 23%
Readers by discipline Count As %
Engineering 14 47%
Computer Science 5 17%
Mathematics 2 7%
Materials Science 2 7%
Agricultural and Biological Sciences 1 3%
Other 6 20%