Filter

Matematisk databehandlingsteori

Filter
  • Search-Based Software Engineering

    häftad, 2020, Engelska, ISBN 9783030597610

    This book constitutes the refereed proceedings of the 12th International Symposium on Search-Based Software Engineering, SSBSE 2020, held in Bari, Italy, in October 2020.The 13

  • Machine Learning and IoT for Intelligent Systems and Smart Applications

    E-bok, 2021, Engelska, ISBN 9781000484984

    The fusion of AI and IoT enables the systems to be predictive, prescriptive, and autonomous, and this convergence has evolved the nature of emerging applications from being

  • Multi-Agent-Based Simulation XV

    E-bok, 2015, Engelska, ISBN 9783319146270

    This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Multi-Agent-Based Simulation, MABS 2014, held in Paris, France, in

  • Codierungstheorie und Kryptographie

    av

    E-bok, 2011, Tyska, ISBN 9783764386122

    Im heutigen Informationszeitalter werden täglich riesige Mengen von digitalen Daten über Kanäle wie die Atmosphäre, die Telefonleitung oder Speichermedien übertragen. Dabei treten

  • Quantum Random Number Generation

    inbunden, 2020, Engelska, ISBN 9783319725949

    This book provides an overview of state-of-the-art implementations of quantum random number generators (QRNGs), and especially examines their relation to classical

  • Automated Reasoning

    häftad, 2012, Engelska, ISBN 9783642313646

    Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.

  • OmeGA

    av

    E-bok, 2012, Engelska, ISBN 9781461508076

    OmeGA: A Competent Genetic Algorithm for Solving Permutation and Scheduling Problems addresses two increasingly important areas in GA implementation and practice. OmeGA, or the

  • Tools and Algorithms for the Construction and Analysis of Systems

    E-bok, 2021, Engelska, ISBN 9783030720162

    This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021,

  • Certified Programs and Proofs

    häftad, 2013, Engelska, ISBN 9783319035444

    This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne,

  • Programming Languages and Systems

    E-bok, 2025, Engelska, ISBN 9789819535859

    This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers