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
- -
Memory before Modernity; Practices of Memory in Early Modern Europe
Banyak mahasiswa memori berasumsi bahwa praktik memori berubah secara dramatis sekitar tahun 1800; volume ini menunjukkan bahwa ada banyak kontinuitas serta perubahan. Cara-cara pra-modern dalam menegosiasikan ingatan tentang rasa sakit dan kehilangan, misalnya, memang sangat berbeda dengan yang ada di Barat modern. Namun dengan memeriksa praktik memori dan menarik bukti dari Inggris, Prancis, …
- Edition
- -
- ISBN/ISSN
- 9789004261259
- Collation
- online resource ( XX, 340 Pages)
- Series Title
- Studi tentang Tradisi Abad Pertengahan dan Reformasi
- Call Number
- 940.2 KUI m
Memory and Identity in the Learned World; Community Formation in the Early Mo…
Memori dan Identitas dalam Dunia Pembelajaran menawarkan akun yang rinci dan bervariasi tentang pembentukan komunitas di dunia belajar dan sains awal modern. Buku ini melacak bagaimana identitas kolektif, memori institusional, dan cara pengingat membantu membentuk komunitas ilmiah dan belajar. Studi kasus dalam buku ini menganalisis bagaimana komunitas ilmu pengetahuan dan individu mempersembah…
- Edition
- -
- ISBN/ISSN
- 9789004507159
- Collation
- online resource ( XVI, 349 Pages)
- Series Title
- Persimpangan
- Call Number
- 509.4 SCH m
Medieval Mount Athos between Wealth and Poverty
Studi yang dikumpulkan ini didedikasikan untuk pusat monastik Ortodoks di Gunung Athos selama Abad Pertengahan menggambarkan gambaran yang menarik tentang komunitas monastik di Gunung Suci sebagai pelaku ekonomi. Kepemilikan arsip yang kaya di Gunung Athos memungkinkan baik untuk pengamatan mendetail terhadap aktivitas ekonomi maupun penelusuran tren jangka panjang. Tidak hanya biara Hagiorite …
- Edition
- -
- ISBN/ISSN
- 9789004712126
- Collation
- online resource ( XII, 308 Pages)
- Series Title
- Laut Tengah pada Zaman Pertengahan
- Call Number
- 949.502 CHI m
Women and Gender in the Early Modern Low Countries, 1500 - 1750
Women and Gender in the Early Modern Low Countries, 1500-1750 brings together research on women and gender across the Low Countries, a culturally contiguous region that was split by the Eighty Years' War into the Protestant Dutch Republic in the North and the Spanish-controlled, Catholic Hapsburg Netherlands in the South. The authors of this interdisciplinary volume highlight women’s experie…
- Edition
- -
- ISBN/ISSN
- 9789004391352
- Collation
- 346 hlm; ill., lamp.,
- Series Title
- Studies in Medieval and Reformation Traditions, Volume: 217
- Call Number
- -
Witchcraft, Gender and Society in Early Modern Germany
Recent witchcraft historiography, particularly where it concerns the gender of the witch-suspect, has been dominated by theories of social conflict in which ordinary people colluded in the persecution of the witch sect. The reconstruction of the Eichstätt persecutions (1590-1631) in this book shows that many witchcraft episodes were imposed exclusively ‘from above’ as part of a programme o…
- Edition
- -
- ISBN/ISSN
- 9789047420552
- Collation
- 316 hlm; ill., lamp.,
- Series Title
- Studies in Medieval and Reformation Traditions, Volume:
- Call Number
- -
Verse and Transmutation : A Corpus of Middle English Alchemical Poetry (Criti…
Verse and Transmutation: A Corpus of Middle English Alchemical Poetry identifies and investigates a corpus of twenty-one anonymous recipes for the philosophers’ stone dating from the fifteenth century. These were circulated and received in association with each other until the mid-seventeenth century, when a number of them appeared in Elias Ashmole’s Theatrum Chemicum Britannicum. These …
- Edition
- -
- ISBN/ISSN
- 9789004254831
- Collation
- 390 hlm; ill., lamp.,
- Series Title
- Medieval and Early Modern Philosophy and Science, Volume: 21
- Call Number
- -
Microhistories of Technology
In this open access book, Mikael Hård tells a story of how people around the world challenged the production techniques and products brought by globalization. Retaining their autonomy and freedom, creative individuals selectively adopted or rejected modern gadgets, tools, and machines. In standard historical narratives, globalization is portrayed as an unstoppable force that flattens all obsta…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-22813-1
- Collation
- oer.unej.ac.id
- Series Title
- Palgrave Studies in the History of Science and Technology
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography