Search Results - "prefix"

  1. 121
  2. 122
  3. 123
  4. 124
  5. 125
  6. 126
  7. 127
  8. 128

    Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2023
    Table of Contents: “…Forward Bisimilarity -- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains -- Weighted and Branching Bisimilarities from Generalized Open Maps -- Preservation and Reflection of Bisimilarity via Invertible Steps -- QuantitativeSafety and Liveness -- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors -- Fast Matching of Regular Patterns with Synchronizing Counting -- Compositional Learning for Interleaving Parallel Automata -- Pebble minimization: the last theorems -- Noetherian topologies defined via fixed-points -- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic -- Just Testing -- Model and Program Repair via Group Actions -- Subgame optimal strategies in finite concurrent games with prefix-independent objectives. .…”
    Link to Metadata
    Electronic eBook
  9. 129
  10. 130
  11. 131
  12. 132
  13. 133
  14. 134
  15. 135
  16. 136
  17. 137
  18. 138

    An Introduction to Waste Management and Circular Economy by van Ewijk, Stijn, Stegemann, Julia

    Published 2023
    Table of Contents: “…Abbreviations -- SI units and prefixes -- List of boxes -- List of exercises -- Foreword -- Acknowledgements -- Materials and waste -- The impacts of waste -- Assessment methods -- Policy and legislation -- Waste prevention -- Collection and treatment -- Waste recycling -- Energy recovery and disposal -- The circular economy -- Further reading -- References -- Index…”
    Access online version
    Electronic eBook
  19. 139
  20. 140