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

Neverland for children = Neverland para niños. by Giannotti, Andrea

Table of Contents: “…El significado de fantasía / Andrea Giannotti -- Actividad y educación ecológica para niños : 24H architecture -- La escuela de puente : Li Xiaodong Atelier -- Bosque de Redes : Tezuka Architects -- Chimenea para niños : Haugen / Zohar Artekter -- Casa de Árbol : Nicko Björn Elliott -- Huella del monstruo : MAD.…”

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 /