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

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 --…”

Emerging architecture.

Subjects: Ver Architectural Review no. 1354

Emerging architecture / by Oshima, Ken Tadashi

Subjects:

Obra mínima = 50 small works / by Fernández-Galiano, Luis A. 1950-

Table of Contents: “…. -- Aula infantil, Trondheim (Noruega) / Haugen Zohar Arkitekter. -- Escuela puente, Fujian (China) / Li Xiaodong Atelier. -- Aula-taller, Burdeos (Francia) / Pascale de Tourdonnet/L'Atelier Provisoire. -- Biblioteca al aire libre, Magdeburgo (Alemania) / Karo Architekten. -- Capillas: el culto: Capilla de Santa Columbina, Gimonde (Portugal) / Luis Ferreira Rodrigues. -- Capilla de madera, Tarnów (Polonia) / Beton. …”

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. …”

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. …”