Skip to Content

Book Series

Chapman & Hall/CRC Studies in Informatics Series

Series Editor: G.Q. Zhang

New and Published Books

1-8 of 8 results in Chapman & Hall/CRC Studies in Informatics Series
  • Page:
  • 1
  1. Foundations of Fuzzy Logic and Semantic Web Languages

    By Umberto Straccia

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Managing vagueness/fuzziness is starting to play an important role in Semantic Web research, with a large number of research efforts underway. Foundations of Fuzzy Logic and Semantic Web Languages provides a rigorous and succinct account of the mathematical methods and tools used for representing...

    Published August 26th 2013 by Chapman and Hall/CRC

  2. Agent-Based Modeling and Simulation with Swarm

    By Hitoshi Iba

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Swarm-based multi-agent simulation leads to better modeling of tasks in biology, engineering, economics, art, and many other areas. It also facilitates an understanding of complicated phenomena that cannot be solved analytically. Agent-Based Modeling and Simulation with Swarm provides the...

    Published June 23rd 2013 by Chapman and Hall/CRC

  3. Mathematical Aspects of Logic Programming Semantics

    By Pascal Hitzler, Anthony Seda

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from...

    Published November 21st 2010 by CRC Press

  4. Ubiquitous Multimedia Computing

    Edited by Qing Li, Timothy K. Shih

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Computing is ubiquitous and if you think otherwise, that in itself might be the best evidence that it is so. Computers are omnipresent in modern life and the multimedia computing environment of today is becoming more and more seamless. Bringing together contributions from dozens of leading experts...

    Published November 23rd 2009 by Chapman and Hall/CRC

  5. Introduction to Mathematics of Satisfiability

    By Victor W. Marek

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring...

    Published September 21st 2009 by Chapman and Hall/CRC

  6. Conceptual Structures in Practice

    Edited by Pascal Hitzler, Henrik Scharfe

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Exploring fundamental research questions, Conceptual Structures in Practice takes you through the basic yet nontrivial task of establishing conceptual relations as the foundation for research in knowledge representation and knowledge mining. It includes contributions from leading researchers in...

    Published May 5th 2009 by Chapman and Hall/CRC

  7. Context-Aware Computing and Self-Managing Systems

    Edited by Waltenegus Dargie

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Bringing together an extensively researched area with an emerging research issue, Context-Aware Computing and Self-Managing Systems presents the core contributions of context-aware computing in the development of self-managing systems, including devices, applications, middleware, and networks. The...

    Published March 24th 2009 by Chapman and Hall/CRC

  8. Stochastic Relations

    Foundations for Markov Transition Systems

    By Ernst-Erich Doberkat

    Series: Chapman & Hall/CRC Studies in Informatics Series

    Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the...

    Published May 16th 2007 by Chapman and Hall/CRC

  • Page:
  • 1

Forthcoming Books

  1. Automation of Logic
    By Christoph Weidenbach
    To Be Published August 15th 2015

Search for Book Series