Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /

STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings /

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 /

Computer communications : A short course presented by the American Mathematical Society, in conjunction with its 89th annual meeting, on January 3 and 4, at Denver, Colorado

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /

Cours complet de pedagogie et de methodologie : rédigé conformément au programme d'études officiel des écoles et sections normales primaires / by Braun, Thomas, 1814-1906

Fifth international conference on sarcoidosis : xiv th scientific conference of the medical Faculty of Charles University.Prague, Karolinam, June 16-21, 1969 / by Levinsky, Ladislav

El debate Brenner : estructura de clases agraria y desarrollo económico en la Europa preindustrial /

Subjects: “…Aston, T.H.…”

Crítica de la cultura y sociedad. Obra completa, 10/1 ; primas ; sin imagen directriz / by Adorno, Th. W.

Cinque film : seguiti da tutti gli scritti sul cinema / by Dreyer, Carl Theodor, 1889-1968

Obras para piano de Honorio Siccardi : música argentina siglo XX = Work for piano of Honorio Siccardi : Argentine music : 20th. century / by Otero de Scolaro, Ana María, 1943-

“…Work for piano of Honorio Siccardi : Argentine music : 20th. century…”

On the reappraisal of Keynesian economics : a revised and extended version of a university special lecture delivered at Queen Mary College in the University of London on 7th December 1970 / by Hines, A. G. (Albert Gregorio), 1935-

Cours de droit administratif et de législation française des finances : avec introduction de droit constitutionnel et les principes du droit public / by Ducrocq, Théophile Gabriel Auguste, 1829-1913

Tomo 2

Compendium of food additive specifications. Volume 1 : Combined specifications from 1st through 37th Meetings 1956 - 1990 /

Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II /

Quantum inversion theory and applications : proceedings of the 109th W. E. Heraus seminar held at Bad Honnef, Germany, may 17-19, 1993 /

Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings /

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

Theory of functions and related questions of analysis : proceedings of a conference on function theory honoring the 80th birthday of Academician Sergeĭ Mikhaĭlovich Nikolʹskiĭ : collection of papers /