Seems you have not registered as a member of localhost.saystem.shop!
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.
The Roman Martyrs
The Roman Martyrs contains translations of forty Latin passiones of saints who were martyred in Rome or its near environs, during the period before the "peace of the Church" (c. 312). Some of the Roman martyrs are universally known-SS. Agnes, Sebastian or Laurence, for example-but others are scarcely recognized outside the ecclesiastical landscape of Rome itself. Each of the translated passiones is accompanied by an individual introduction and commentary; the translations are preceded by an Introduction which describes the principal features of this little-known genre of Christian literature, and are followed by five Appendices which present translated texts which are essential for understan...
Holy Men and Holy Women
This is a collection of essays on the literature of "saints' lives" in Anglo-Saxon literature.
The Birth of a Stereotype
Presenting the image of Poland created in Germany in the earliest period of existence of the Piast state (963-1034) this book identifies its context and describes the political and cultural relation between the Polish rulers and German élites of that time.
The Old English Martyrology
New edition with facing-page translation of a highly significant and influential Old English text.
Automated Reasoning
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter ‘Constructive Hybrid Games’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Recent Trends in Applied Artificial Intelligence
This volume constitutes the thoroughly refereed conference proceedings of the 26th International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2013, held in Amsterdam, The Netherlands, in June 2013. The total of 71 papers selected for the proceedings were carefully reviewed and selected from 185 submissions. The papers focus on the following topics: auctions and negotiation, cognitive modeling, crowd behavior modeling, distributed systems and networks, evolutionary algorithms, knowledge representation and reasoning, pattern recognition, planning, problem solving, robotics, text mining, advances in recommender systems, business process intelligence, decision support for safety-related systems, innovations in intelligent computation and applications, intelligent image and signal processing, and machine learning methods applied to manufacturing processes and production systems.
The Olive
The European or Mediterranean cultivated olive (Olea europaea L., subsp. europaea, var. europaea) is an ancient crop notable for its early domestication. Today, hundreds of olive varieties are grown to produce high-quality fruit for oil and table olives for human consumption. Over the last 30 years, the olive industry has undergone profound innovation due to scientific and technical advances, particularly in genomics, breeding, orchard management, mechanization and agro-ecology. Not all these developments are currently available to smaller producers. Outside the Mediterranean Basin, where it has been present for over 6,000 years, olive cultivation has spread to many other countries. These new olive-growing areas are helping further the expansion of the industry, due to increased awareness of the nutritional and health properties of extra virgin olive oil. The Olive: Botany and Production is an invaluable resource for researchers and students in horticulture and agriculture, in addition to producers involved in olive orchard management.
