You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and application advances in the area. This volume contains the papers accepted for presentation at the 15th Inter- tional Static Analysis Symposium (SAS 2008), which was held July 16–18, 2008, in Valencia, Spain. The previous SAS conferences were held in Kongens Lyngby, D- mark (2007), Seoul, South Korea (2006), London, UK (2005), Verona, Italy (2004), Sa...
This book constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on types; program analysis and transformation; foundations; logic programming; evaluation and normalization; term rewriting; and parallelism and control.
Gampel investigates the anti-Jewish riots in 1391-2 in the lands of Castile and Aragon.
Hoewel velen dol zijn op de Japanse cultuur, zijn maar weinigen bekend met de Japanse mythen. In dit boek gidst Joshua Frydman de lezer door de rijke traditie van de Japanse mythologie, van de vroegst opgetekende legenden over goden en hun nakomelingen en de schepping van het land tot de hedendaagse reïncarnatie van oude godheden in de helden van de anime. Mythologie is een levend onderdeel van de Japanse samenleving. Japanse mythen vertelt niet alleen de oude verhalen opnieuw, maar beschouwt ook hun plaats binnen de religies, cultuur en geschiedenis, zodat de lezer de diepe banden tussen heden en verleden in Japan kan begrijpen.
Este livro é uma introdução à mitologia japonesa, abrangendo uma ampla gama de tópicos, incluindo a criação do mundo, os deuses, os espíritos e as histórias de heroínas e heróis japoneses. Escrita de forma acessível e envolvente, a obra inclui ilustrações e mapas, além de ressaltar o papel da mitologia na cultura japonesa moderna, e como ela continua a ser uma fonte de inspiração para artistas, escritores e cineastas.
In Sexuality in the Confessional: A Sacrament Profaned, Stephen Haliczer places the current debate on sex, celibacy, and the Catholic Church in a historical context by drawing upon a wealth of actual case studies and trial evidence to document how, from 1530 to 1819, sexual transgression attended the heightened significance of the Sacrament of Penance. Attempting to reassert its moral and social control over the faithful, the Counter-Reformation Church underscored the importance of communion and confession. Priests were asked to be both exemplars of celibacy and "doctors of souls," and the Spanish Inquisition was there to punish transgressors. Haliczer relates the stories of these priests as...
The Cambridge Prehistory of the Bronze and Iron Age Mediterranean offers new insights into the material and social practices of many different Mediterranean peoples during the Bronze and Iron Ages, presenting in particular those features that both connect and distinguish them. Contributors discuss in depth a range of topics that motivate and structure Mediterranean archaeology today, including insularity and connectivity; mobility, migration, and colonization; hybridization and cultural encounters; materiality, memory, and identity; community and household; life and death; and ritual and ideology. The volume's broad coverage of different approaches and contemporary archaeological practices will help practitioners of Mediterranean archaeology to move the subject forward in new and dynamic ways. Together, the essays in this volume shed new light on the people, ideas, and materials that make up the world of Mediterranean archaeology today, beyond the borders that separate Europe, Africa, and the Middle East.
Reproduction of the original: Records of the Spanish Inquisition by Andrew Dickson White