Filter by
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906435
- Collation
- XXVII, 399 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906534
- Collation
- XX, 387hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…
- Edition
- -
- ISBN/ISSN
- 9783031906602
- Collation
- XXI, 269 hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
African Land Reform Under Economic Liberalisation
- Edition
- -
- ISBN/ISSN
- 978-981-16-4725-3
- Collation
- -
- Series Title
- -
- Call Number
- -
- Edition
- -
- ISBN/ISSN
- 978-981-16-4725-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Narratives of Kingship in Eurasian Empires, 1300-1800
Dalam Narasi Kekuasaan di Kekaisaran Eurasia, 1300-1800, Richard van Leeuwen menganalisis representasi dan konstruksi ide kekuasaan dalam teks fiksi dari berbagai genre, terutama yang termasuk dalam lapisan perantara antara sastra populer dan resmi. Analisis ini menunjukkan bagaimana ideologi kekuasaan tersemat dalam imajinasi sastra dan budaya masyarakat, nilai-nilai budaya, dan konseptualisas…
- Edition
- -
- ISBN/ISSN
- 9789004340541
- Collation
- online resource ( VIII, 278 Pages)
- Series Title
- Pemerintah & Kelompok Elite
- Call Number
- 909.09821 LEE n
Missions and Preaching; Connected and Decompartmentalised Perspectives from t…
Berdasarkan pendekatan yang terhubung, relasional, dan multidisipliner (sejarah, etnografi, ilmu politik, dan teologi), Misi dan Pemberitaan membahas konsepsi misi melalui analisis kegiatan pemberitaan dan dinamika agama di seluruh Kekristenan, Islam, dan Yudaisme, di Timur Tengah dan Afrika Utara, dari akhir abad ke-19 hingga hari ini. 13 bab mengungkapkan titik kontak, pertukaran, dan sirkula…
- Edition
- -
- ISBN/ISSN
- 9789004449633
- Collation
- online resource ( XX, 489 Pages)
- Series Title
- Studi Leiden tentang Islam dan Masyarakat
- Call Number
- 266.056061 NEV m
Meaning and the Dynamics of Interpretation; Selected Papers of Hans Kamp
Kumpulan makalah penelitian yang ditulis oleh Hans Kamp ini menyajikan inti dari penelitian ilmiahnya tentang semantik bahasa alami dan hubungan antara logika, filosofi, dan linguistik. Disusun dalam enam bagian, topik yang dibahas mulai dari refleksi filosofis tentang isu-isu dasar dalam Paradoks Sorites kuno dengan penjelasan formal mengenai solusinya, hingga penjelasan mendetail tentang pras…
- Edition
- -
- ISBN/ISSN
- 9789004252882
- Collation
- online resource ( VI, 695 Pages)
- Series Title
- Penelitian Terkini di Antara Semantik dan Pragmatik
- Call Number
- 401.43 KAM m
Inklusives Wachstum und wirtschaftliche Sicherheit : Erkenntnisse ökonomisch…
Diese Open Access Buch geht den Fragen nach, wie inklusives Wachstum und wirtschaftliche Sicherheit entstehen, welche Rahmenbedingungen der Staat setzen und welche Reformen er auf den Weg bringen muss und wie sich wirtschaftspolitische Maßnahmen auswirken. Die besten Studierenden der Universität St. Gallen fassen prägnant und verständlich wichtige Ergebnisse der ökonomischen Spitzenforschu…
- Edition
- -
- ISBN/ISSN
- 9783658213442
- Collation
- -
- Series Title
- -
- Call Number
- -
Covid-19 Containment Policies in Europe
This open access book examines the diverse strategies implemented by national and local European governments to contain the Covid-19 pandemic. Rather than focus on individual national case studies, it brings together leading scholars and policymakers to analyse the wide range of containment policies utilised across the continent at various levels of government. In doing so, the volume assesses …
- Edition
- -
- ISBN/ISSN
- 978-3-031-52096-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Van schoolbioloog tot duurzame duizendpoot : Verleden, heden en toekomst van …
"Natuur- en milieueducatie kent een lange traditie. In dit boek brengen vier auteurs die traditie in beeld. Ze verhalen over verleden, heden en toekomst, en reflecteren op bestuur en beleid, inhoud en organisatie. Natuur- en milieueducatie veranderde maar is deels hetzelfde gebleven. Vroeger leerde je op school buiten spelen, rollen door het gras, kleine beestjes vangen, schooltuintjes harken, …
- Edition
- -
- ISBN/ISSN
- 9789086868810
- Collation
- 184 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography