Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

Elements of finite model theory / by Libkin, Leonid

Contributor biographical information
Publisher description
Table of contents only

Graph grammars and their application to computer science /

Mathematics past and present : Fourier integral operators / by Duistermaat, Johannes Jisse, 1942-2010

High-performance computing and networking /

Evolutionary programming VI : 6th international conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997 : proceedings /

Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /

Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /

Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /

Los salvajes : tríptico dramático / by Ghiraldo, Alberto, 1874-1946‏

Texto completo, edición de 1923 [Consulta: 2020/05/24]
Texto completo de la edición de 1928 [Consulta: 2020/05/24]

Kants Werke / Underänderter photomechanischer Abdruck des Textes der von der Preubischen Akademie der Wissenschaften 1902 begonnenen Ausgabe von Kants gesammenlten Schriften. by Kant, Immanuel, 1724-1804

Normen für Übersetzer und technische Autoren / by Baxmann-Krafft, Eva-Maria

La sombra / by Katzenbach, John

El poder de la espada / by Smith, Wilbur

40 architects around 40 = 40 Architekten um die 40 = 40 architectes dans leur 40aine / by Thompson, Jessica Cargill, 1967-

Table of Contents: “…. -- BERGER + PARKKINEN: Nordic Embassies, masterplan, Berlin, Germany. -- Nordic Embassies, Felleshus, Berlin, Germany. -- Ice Stadium, Vienna, Austria. -- WENDELL BURNETTE: Burnette Studio / Residence, Phoenix, Arizona, USA. -- Schall Residence, Phoenix, Arizona, USA. -- Tocker Residence, Phoenix, Arizona, USA. -- CAMENZIND GRÄFENSTEINER: Buchholz sports centre, Uster, Switzerland. -- Siemens Comunications Centre, Zurich, Switzerland. -- ESTUDIO CANO LASSO: SACE laboratories, University of Murcia, Spain. -- House, Ames, Galicia, Spain. -- Covered swimming pool, La Coruña, Spain. -- Museum for the Royal Collections, Madrid, Spain. -- CLAESSON KOIVISTO RUNE: No Picnic offices, Stockholm, Sweden. -- One Happy Cloud restaurant, Stockholm, Sweden. -- Wallinder Apartment, Stockholm, Sweden. -- HENRI COMRIE + 'ORA JOUBERT: Gordon Institute of Business Science, Illovo, Johanesburg, Gauteng, South Africa. -- PFG Glass Centre, Midrand, South Africa. -- Huis Laubscher, Pretoria, South Africa. -- CROSSON CLARKE ARCHITECTS: Crosson Architects office building, Auckland, New Zeland. -- Wilson House, Remuera, Auckland, New Zeland. -- VINCENT VAN DUYSEN: D.B.V.D House, St. …”

Sinfonías Escocesa e Italiana ; Concierto para violín / by Mendelssohn-Bartholdy, Felix, 1809-1847

Link al registro bibliográfico del libro de Félix Mendelssohn : Sinfonías no. 3 y 4.

Dalí : visto por /

Conciertos para piano y orquesta / by Rachmaninoff, Sergei,‏ 1873-1943