Books in category Computers – Machine Theory

  • CAAP 88

    CAAP ’88
    Max Dauchet, Maurice Nivat

    This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany.

  • A Concise Introduction to Languages and Machines

    A Concise Introduction to Languages and Machines
    Alan P. Parkes

    This text is deliberately non-mathematical and, wherever possible, links theory to practical considerations, in particular the implications for programming, computation and problem solving.

  • AI 2008 Advances in Artificial Intelligence

    AI 2008: Advances in Artificial Intelligence
    Wayne Wobcke, Mengjie Zhang

    Submissions were subject to a rigorous review process. Each paper was reviewed by at least three (often four,andinonecase,six)membersoftheProgrammeCommittee.Authorscould then provide a “rebuttal” to these reviews.

  • Current Topics in Artificial Intelligence

    Current Topics in Artificial Intelligence
    Roque Marín

    This book constitutes the thoroughly referred post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005.

  • Advances in Self Organizing Maps

    Advances in Self-Organizing Maps
    Jorma Laaksonen, Timo Honkela

    This book constitutes the refereed proceedings of the 8th International Workshop on Self-Organizing Maps, WSOM 2011, held in Espoo, Finland, in June 2011.

  • Artificial Neural Networks in Pattern Recognition

    Artificial Neural Networks in Pattern Recognition
    Friedhelm Schwenker, Simone Marinai

    As re'ected in this book, art- cial neural networks in pattern recognition combine many ideas from machine learning,advancedstatistics,signalandimageprocessing,andstatisticalpattern recognition for solving complex real-world pattern …

  • Innovations in Applied Artificial Intelligence

    Innovations in Applied Artificial Intelligence
    Bob Orchard, Chunsheng Yang, Ali Moonis

    This book constitutes the refereed proceedings of the 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, held in Ottawa, Canada, in May 2004.

  • Automata Implementation

    Automata Implementation
    Oliver Boldt, Helmut Jürgensen

    This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Implementing Automata, WIA'99, held in Potsdam, Germany, in July 1999.

  • Theory and Application of Satisfiability Testing

    Theory and Application of Satisfiability Testing
    Karem A. Sakallah, Laurent Simon

    This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.

  • Mathematics of Program Construction

    Mathematics of Program Construction
    Tarmo Uustalu

    This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006, co-located with AMAST 2006, the 11th International Conference on …

1 2 3 4 5 Next >