Filter by
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
Kumpulan dua volume LNAI 14739-14740 ini merupakan prosiding Konferensi Gabungan Internasional ke-12 tentang Penalaran Otomatis, IJCAR 2024, yang diselenggarakan di Nancy, Prancis, selama 3-6 Juli 2024. 39 makalah penelitian lengkap dan 6 makalah pendek yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 115 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut:…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-63501-4
- Collation
- 1 online resource (XV, 424 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.3 BEN a
Fundamental Approaches to Software Engineering: 27th International Conference…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2024, yang diselenggarakan bersamaan dengan ETAPS 2024 yang berlangsung di Luksemburg pada bulan April 2024. 14 makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih secara saksama dari 41 pengajuan. Prosiding tersebut juga mencakup 5 mak…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57259-3
- Collation
- 1 online resource (XIV, 332 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 BEY f
Programming Languages and Systems: 33rd European Symposium on Programming, ES…
Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih d…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57267-8
- Collation
- 1 online resource (XXI, 386 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 WEI p
Energy Demand Challenges in Europe : Implications for policy, planning and pr…
This open access book examines the role of citizens in sustainable energy transitions across Europe. It explores energy problem framing, policy approaches and practical responses to the challenge of securing clean, affordable and sustainable energy for all citizens, focusing on households as the main unit of analysis. The book revolves around ten contributions that each summarise national trend…
- Edition
- 1
- ISBN/ISSN
- 9783030203399
- Collation
- XV, 157 hlm,: ill, lamp; 21 cm
- Series Title
- -
- Call Number
- -
Low-Dose Radiation Effects on Animals and Ecosystems : Long-Term Study on the…
This open access book summarizes the latest scientific findings regarding the biological effects of the Fukushima Daiichi Nuclear Power Plant (FNPP) accident in 2011. Various cases of changes in animals and organisms have been reported since the FNPP accident. However, it is often unknown whether they are actually due to radiation, since the dose or dose-rate are not necessarily associated w…
- Edition
- 1
- ISBN/ISSN
- 9789811382185
- Collation
- XV, 264 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 33rd European Symposium on Programming, ES…
Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih d…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57262-3
- Collation
- 1 online resource (XVI, 340 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 WEI p
Collaborative Curriculum Design for Sustainable Innovation and Teacher Learning
This open access book provides insight into what it takes to actively involve teachers in the curriculum design process. It examines different aspects of teacher involvement in collaborative curriculum design, with specific attention to its implications for sustainable curriculum innovation and teacher learning. Divided into six sections, the book starts out by introducing the notion of collabo…
- Edition
- 1
- ISBN/ISSN
- 9783030200626
- Collation
- XII, 424 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
Resilienz als Erfolgsfaktor im Tourismus: Beiträge aus Wissenschaft und Prax…
Dies ist ein Open-Access-Buch. Resilienz ist heute eines der zentralen Zukunftsthemen im Tourismus. Unter den Bedingungen anhaltender Krisenlagen und rasanter Veränderungsprozesse sind Fragen der Widerstands- und Anpassungsfähigkeit immer stärker in den Mittelpunkt gerückt. Was widerstandsfähigere Destinationen und touristische Akteure genauer auszeichnet und wie die notwendige Transfor…
- Edition
- -
- ISBN/ISSN
- 9783503212606
- Collation
- -
- Series Title
- 2
- Call Number
- -
Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R : A Work…
Partial least squares structural equation modeling (PLS-SEM) has become a standard approach for analyzing complex inter-relationships between observed and latent variables. Researchers appreciate the many advantages of PLS-SEM such as the possibility to estimate very complex models and the method’s flexibility in terms of data requirements and measurement specification. This practical open…
- Edition
- 1
- ISBN/ISSN
- 9783030805197
- Collation
- XIV, 197 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
People or Property: Legal Contradictions, Climate Resettlement, and the View …
This open access book explores the intersection of property law, relocation, and resettlement processes in the United States and among communities that grapple with migration as an adaptation strategy. As communities face the prospect of relocating because of rising seas, policy makers, disaster specialists, and community leaders are scrambling to understand what adaptation pathways are legally…
- Edition
- -
- ISBN/ISSN
- 978-3-031-36872-1
- Collation
- XXI, 242
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography