52.483 hasil
Menampilkan 341–360 · 0,58 detik · RSS
-
Bab Buku Teks lengkap
Chapter Archaeology of pastoralism
This handbook provides a comprehensive and authoritative overview of pastoralism, combining major theoretical debates with an interdisciplinary and comparative perspective on pastoral systems across the world. Approaching pastoralism as a social-ecological system, this volume synthesizes current…
-
Bab Buku Teks lengkap
Chapter Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter El espacio múltiple
This chapter focuses on the techniques through which represented spaces change and multiply before the audience. Beyond the standard cuadro changes, visible dramatic space dynamically transforms through devices such as espacio itinerante and espacio sucesivo, giving rhythm and immediacy to the…
-
Bab Buku Teks lengkap
Chapter Shaping Public Expectations
This volume explicates the role of sociopolitical advocacy and other related constructs as forms of prosocial communication. Bringing together a diverse group of scholars, this volume provides comprehensive conceptualizations and discussions of key constructs related to prosocial…
-
Bab Buku Teks lengkap
Chapter A World of minds
The Routledge International Handbook of Ecological Psychology provides the definitive international reference for understanding how humans perceive and control goal-directed behavior in everyday environments. This authoritative volume examines the rapidly expanding field that bridges perception…
-
Bab Buku Teks lengkap
Chapter Visual enchantment and captivating styles
This book explores the 'animal turn' that has reshaped humanities and social science scholarship over recent decades. The chapters describe the nuanced engagements between humans, animals, plants, and landscapes, challenging conventional anthropocentric perspectives and paving the way for a deeper…
-
Bab Buku Teks lengkap
Chapter Revolution of Philosophy
Combining structural analysis, historical enquiry, and intertextual reading, this book offers a fresh interpretation of one of antiquity’s most enduring myths, autochthony, and provides a model for studying myths as living processes of cultural imagination. Moving beyond approaches that treat myth…
-
Bab Buku Teks lengkap
Chapter Symbolic Automata for MTL∞0 with Super-Dense Semantics
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter Tax Modelling and Distribution
Development economics deals with economic aspects of the development process in low- and middle-income countries, including promoting economic growth and structural change, as well as improving the potential for the mass of the population, whether through public or private channels. Development…
-
Bab Buku Teks lengkap
Chapter 2. Diritto e Alpinismo
In the following pages, selected Italian case-law examines how courts allocate responsibility in mountaineering settings, addressing dangerous activities, professional duties, risk assessment, burden of proof, and the legal limits of protection where risk is inherent and not fully eliminable
-
Bab Buku Teks lengkap
Chapter DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter Effective Supervisor Development from a Systemic Perspective
Researchers navigate dynamic transitions throughout their careers, moving between roles, institutions, countries, and career stages while assuming leadership positions. These transitions reflect the evolving nature of researcher education and careers across a constantly changing academic landscape…
-
Bab Buku Teks lengkap
Chapter Introduction
This book explores the politics of military exercises in Europe between 1975 and 2018, revealing how NATO, the Soviet Union, and Russia have used exercises as political tools and how these activities shaped and reflected their perception of the threat environment. Drawing on extensive archival…
-
Bab Buku Teks lengkap
Chapter Validated Binary Decompilation Without Tears
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter Multilateralism of Human Rights as a Political Question
This book explores the politics of multilateralism in the context of three United Nations (UN) pillars: human rights, peace and security, and development. Focussing on the debates, ideas, and practices of international cooperation that have dominated the UN agenda since the early 1990s, it shows…
-
Bab Buku Teks lengkap
Chapter Introduction – Crossing Boundaries
This interdisciplinary volume explores religious conversion and nonreligion in 20th-century Central and Eastern Europe, examining how emerging nations, empire inheritors, and socialist projects mobilized religious politics to manufacture consent while destabilizing the very communities they sought…
-
Bab Buku Teks lengkap
Chapter “My Blood Is Magic”
This collection explores the intersection of magic, reproduction, and horror in contemporary culture, examining how these elements reflect and critique societal anxieties during a time of unprecedented challenges to reproductive rights, scientific advances in reproduction, and rising magical…
-
Bab Buku Teks lengkap
Chapter Ghosts
This book explores how language and linguistic knowledge can be encountered through walks, shared meals, conversations, and daily life rather than being written about in the style and genre of western academic grammar. Through an innovative exploration of the multivocal forms of knowledge…
-
Bab Buku Teks lengkap
Chapter Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking…
-
Bab Buku Teks lengkap
Chapter Teaching and learning integrity and research ethics
This handbook provides a foundational, comprehensive, and systemic overview of the current research on learning and instruction in university education. Offering a synthesis of current essential empirical research on university education, this volume provides a starting point for an intentional…
Menampilkan maksimal 50 halaman. Persempit pencarian dengan filter untuk hasil yang lebih spesifik.