Books in category Mathematics – Discrete Mathematics

  • Advances in Knowledge Discovery and Data Mining 8th Pacific Asia Volume 8

    Advances in Knowledge Discovery and Data Mining: 8th Pacific-Asia …, Volume 8
    Honghua Dai, Ramakrishnan Srikant, Chengqi Zhang

    This book constitutes the refereed proceedings of the 8th Pacific-Asia Conference on Knowledge Discovery and Data mining, PAKDD 2004, held in Sydney, Australia in May 2004.

  • Higher Order Logic Theorem Proving and Its Applications 7th Volume 7

    Higher Order Logic Theorem Proving and Its Applications: 7th …, Volume 7
    Thomas F. Melham, Juanito Camilleri

    This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.

  • Complexity Knots Colourings and Countings

    Complexity: Knots, Colourings and Countings
    Dominic Welsh

    These notes are based on a series of lectures given at the Advanced Research Institute of Discrete Applied Mathematics, Rutgers University.

  • Automata Implementation

    Automata Implementation
    Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi

    This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Implementing Automata, WIA'98, held in Rouen, France, in September 1998.

  • Verification of Object Oriented Software The KeY Approach

    Verification of Object-Oriented Software. The KeY Approach
    Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

    Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

  • Graph Theory

    Graph Theory
    Reinhard Diestel

    The third edition of this standard textbook of modern graph theory has been carefully revised, updated, and substantially extended.

  • Neural Nets

    Neural Nets
    Bruno Apolloni

    This book constitutes the thoroughly refereed postproceedings of the 16th Italian Workshop on Neural Nets, WIRN 2005, as well as the satellite International Workshop on Natural and Artificial Immune Systems, NAIS 2005, held in Vietri sul …

  • Term Rewriting and Applications

    Term Rewriting and Applications
    Franz Baader

    This book constitutes the refereed proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on …

  • Modelling in Molecular Biology

    Modelling in Molecular Biology
    Gabriel Ciobanu, Grzegorz Rozenberg

    Describes how to find regularities among empirical data, as well as conceptual models and theories. This volume consists of papers concerned with models and methods used in solving some fundamental problems of biosciences.

  • Combinatorial Image Analysis

    Combinatorial Image Analysis
    Reinhard Klette, Jovisa Zunic

    This volume presents the proceedings of the 10th International Workshop on Combinatorial Image Analysis, held December 1–3, 2004, in Auckland, New Zealand.

1 2 3 4 5 Next >