Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Benefit/Cost-Driven Software Development With Benefit Points and Size Points by Hannay, Jo Erskine

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Chapter 15 Epistemic Gains and Epistemic Games Reliability and Higher Order Evidence in Medicine and Pharmacology by Osimani, Barbara

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Uncertainty in Pharmacology Epistemology, Methods and Decisions

“…Springer Nature…”
DOAB: description of the publication

Chapter Preface

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Chapter Analogy-Based Inference Patterns in Pharmacological Research by Poellinger, Roland

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Ray Tracing Gems II Next Generation Real-Time Rendering with DXR, Vulkan, and OptiX

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Global Political Demography The Politics of Population Change

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Outdoor Learning and Play Pedagogical Practices and Children's Cultural Formation

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Introduction to Space Syntax in Urban Studies by van Nes, Akkelies

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Augmented Humanity Being and Remaining Agentic in a Digitalized World by Bryant, Peter T.

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Visual Methodology in Migration Studies New Possibilities, Theoretical Implications, and Ethical Questions

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

S-BPM in the Wild Practical Value Creation

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Vor der Revolution Die Vereinigten Staaten und die Permanente Intervention in Iran, 1953-1975 by Popp, Roland

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

(Un)doing Gender empirisch Qualitative Forschung in der Kita

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

Co-governed Sovereignty Network Legal Basis and Its Prototype & Applications with MIN Architecture by Li, Hui

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

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

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

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

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication

The German Chambers of Commerce and Industry Self-governance, Service, the General Representation of Interests and the Dual System of Professional Education

“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication