Filter by
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical section…
- Edition
- 1
- ISBN/ISSN
- 9783030816858
- Collation
- XXIV, 922
- Series Title
- -
- Call Number
- -
East Central Europe Between the Colonial and the Postcolonial in the Twentiet…
This open access book explores the ambiguity of East Central Europe during the twentieth century, examining local contexts through a comparative and transnational reworking of theoretical models in postcolonial studies. Since the early modern period, East Central Europe has arguably been an object of imperialism. However, at the same time East Central European states have been seen to be coloni…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17487-2
- Collation
- -
- Series Title
- Cambridge Imperial and Post-Colonial Studies
- Call Number
- XII, 265
The Future Internet: Future Internet Assembly 2011: Achievements and Technolo…
Terlepas dari apakah kita menggunakan metrik ekonomi atau sosial, Internet adalah salah satu infrastruktur teknis terpenting yang ada saat ini. Internet akan menjadi katalis bagi banyak inovasi dan kemakmuran kita di masa depan. Eropa yang kompetitif akan membutuhkan konektivitas dan layanan Internet di luar kemampuan yang ditawarkan oleh teknologi saat ini. Oleh karena itu, penelitian Internet…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-20898-0
- Collation
- XVI, 465
- Series Title
- -
- Call Number
- 004.678 DOM f
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- 1
- ISBN/ISSN
- 9783030719951
- Collation
- XV, 574
- Series Title
- -
- Call Number
- -
Planar Maps, Random Walks and Circle Packing; Saint-Flour Summer School of Pr…
Buku akses terbuka ini berfokus pada interaksi antara lintasan acak pada peta planar dan teorema pengepakan lingkaran Koebe. Topik lebih lanjut yang dibahas meliputi jaringan listrik, teorema He–Schramm pada pengepakan lingkaran tak terhingga, pohon rentang seragam peta planar, limit lokal peta planar terbatas, dan pengulangan hampir pasti dari lintasan acak sederhana pada limit ini. Salah sa…
- Edition
- -
- ISBN/ISSN
- 978-3-030-27968-4
- Collation
- 1 online resource (126 Pages)
- Series Title
- -
- Call Number
- 519.2 NAC p
Percolation Theory Using Python
Buku teks akses terbuka berbasis kursus ini menyelidiki teori perkolasi, meneliti sifat fisik media acak—material yang dicirikan oleh berbagai ukuran lubang dan pori. Fokusnya adalah pada fondasi matematika dan metode komputasi dan statistik yang digunakan dalam bidang ini. Dirancang sebagai pengantar praktis, buku ini memberi penekanan khusus pada penyediaan seperangkat alat komputasi yang k…
- Edition
- -
- ISBN/ISSN
- 978-3-031-59900-2
- Collation
- 1 online resource (221 Pages)
- Series Title
- -
- Call Number
- 530.4 SOR p
Medical Missionaries and Colonial Knowledge in West Africa and Europe, 1885-1914
This open access book offers an entangled history of hygiene by showing how knowledge of purity, health and cleanliness was shaped by evangelical medical missionaries and their encounters with people in West Africa. By tracing the interactions and negotiations of six Basel Mission doctors, who practised on the Gold Coast and in Cameroon from 1885 to 1914, the author demonstrates how notions of …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-27130-4
- Collation
- -
- Series Title
- Cambridge Imperial and Post-Colonial Studies
- Call Number
- XVIII, 454
Shaping Natural History and Settler Society
This book explores the life and work of Mary Elizabeth Barber, a British-born settler scientist who lived in the Cape during the nineteenth century. It provides a lens into a range of subjects within the history of knowledge and science, gender and social history, postcolonial, critical heritage and archival studies. The book examines the international importance of the life and works of a marg…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-22639-8
- Collation
- -
- Series Title
- Cambridge Imperial and Post-Colonial Studies
- Call Number
- XXIV, 360
Colloids and the Depletion Interaction
Buku akses terbuka ini memberikan eksplorasi mendalam tentang perilaku fase dan sifat antarmuka dalam campuran koloid kompleks (misalnya, tanah liat, susu, darah). Wawasan tentang koloid telah menjadi inti dari banyak inovasi di berbagai industri. Pertanyaan besar yang mendasari inovasi ini adalah bagaimana sistem koloid dapat dirumuskan dan dirancang menuju sifat yang diinginkan? Untuk melakuk…
- Edition
- -
- ISBN/ISSN
- 978-3-031-52131-7
- Collation
- 1 online resource (400 Pages)
- Series Title
- -
- Call Number
- 547.923 LEK c
Vergleichsweise menschlich?
Ambulante Sanktionen gelten oftmals als menschliche Alternative zur Freiheitsentziehung. Der eigene Eingriffscharakter, die Perspektive der Betroffenen und die Erweiterung des Netzes sozialer Kontrolle werden übersehen. Die Übertragung von Sanktionspraktiken zwischen Rechtskulturen erfordert menschenrechtliche Minimalstandards. Zudem fehlen Kontrollgruppen-Studien und insbesondere ein Verglei…
- Edition
- 1
- ISBN/ISSN
- 978-3-658-08965-8
- Collation
- -
- Series Title
- Schriftenreihe des Strafvollzugsarchivs
- Call Number
- XV, 144
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography