-
2761Published 2012Table of Contents: “… of Distributed Algorithms: From Pseudo Code to Checked Proofs.- A Temporal Logic for Multi-threaded Programs…”
Full Text via HEAL-Link
Electronic eBook -
2762
-
2763
-
2764
-
2765Published 2013Table of Contents: “… -- A Heuristic Algorithm for the Set Multicover Problem with Generalized Upper Bound Constraints -- A…”
Full Text via HEAL-Link
Electronic eBook -
2766
-
2767Published 2013Table of Contents: “… research of general algorithmic interest.…”
Full Text via HEAL-Link
Electronic eBook -
2768Published 2013Table of Contents: “… to Remove Forbidden Induced Subgraphs.- Fixed-Parameter and Approximation Algorithms: A New Look.- Subgraphs…”
Full Text via HEAL-Link
Electronic eBook -
2769
-
2770
-
2771
-
2772
-
2773
-
2774
-
2775
-
2776by Bronstein, ManuelSubjects: “…Algorithms.…”
Published 2005
Full Text via HEAL-Link
Electronic eBook -
2777Table of Contents: “… -- Applications of Existing Optimization Algorithms to the Design of Mechanical Elements -- Applications…”
Full Text via HEAL-Link
Electronic eBook -
2778
-
2779
-
2780by Kallrath, JuliaSubjects: “…Algorithms.…”
Published 2005
Full Text via HEAL-Link
Electronic eBook