Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Big Cats
  • Language: en
  • Pages: 26

Big Cats

Learn basic art techniques and interesting facts while drawing big cats. Perfect for illustrated reports.

Crisis in Early Religion
  • Language: en
  • Pages: 202

Crisis in Early Religion

Religion is closely linked to social development as it often serves as the ideological fundament of a society and one of the foremost expressions of its culture. The articles in this volume are devoted to the study of religious crisis in Anqituity and deal with these pheonomena in the Ancient Near East, Rome, Greece, China and India.

Automata, Languages and Programming
  • Language: en
  • Pages: 1272

Automata, Languages and Programming

This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory.

The Religious Aspects of War in the Ancient Near East, Greece, and Rome
  • Language: en
  • Pages: 439

The Religious Aspects of War in the Ancient Near East, Greece, and Rome

  • Type: Book
  • -
  • Published: 2016-07-11
  • -
  • Publisher: BRILL

The Religious Aspect of Warfare in the Ancient Near East, Greece and Rome is a volume dedicated to investigating the relationship between religion and war in antiquity in minute detail. The nineteen chapters are divided into three groups: the ancient Near East, Greece, and Rome. They are presented in turn and all possible aspects of warfare and its religious connections are investigated. The contributors focus on the theology of war, the role of priests in warfare, natural phenomena as signs for military activity, cruelty, piety, the divinity of humans in specific martial cases, rituals of war, iconographical representations and symbols of war, and even the archaeology of war. As editor Krzysztof Ulanowski invited both well-known specialists such as Robert Parker, Nicholas Sekunda, and Pietro Mander to contribute, as well as many young, talented scholars with fresh ideas. From this polyphony of voices, perspectives and opinions emerges a diverse, but coherent, representation of the complex relationship between religion and war in antiquity.

Elements of Finite Model Theory
  • Language: en
  • Pages: 320

Elements of Finite Model Theory

Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.

Foundations of Information and Knowledge Systems
  • Language: en
  • Pages: 341

Foundations of Information and Knowledge Systems

  • Type: Book
  • -
  • Published: 2006-01-20
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory.

Sparta's First Attic War
  • Language: en
  • Pages: 302

Sparta's First Attic War

A “provocative, intriguing and cogently argued” exploration of the collapse of the Spartan-Athenian alliance (David Stuttard, Classics for All). During the Persian Wars, Sparta and Athens worked in tandem to defeat what was, in terms of relative resources and power, the greatest empire in human history. For the decade and a half that followed, they continued their collaboration until a rift opened and an intense, strategic rivalry began. In a continuation of his series on ancient Sparta, noted historian Paul Rahe examines the grounds for their alliance, the reasons for its eventual collapse, and the first stage in an enduring conflict that would wreak havoc on Greece for six decades. Thr...

Earth
  • Language: en
  • Pages: 34

Earth

There is no denying that the earth is a beautiful place with its oceans, mountains, deserts, and plains, but there is even more to discover and appreciate when we take a closer look at it. Earth’s composition, resources, and other stimulating topics are discussed with clear language and kid-friendly illustrations that will help readers see the world around them in a scientific light.

Russian Foreign Policy Debates and the Conflicts in Georgia (1991–2008)
  • Language: en
  • Pages: 211

Russian Foreign Policy Debates and the Conflicts in Georgia (1991–2008)

Russian Foreign Policy Debates and the Conflicts in Georgia (1991–2008): Between Multilateralism and Unilateralism discusses the conflicts and crises in the former Soviet space from a historical perspective and reconstructs the often-contradictory approaches of public actors in Russia on how to deal with them. Notably, it inquires whether the actions suggested follow a “multilateral” approach—one based on pluralist decisions and international law—or, on the opposite, a “unilateral” one—concentrating exclusively on Russia’s own national interests, to the detriment of commonly agreed-on international rules. The case of Georgia, from the disintegration of the Soviet Union in 1...

Logic Programming and Automated Reasoning
  • Language: en
  • Pages: 408

Logic Programming and Automated Reasoning

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".