Books in category Mathematics – Discrete Mathematics

  • Logic Program Synthesis and Transformation 5th International Volume 5

    Logic Program Synthesis and Transformation: 5th International …, Volume 5
    Maurizio Proietti

    This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.

  • Rough Set Methods and Applications

    Rough Set Methods and Applications
    Lech Polkowski, Shusaku Tsumoto, Tsau Y. Lin

    Knowledge derived by this approach consists of reducts, decision or association rules, dependencies, templates, or classifiers. This monograph presents the state of the art of this area.

  • Automated Deduction in Geometry

    Automated Deduction in Geometry
    Francisco Botana, Tomas Recio

    The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies.

  • Evolutionary Computation in Combinatorial Optimization

    Evolutionary Computation in Combinatorial Optimization
    Jin-Kao Hao, Martin Middendorf

    This book constitutes the refereed proceedings of the 12th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2012, held in Málaga, Spain, in April 2012, colocated with the Evo* 2012 events EuroGP, EvoBIO …

  • Theoretical Computer Science

    Theoretical Computer Science
    Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi

    This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.

  • Clusters Orders and Trees Methods and Applications

    Clusters, Orders, and Trees: Methods and Applications
    Fuad Aleskerov, Boris Goldengorin, Panos M. Pardalos

    This volume contains a collection of papers reflecting recent developments rooted in Mirkin’s fundamental contribution to the state-of-the-art in group choice, ordering, clustering, data mining and knowledge discovery.

  • Discrete Time Markov Jump Linear Systems

    Discrete-Time Markov Jump Linear Systems
    O.L.V. Costa, M.D. Fragoso, R.P. Marques

    Combining probability and operator theory, this book provides a unified treatment of results for control theory of discrete jump linear systems, which are used in these areas of application.

  • Probabilistic Modeling in Bioinformatics and Medical Informatics

    Probabilistic Modeling in Bioinformatics and Medical Informatics
    Dirk Husmeier, Richard Dybowski, Stephen Roberts

    The first part of this book provides a self-contained introduction to the methodology of Bayesian networks. The following parts demonstrate how these methods are applied in bioinformatics and medical informatics.

  • Isabelle HOL

    Isabelle/HOL
    Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.

  • Higher Order Algebra Logic and Term Rewriting

    Higher-Order Algebra, Logic, and Term Rewriting
    J. Heering

    This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993.

1 2 3 4 5 Next >