Filter

Matematisk databehandlingsteori

Filter
  • Field-Coupled Nanocomputing

    E-bok, 2014, Engelska, ISBN 9783662437223

    Field-coupled nanocomputing (FCN) paradigms offer fundamentally new approaches to digital information processing that do not utilize transistors or require charge transport.

  • Models in System Design

    E-bok, 2012, Engelska, ISBN 9781461562955

    Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is by nature combined with prototyping,

  • Grundbegriffe der Theoretischen Informatik

    av

    E-bok, 2013, Tyska, ISBN 9783642737770

    In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen,

  • KI 2024: Advances in Artificial Intelligence

    E-bok, 2024, Engelska, ISBN 9783031708930

    This book constitutes the proceedings of the 47th German Conference on AI, KI 2024, which was held in Wurzburg, Germany, during September 25-27, 2024.The 19 full papers, 7 short

  • Artificial Intelligence

    E-bok, 2018, Engelska, ISBN 9783319768922

    This book contains a selection of the best papers of the 29th Benelux Conference on Artificial Intelligence, BNAIC 2017, held in Groningen, The Netherlands, in November 2017. The

  • Graph-Based Representation and Reasoning

    E-bok, 2023, Engelska, ISBN 9783031409608

    This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin,

  • Graph Drawing and Network Visualization

    E-bok, 2024, Engelska, ISBN 9783031492754

    This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle

  • Universal Computer Interfaces

    av

    E-bok, 2014, Engelska, ISBN 9781483296562

    Presents a survey of the latest developments in the field of the universal computer interface, resulting from a study of the world patent literature. Illustrating the state of the

  • Verified Software: Theories, Tools, Experiments

    häftad, 2010, Engelska, ISBN 9783642150562

    Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative

  • Approximation Algorithms

    av

    inbunden, 2001, Engelska, ISBN 9783540653677

    This text deals with algorithms designed for approximating solutions to a certain class of problems, called NP-hard combinatorial optimization problems. In particular, it focuses