53.170 hasil
Menampilkan 381–400 · 1,32 detik · RSS
-
Bab Buku Teks lengkap
Chapter IsaAbduct: A Multi-Strategy Abduction Pipeline for Isabelle/HOL
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…
-
Buku Teks lengkap
From Debris to Sediment
In geology, the term sediment refers to organic or mineral particles that were set in motion and transported to a new location by air, water, or ice. Today, new sediments are emerging that challenge traditional concepts of geological processes: the global spread of microplastics, the contamination…
-
Buku Teks lengkap
Ressentiment unter Muslimen
Viele Musliminnen und Muslime in Deutschland nehmen Diskriminierung wahr. Doch ist diese auf objektiv messbare Ungleichbehandlung zurückzuführen? Die Beiträge dieses Bandes kommen zu dem Ergebnis, dass wahrgenommene Kränkung von einer Vielzahl von Faktoren abhängig ist: sowohl von objektiv…
-
Buku Teks lengkap
Digital Archives of Science
The archive of science preserves the sediments of scientific practices: drafts, protocols of rejected hypotheses and failed experiments, obsolete instruments and other vestiges of knowledge-making. As science becomes increasingly digital, so does its archive – transforming not only how the…
-
Buku Teks lengkap
Cultural Game Studies
Cultural Game Studies provides a comprehensive framework for understanding games and play as interconnected cultural phenomena, examining their roles as art, entertainment, and human experience within contemporary society. This edited volume delivers a societally and culturally informed critical…
-
Buku Teks lengkap
Breaking the Barriers
Europe is facing a challenge when it comes to innovation and entrepreneurship. The most recent report from The Global Entrepreneurship monitor, published in November 2023, points to an overall trend in the landscape of entrepreneurship: At the global level, the numbers and activities of women…
-
Buku Teks lengkap
Motivation und Kompetenzförderung von Kindern und Jugendlichen beim Reiten
In diesem Open-Access-Buch geht es um ein vielfach untersuchtes Phänomen: die Beliebtheit des Pferdes bei Kindern und Jugendlichen. Das Ziel der in diesem Buch vorliegenden Studie war es, dieses Phänomen multiperspektivisch zu analysieren und dabei auch jüngere Kinder und andere Blickwinkel…
-
Buku Teks lengkap
Shi'i Clerical Authority in Iraq
Sh’i Clerical Authority in Iraq: The Neo-Traditional Marji’yya and the Transformation of Political Order provides the first comprehensive analysis of the evolving relationship between Shi'i religious authority and the state in Iraq through a distinctive historical sociology framework that…
-
Buku Teks lengkap
Forking Paths
The French théâtre classique , the English Renaissance and Restoration stage, the Spanish comedia nueva : by the late seventeenth century, European drama had crystallised into strikingly different traditions, each one with its own distinctive formal features. But how did this diversity arise?…
-
Buku Teks lengkap
Bridging Governance, Public Support, Innovation, and Transparency
Sustainable development can be achieved by organisations in a supportive environment that includes a culture of transparency, accountability and shared values. This short, open access contributed volume presents an overview of sustainable development practices through a comprehensive analysis of…
-
Buku Teks lengkap
Langue et intégration
Comment séjourne-t-on dans un pays auquel on demande l’asile? Comment vit-on dans cette réalité intermédiaire et inconnue? Sur quelles ressources compter pour donner sens à son nouvel environnement et à sa langue, souvent aussi étrange qu’étrangère? Cet ouvrage explore les premiers temps du…
-
Buku Teks lengkap
Peers als Arenen politischer Sozialisation
Wie bilden sich heute politische Orientierungen junger Menschen und welchen Einfluss haben Peers dabei? Das Buch untersucht Gruppenkontexte als politische Sozialisationsräume: von Parteijugenden und sozialen Bewegungen über Vereine bis hin zu informellen jugendkulturellen Zusammenschlüssen. Im…
-
Buku Teks lengkap
Eco-Social Contracts for Sustainable and Just Futures
Winner of the 2026 Nautilus Gold Award in World Cultures: Transformational Growth & Development and the 2026 Nautilus Special Honors Award: Transformative Systems Vision. Winner of an International Impact Book Award (April 2026) and a Living Now Book Award ( August 2026). This groundbreaking open…
-
Buku Teks lengkap
Trazas y estructuras del ingenio
One of the most common metaphors in the Spanish Golden Age is that which describes literature as the architecture of words. *Traces and Structures of Ingenuity* explores this metaphor and its implications by examining how and why Golden Age writers employed these images, how they evolved, and how…
-
Buku Teks lengkap
Women’s Political Representation in Central and Eastern Europe
Using the foundational framework of political representation first introduced by Pitkin’s seminal book The Concept of Representation, this work explores the progress made within women’s political representation in Central and Eastern Europe (CEE). After the region’s history and collective present…
-
Buku Teks lengkap
Going to the People
In the interwar years, Italy underwent profound social and cultural transformations which shaped the emergence of a modern mass-consumer society. Amidst the Fascist regime’s centralised control over cultural production, new forms of popular print culture flourished, most notably the rotocalco, the…
-
Buku Teks lengkap
Decentering Leuven University
First longue durée transnational history of a university, surveying its cross-border ties and offering a new model for writing university history. Since its foundation in 1425, Leuven University has always been a transnational institution. Decentering Leuven University explores how this…
-
Buku Teks lengkap
Schreiben als transformative Praxis
Schreiben kann Denkprozesse anstoßen und nachhaltige Veränderung bewirken. Der wissenschaftliche Sammelband untersucht das transformative Potenzial des Schreibens aus interdisziplinärer schreibwissenschaftlicher Perspektive und reflektiert aktuelle Diskurse um Transformation. Die Beiträge…
-
Bab Buku Teks lengkap
Chapter Learning GR(1) Specifications from Traces
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…
-
Buku Teks lengkap
Politik und Erkenntnistheorie
Jede Epistemologie trägt Spuren ihrer politischen Herkunft, politisches Handeln wiederum ist beeinflusst durch grundlegende epistemologische Prämissen der Handelnden. Markus Neher zeigt, dass Eric Voegelin diese Verschränkung von Politik und Epistemologie als zentrale Prämisse in seinem Frühwerk…
Menampilkan maksimal 50 halaman. Persempit pencarian dengan filter untuk hasil yang lebih spesifik.