Bokus

Atlantis Studies in Computing

Visar alla böcker i serien Atlantis Studies in Computing. Handla med fri frakt och snabb leverans.

  1. Code Generation with Templates

    Code Generation with Templates

    Del 1 · Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef · 2012

  2. Instruction Sequences for Computer Science

    Instruction Sequences for Computer Science

    Del 2 · Jan A Bergstra, Cornelis A. Middelburg · 2012

  3. Logics in Computer Science

    Logics in Computer Science

    Del 3 · Fabio Mogavero · 2015

  4. Compressed Data Structures for Strings

    Compressed Data Structures for Strings

    Del 4 · Rossano Venturini · 2013

  5. Constraints Meet Concurrency

    Constraints Meet Concurrency

    Del 5 · Jacopo Mauro · 2014

  6. Analysis and Enumeration

    Analysis and Enumeration

    Del 6 · Andrea Marino · 2015

  7. Type Systems for Distributed Programs: Components and Sessions

    Type Systems for Distributed Programs: Components and Sessions

    Del 7 · Ornela Dardha · 2016