Showing 1 - 8 results of 8 for search '"Atlantis Studies in Computing,"', query time: 0.04s Refine Results
  1. 1
    Type Systems for Distributed Programs: Components and Sessions
    by Dardha, Ornela
    Published 2016
    “…Atlantis Studies in Computing,…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Analysis and Enumeration Algorithms for Biological Graphs /
    by Marino, Andrea
    Published 2015
    “…Atlantis Studies in Computing,…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Compressed Data Structures for Strings On Searching and Extracting Strings from Compressed Textual Data /
    by Venturini, Rossano
    Published 2014
    “…Atlantis Studies in Computing,…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Constraints Meet Concurrency
    by Mauro, Jacopo
    Published 2014
    “…Atlantis Studies in Computing,…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Code Generation with Templates
    “…Atlantis Studies in Computing,…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Instruction Sequences for Computer Science
    “…Atlantis Studies in Computing,…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
    by Mogavero, Fabio
    Published 2013
    “…Atlantis Studies in Computing,…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Computational Finance An Introductory Course with R /
    by Arratia, Argimiro
    Published 2014
    “…Atlantis Studies in Computational Finance and Financial Engineering,…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search