Studies in automatic programming logic / by Manna, Zohar, 1939-

The deductive foundations of computer programming / by Manna, Zohar

The temporal logic of reactive and concurrent systems / by Manna, Zohar

Publisher description

Temporal verification of reactive systems : safety / by Manna, Zohar

The calculus of computation : decision procedures with applications to verification / by Bradley, Aaron R.

Table of contents
Publisher description

Histoire secrète de la Guerre des six jours / by Bar-Zohar, Michael, 1938-

Una historia en Chicago / by Morris, Ira

Manual instructivo para la planificación predial : a traves del método de planificación programado / by Zohar, Menejem

Enigma : (La vinght-huitième Enigma) / by Bar-Zohar, Michael 1938

Retrato de un silencio fallido = Portrait of a failed silence / by Koizumi, Meiro, 1976-

Las formas del zen : y otros ensayos sobre el zen y la experiencia espiritual / by Watts, Alan, 1915-1973

El Espíritu del zen : una forma de vida, de trabajo y de arte en el Lejano Oriente / by Watts, Alan, 1915-1973

Made in Norway : Norwegian architecture today /

Table of Contents: “…Outdoor Fireplace. trondheim. Haugen / Zohar Arkitekter. 2009 --…”

Las grandes tendencias de la mística judía / by Scholem, Gershom Gerhard, 1897-1982

Table of Contents: “…Primera conferencia: Características generales del misticismo judío -- Segunda conferencia: El misticismo de la Merkabá y el gnosticismo judío -- Tercera conferencia: El hasidismo en la Alemania medieval -- Cuarta conferencia: Abraham Abulafia y la doctrina de la Cábala profética -- Quinta conferencia: El Zóhar : El libro y su autor -- Sexta conferencia: El Zóhar : La doctrina teosófica del Zóhar -- Septima conferencia: Yitshac Luria y su escuela -- Octava conferencia: Shabetísmo y herejía mística -- Novena conferencia: El hasidismo : la última etapa.…”

Strategies of knowledge acquisition /

Cábala y deconstrucción /

Table of Contents: “…La hermenéutica de la experiencia visionaria : revelación e interpretación en el Zohar / Elliot R. Wolfson. Sobre algunos motivos judíos en Benjamin / Irving Wolfson. …”

El tesoro interior : grandes maestros de la tradición occidental / by Satz, Mario, 1944-

Table of Contents: “…Ascética y mística -- El número siete en las Moradas de Santa Teresa de Avila -- San Juan de la Cruz y la sabiduría del corazón -- San Francisco de Asís y la alegría natural -- Ramón Llullio y el sentimiento de lo maravilloso -- Ibs Arabí de Murcia y la función de la memoria -- Rabí Moisés de león, el Zohar y la Kábala castellana -- Meister Eckhart y la no-dualidad -- Naturaleza, poesía y realidad místicas -- El libro del universo.…”

The translation studies reader /

Table of Contents: “…George Steiner, The Hermeneutic Motion -- 14. Itamar Even-Zohar, The Position of Translated Literature within the Literary Polysystem -- 15. …”