Filter

Matematisk databehandlingsteori

Filter
  • Integer Programming and Combinatorial Optimization

    häftad, 2019, Engelska, ISBN 9783030179526

    This book constitutes the refereed proceedings of the 20th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2019, held in Ann Arbor, MI, USA, in

  • Hardware and Software: Verification and Testing

    häftad, 2013, Engelska, ISBN 9783319030760

    This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in

  • Frontiers in Algorithms

    häftad, 2010, Engelska, ISBN 9783642145520

    Thepapers inthis volumewereselectedfor presentationatthe 4thInternational FrontiersofAlgorithmicsWorkshop(FAW2010),heldduringAugust11-13,2010 at Wuhan University, Wuhan, China.

  • System Analysis and Modeling: Models and Reusability

    E-bok, 2014, Engelska, ISBN 9783319117430

    This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia, Spain, in September

  • STACS 86

    häftad, 1985, Engelska, ISBN 9783540160786
  • GLIM

    av

    häftad, 1986, Tyska, ISBN 9783528043544

    Multivariate Analyseverfahren haben in den letzten Jahren einen gewaltigen Aufschwung in den Sozialwissenschaften erfahren. Die Vielfalt der Methoden ist fur den Forschungs-

  • Epistemology, Context, and Formalism

    E-bok, 2014, Engelska, ISBN 9783319029436

    The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be

  • Advances in Computational Mathematics

    E-bok, 2023, Engelska, ISBN 9781000948172
    Från 3515 kr

    This volume presents the refereed proceedings of the Guangzhou International Symposium on Computational Mathematics, held at the Zhongshan University, People's Republic of China.

  • History of Computing: Software Issues

    E-bok, 2013, Engelska, ISBN 9783662049549

    This is the first account on the history of software. By exploring the current understanding of software and its history, speakers and commentators explored the fundamental

  • Rules and Reasoning

    häftad, 2019, Engelska, ISBN 9783030310943

    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third