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 8th International Conference on Attosecond Science and Tec…
Volume akses terbuka ini menyatukan makalah-makalah terpilih dari Konferensi Internasional ke-8 tentang Sains dan Teknologi Attosecond. Kontribusi di dalamnya mewakili kemajuan terbaru dalam ilmu pengetahuan attosecond, yang mencakup kemajuan terbaru dalam dinamika elektron sangat cepat dalam atom, molekul, kelompok, permukaan, padatan, struktur nano, dan plasma, serta generasi pulsa XUV sub-fe…
- Edition
- -
- ISBN/ISSN
- 978-3-031-47938-0
- Collation
- online resource ( XIX, 220 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 539.14 ARG p
Nuclear Risks and Arms Control - Problems and Progresses in the Time of Pande…
Buku akses terbuka ini didasarkan pada konferensi yang diselenggarakan oleh Accademia dei Lincei dan US National Academy of Sciences dan didukung oleh Kementerian Luar Negeri Italia. Konferensi ini dihadiri oleh sekitar 60 ilmuwan dan peneliti dari 13 negara, termasuk, selain Eropa, Iran, Israel, Irak, Pakistan, India, Jepang, Federasi Rusia, dan Amerika Serikat. Dalam skenario internasional ya…
- Edition
- -
- ISBN/ISSN
- 978-3-031-29708-3
- Collation
- online resource ( XVI, 212 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 355.0217 RAM n
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
Bruno Touschek 100 Years; Memorial Symposium 2021
Buku akses terbuka ini merayakan kontribusi Bruno Touschek terhadap fisika teoretis dan collider partikel di Eropa. Buku ini berisi testimoni langsung dari mantan muridnya, kolaborator, dan ilmuwan terkemuka, di antaranya adalah dua pemenang Hadiah Nobel dalam Fisika, Giorgio Parisi dan Carlo Rubbia. Buku ini meninjau perkembangan utama dalam fisika teoretis dan fisika akselerator di paruh kedu…
- Edition
- -
- ISBN/ISSN
- 978-3-031-23042-4
- Collation
- online resource ( X, 307 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 530.092 BON b
International Cooperation for Enhancing Nuclear Safety, Security, Safeguards …
Buku akses terbuka ini membahas aspek-aspek kunci dari kerjasama internasional untuk meningkatkan keselamatan, keamanan, perlindungan, dan non-proliferasi nuklir, sehingga membantu dalam pengembangan dan pemeliharaan rezim verifikasi dan mendorong kemajuan menuju dunia tanpa senjata nuklir. Tantangan-tantangan saat ini dibahas dan upaya dilakukan untuk mengidentifikasi solusi yang mungkin dan p…
- Edition
- -
- ISBN/ISSN
- 978-3-030-42913-3
- Collation
- online resource ( XXXVIII, 222 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 363.17 MAI i
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography