Filter by
Advances in Proof-Theoretic Semantics
Buku ini adalah koleksi pertama yang dikhususkan untuk bidang semantik teori pembuktian. Kontribusi-kontribusi membahas topik-topik termasuk sistematika aturan-aturan pengenalan dan eliminasi dan bukti-bukti normalisasi, karakterisasi kategorik dari deduksi, hubungan antara pendekatan Heyting dan Gentzen tentang makna, paradoks-paradoks yang dapat diketahui, dasar-dasar teori pembuktian dari te…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- online resource ( VI, 283 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.3 PIE a
Magnetism and Accelerator-Based Light Sources; Proceedings of the 7th Interna…
Buku akses terbuka ini mengumpulkan kontribusi dari sekolah ketujuh tentang Magnetisme dan Radiasi Sinkrotron yang diadakan di Mittelwihr, Prancis, dari 7 hingga 12 Oktober 2018. Buku ini dimulai dengan pengantar tentang fisika sumber sinar-X modern diikuti oleh gambaran umum tentang magnetisme. Selanjutnya, interaksi cahaya/materi dalam rentang sinar-X dibahas dengan penekanan pada berbagai je…
- Edition
- -
- ISBN/ISSN
- 978-3-030-64623-3
- Collation
- online resource ( XIX, 208 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 538 BUL m
The Politics of Diversity in Music Education
Buku akses terbuka ini mengkaji struktur dan proses politik yang membingkai dan menghasilkan pemahaman tentang keberagaman dalam dan melalui pendidikan musik. Lonjakan terbaru dalam kecenderungan nasionalis, fundamentalis, proteksionis, dan separatis menyoroti pentingnya bagi pendidikan musik untuk melampaui agenda kebijakan nominal atau diskursus keberagaman yang sepenuhnya merayakan. Menggabu…
- Edition
- -
- ISBN/ISSN
- 978-3-030-65617-1
- Collation
- online resource ( X, 214 Pages)
- Series Title
- Lanskap: Seni, Estetika, dan Pendidikan (LAAE)
- Call Number
- 780.7 KAL p
5th Symposium on Terrestrial Gravimetry: Static and Mobile Measurements (TG-S…
Volume akses terbuka ini berisi proseding dari Simposium ke-5 tentang Gravitometri Terestrial: Pengukuran Statis dan Mobile (TG-SMM2019) yang diadakan di St. Petersburg, Rusia, pada 1 - 4 Oktober 2019. Simposium ini diselenggarakan oleh Pusat Penelitian Negara Federasi Rusia Concern CSRI Elektropribor, JSC dan dihadiri oleh 75 peserta dari 15 negara yang berbeda. 32 kontribusi lisan dan 20 post…
- Edition
- -
- ISBN/ISSN
- 978-3-031-25902-9
- Collation
- online resource ( VIII, 160 Pages)
- Series Title
- Simposium Asosiasi Geodesi Internasional (IAG SYMPOSIA)
- Call Number
- 526.3 FRE s
Proceedings of the 10th Hydrogen Technology Convention, Volume 1; WHTC 2023, …
Buku akses terbuka ini menyoroti kemajuan terbaru dalam penelitian fundamental, teknologi, dan aplikasi energi hidrogen dan sel bahan bakar. Dalam beberapa tahun terakhir, konversi energi antara listrik dan energi hidrogen telah menarik perhatian yang semakin meningkat sebagai cara untuk menyesuaikan beban jaringan listrik. Buku ini membahas dan bertukar temuan mutakhir dan perkembangan teknolo…
- Edition
- -
- ISBN/ISSN
- 978-981-99-8631-6
- Collation
- online resource ( XI, 499 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 621.31244 HEX h
Proceedings of the 23rd Pacific Basin Nuclear Conference, Volume 1; PBNC 2022…
Ini adalah yang pertama dalam serangkaian tiga volume prosiding Konferensi Nuklir Kawasan Pasifik ke-23 (PBNC 2022) yang diselenggarakan oleh Masyarakat Nuklir Cina. Sebagai salah satu dari serangkaian konferensi yang paling penting dan berpengaruh di bidang ilmu dan teknologi nuklir, PBNC ke-23 diadakan di Beijing dan Chengdu, Cina pada tahun 2022 dengan tema "Inovasi Nuklir untuk Masa Depan N…
- Edition
- -
- ISBN/ISSN
- 978-981-99-1023-6
- Collation
- online resource ( XVI, 1163 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 621.48 CHE p
The Lives of Extraction = Identities, Communities and the Politics of Place
The frontiers of extraction are expanding rapidly, driven by a growing demand for minerals and metals that is often motivated by sustainability considerations. Two volumes of International Development Policy are dedicated to the paradoxes and futures of green extractivism, with analyses of experiences from five continents. In this, the first of these two volumes, 16 authors offer a critical and…
- Edition
- -
- ISBN/ISSN
- 9789004685994
- Collation
- 320 hlm; ill., lamp.,
- Series Title
- International Development Policy
- Call Number
- -
Visions for Intercultural Music Teacher Education
Buku akses terbuka ini menyoroti pentingnya visi masa depan alternatif dalam pendidikan guru musik di tengah meningkatnya kompleksitas sosial akibat meningkatnya keragaman. Ada kebijakan di setiap tingkat untuk melawan prasangka, meningkatkan peluang, mengurangi ketidaksetaraan, merangsang perubahan dalam sistem pendidikan, dan mencegah serta melawan polarisasi. Dengan menyoroti hubungan intim …
- Edition
- -
- ISBN/ISSN
- 978-3-030-21029-8
- Collation
- online resource ( X, 219 Pages)
- Series Title
- Lanskap: Seni, Estetika, dan Pendidikan (LAAE)
- Call Number
- 780.7 WES v
Gravity, Positioning and Reference Frames; Proceedings of the IAG Symposia - …
Volume akses terbuka ini berisi seleksi makalah yang dipresentasikan di tiga Simposium IAG yang berbeda yang diadakan pada tahun 2022: GGHS2022 – Sistem Gravitasi, Geoid, dan Tinggi 2022, Austin, TX, Amerika Serikat, 12 – 14 September 2022; Komisi IAG 4 – Penentuan Posisi dan Aplikasi, Potsdam, Jerman, 5 – 8 September 2022; dan REFAG2022 – Kerangka Acuan untuk Aplikasi dalam Geoscienc…
- Edition
- -
- ISBN/ISSN
- 978-3-031-63855-8
- Collation
- online resource ( XIII, 252 Pages)
- Series Title
- Simposium Asosiasi Geodesi Internasional (IAG SYMPOSIA)
- Call Number
- 526.3
The Law of the Seabed = Access, Uses, and Protection of Seabed Resources
The Law of the Seabed reviews the most pressing legal questions raised by the use and protection of natural resources on and underneath the world’s seabeds. While barely accessible, the seabed plays a major role in the Earth’s ecological balance. It is both a medium and a resource, and is central to the blue economy. New uses and new knowledge about seabed ecosystems, and the risks of disp…
- Edition
- -
- ISBN/ISSN
- 9789004391567
- Collation
- 638 hlm; ill., lamp.,
- Series Title
- Publications on Ocean Development
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography