Matematisk databehandlingsteori

Filter
  • Models of Strategic Reasoning

    häftad, 2016, Engelska, ISBN 9783662485392

    Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or

  • Approximation and Online Algorithms

    häftad, 2018, Engelska, ISBN 9783319894409

    This book constitutes the thoroughly refereed workshop post-proceedings of the 15th International Workshop on Approximation and Online Algorithms, WAOA 2017, held in Vienna,

  • Model Checking Software

    häftad, 2007, Engelska, ISBN 9783540733690

    This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with

  • Algorithms and Computation

    häftad, 2014, Engelska, ISBN 9783319046563

    This book constitutes the revised selected papers of the 8th International Workshop on Algorithms and Computation, WALCOM 2014, held in Chennai, India, in February 2014. The 29

  • Advanced Parallel Processing Technologies

    häftad, 2009, Engelska, ISBN 9783642036439

    th This volume contains the papers presented at the 8 International Conference on - vanced Parallel Processing Technologies, APPT 2009. This series of conferences originated from

  • Sequences and Their Applications -- SETA 2012

    häftad, 2012, Engelska, ISBN 9783642306143

    This book constitutes the refereed proceedings of the 7th International Conference on Sequences and Their Applications, SETA 2012, held in Waterloo, Canada, in June 2012. The 28

  • Functional and Constraint Logic Programming

    häftad, 2011, Engelska, ISBN 9783642225307

    This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in

  • Languages and Compilers for Parallel Computing

    häftad, 2006, Engelska, ISBN 9783540693291

    This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2005, held in Hawthorne,

  • Combinatorial Optimization and Applications

    häftad, 2016, Engelska, ISBN 9783319487489

    This book constitutes the refereed proceedings of the 10th International Conference on Combinatorial Optimization and Applications, COCOA 2016, held in Hong Kong, China, in

  • Cellular Automata and Discrete Complex Systems

    häftad, 2018, Engelska, ISBN 9783319926742

    This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2018, held in