Coyote Wisdom by Dobie/Boatright/Ransom

DOAB: download the publication
DOAB: description of the publication

Coyote Steals Fire by Northwestern Band of the Shoshone Nation

DOAB: download the publication
DOAB: description of the publication

Coyotes in Their Economic Relations by Lantz, David E. (David Ernest), 1855-1918

Subjects: “…Coyote…”
Get full text

The Coyote A Western Story by Roberts, James, 1881-1934

Get full text

The Adventures of Old Man Coyote by Burgess, Thornton W. (Thornton Waldo), 1874-1965; Cady, Harrison, 1877-1970 [Illustrator]

Get full text

Hints on Wolf and Coyote Trapping by Young, Stanley Paul, 1889-1969

Get full text

Doctor Rabbit and Ki-Yi Coyote by Hinkle, Thomas C. (Thomas Clark), 1876-1949; Winter, Milo, 1888-1956 [Illustrator]

Get full text

Den Hunting as a Means of Coyote Control by Dobyns, Harold Warren, 1896-; Young, Stanley Paul, 1889-1969

Subjects: “…Coyote -- Control…”
Get full text

Wolf and Coyote Trapping: An Up-to-Date Wolf Hunter's Guide Giving the Most Successful Methods of Experienced "Wolfers" for Hunting and Trapping These Animals, Also Gives Their Habits in Detail. by Harding, A. R. (Arthur Robert), 1871-1930

Get full text

Communication in Defense of Nonhuman Animals during an Extinction and Climate Crisis

Subjects: DOAB: download the publication
DOAB: description of the publication

Energy Efficiency Improvement of Electric Machines without Rare-Earth Magnets

Subjects: DOAB: download the publication
DOAB: description of the publication

Reducing weed impacts and yield losses by application of herbicides in summer-grown maize by Bogale Ayana

Connect to this object online.

Stories from Quechan Oral Literature by Amy Miller

DOAB: download the publication
DOAB: description of the publication

Political Ideologies and Worldviews An Introduction by Vézina, Valérie

Table of Contents: “…Dis(placement) and Indigenous Worldview : What I learned from Coyote -- III. Liberalism: From the "free men" to the "free market" -- IV. …”
Access online version

Stories from Quechan Oral Literature by Halpern, A.M

DOAB: download the publication
DOAB: description of the publication

Stories from Quechan Oral Literature by Halpern, A.M

OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Migrating into Financial Markets How Remittances Became a Development Tool by Bakker, Matt

DOAB: download the publication
DOAB: description of the publication

Migrating into Financial Markets How Remittances Became a Development Tool by Bakker, Matt

OAPEN Library: download the publication
OAPEN Library: description of the publication