Wyniki wyszukiwania:

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

John Brinckerhoff Jackson has theorized the vernacular landscape as one that reflects a way of life guided by tradition and custom, distanced from the larger world of politics and law. The quotidian space is shaped by the everyday culture of its inhabitants. In Place and Ideology in Contemporary Hebrew Literature, Grumberg sets anchor in this and other contemporary theories of space and place, then embarks on subtle close readings of recent Israeli fiction that demonstrate how literature in practice can complicate those discourses. Literature in Israel over the past twenty-five years tends...

Winner of seven Molieres, the Pulitzer Prize of France, Jean-Claude Grumberg is one of France's leading dramatists and a distinguished voice of modern European Jewry after the Shoah. His success in portraying contemporary Parisian Jews on the stage represents a new development in European theater and a new aesthetic expression of European Jewish experience and sensibility of the Holocaust and its aftermath, a perspective quite different from either the American or the Israeli one. Grumberg's Jews are French to their fingertips, yet they have been made more consciously Jewish by the war and...