You may have to Search all our reviewed 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.
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.
A classic by a world-renowned teacher and master equestrian--the definitive work on the art of teaching and riding the hunter seat, now updated to include refinements in Morris's insightful program of riding instruction. B & W photographs throughout
Gampel investigates the anti-Jewish riots in 1391-2 in the lands of Castile and Aragon.
Brings together - for the first time in the English language - the most influential Performance Horse stallions in all Europe's major breeding areas, from France to Scandinavia, through Germany, Holland and Belgium over the past 50 years.
Copper Plate Photogravure describes in comprehensive detail the technique of traditional copper plate photogravure as would be practiced by visual artists using normally available facilities and materials. Attention is paid to step-by-step guidance through the many stages of the process. A detailed manual of technique, Copper Plate Photogravure also offers the history of the medium and reference to past alternative methods of practice. Copper Plate Photogravure: Demystifying the Process is part of the current revitalization of one of the most satisfyingly beautiful image-making processes. The range of ink color and paper quality possibilities is endless. The potential for handwork and altera...
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...