We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Series
  4. Atlantis Studies in Computing

Books in the Atlantis Studies in Computing series

Filter
Filter
✕
Sort bySort Series order
  • Logics in Computer Science af Fabio Mogavero
    Logics in Computer Science
    - A Study on Extensions of Temporal and Strategic Logics
    by Fabio Mogavero
    £50.99

    In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

    More details
  • Compressed Data Structures for Strings af Rossano Venturini
    Compressed Data Structures for Strings
    - On Searching and Extracting Strings from Compressed Textual Data
    by Rossano Venturini
    £50.99

    Data compression is mandatory to manage massive datasets, indexing is fundamental to query them.

    More details

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.