Suggested Topics within your search.
Suggested Topics within your search.
- Business & management 600
- Economics 397
- Economics, finance, business & management 332
- Finance 290
- Business strategy 242
- Development economics & emerging economies 186
- Management & management techniques 181
- Business 165
- Politics & government 153
- Business ethics & social responsibility 152
- Organizational theory & behaviour 146
- Political economy 134
- Business mathematics & systems 122
- Management 121
- International business 120
- Sociology 120
- Economic history 114
- Business studies: general 112
- Entrepreneurship 112
- Personnel & human resources management 111
- Economic theory & philosophy 97
- Sustainability 93
- Research & development management 84
- Education 83
- Media studies 76
- Environmental economics 70
- History of engineering & technology 70
- Society & social sciences 69
- Business innovation 67
- Central government policies 66
-
9101
-
9102
-
9103
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table 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 -
9104
-
9105
-
9106
Food Studies Matter, Meaning, Movement
Published 2022Table 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 -
9107
Pengujian Dan Optimasi Kalor Pada Tool Box Sterilisasi
Published 2012Connect to this object online
Book -
9108
-
9109
-
9110
The nation's health care bill Who bears the burden? A chartbook
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9111
-
9112
Flood Insurance in New York City Following Hurricane Sandy
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9113
-
9114
-
9115
-
9116
-
9117
-
9118
Issues of Human Resource Management
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9119
-
9120