About this book series

The series aims at publishing books in the areas of computer science, computer and network technology, IT management, information technology and informatics from the technological, managerial, theoretical/fundamental, social or historical perspective. We welcome books in the following categories: technical monographs: these will be reviewed as to timeliness, usefulness, relevance, completeness and clarity of presentation; textbooks; books of a more speculative nature: these will be reviewed as to relevance and clarity of presentation.
Electronic ISSN
2212-8565
Print ISSN
2212-8557
Series Editor
  • Jan A Bergstra,
  • Michael W. Mislove

Book titles in this series

  1. Logics in Computer Science

    A Study on Extensions of Temporal and Strategic Logics

    Authors:
    • Fabio Mogavero
    • Copyright: 2013

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  2. Analysis and Enumeration

    Algorithms for Biological Graphs

    Authors:
    • Andrea Marino
    • Copyright: 2015

    Available Renditions

    • Hard cover
    • eBook
  3. Code Generation with Templates

    Authors:
    • Jeroen Arnoldus
    • Mark van den Brand
    • A. Serebrenik
    • J.J. Brunekreef
    • Copyright: 2012

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Abstracted and indexed in

  1. DBLP