Showing 9,101 - 9,120 results of 9,605 for search '"Business"', query time: 0.13s Refine Results
  1. 9101
  2. 9102
  3. 9103

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
    Link to Metadata
    Electronic eBook
  4. 9104
  5. 9105
  6. 9106

    Food Studies Matter, Meaning, Movement by Szanto, David, Di Battista, Amanda, Knezevic, Irena

    Published 2022
    Table of Contents: “…MacLennan and Irena Knezevic -- Perspective: Breast Milk, Janet Colson -- Perspective: Food Insecurity, Michael Classens and Mary Anne Martin -- Creative: Food System Blues, Faris Ahmed and Tommy Wall -- Creative: Food Waste, Pamela Tudge -- Perspective: Food Access, Laine Young -- Case: Food Rescue, Leda Cooks -- Perspective: Financialization of Food, Phoebe Stephens -- Creative: Solidarity for Food Businesses, Annika Walsh -- Perspective: Fair Trade, Eefje De Gelder -- Case: Migrant Farm Workers, Courtney Jane Clause -- Case: Pollinator Ecologies, D. …”
    Access online version
    Electronic eBook
  7. 9107
  8. 9108
  9. 9109
  10. 9110
  11. 9111
  12. 9112
  13. 9113
  14. 9114
  15. 9115
  16. 9116
  17. 9117
  18. 9118
  19. 9119
  20. 9120