- Inglés 102
- PUBLICACIONES PERIODICAS 37
- ESPAÑOL 33
- Retórica 32
- Diccionario 28
- Historia 28
- Gramática 26
- ESTUDIOS DE CASOS 24
- Museo 23
- Química 23
- Investigación educativa 21
- Vivienda unifamiliar 21
- ANTROPOLOGIA CULTURAL Y SOCIAL 20
- BIOGRAFIAS 20
- Edificio de viviendas 20
- Arquitectura contemporánea 19
- Congresos 19
- Educación en física 19
- Libros de texto 19
- FILOSOFIA 18
- LINGUISTICA 18
- DICCIONARIOS 17
- ECONOMIA 17
- Lógica matemática 17
- CIENCIAS SOCIALES 16
- Mathematical logic 16
- Logics and meanings of programs 15
- Lógica y significado de programas 15
- Teoría de números 15
- ARQUEOLOGIA 14
-
441
Computer vision, ECCV '96 : 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996 : proceedings /
Published 1996Conference Proceeding Book -
442
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings /
Published 1996Conference Proceeding Book -
443
-
444
-
445
-
446
Humus, its structure and role in agriculture and environment : proceedings of the 10th symposium humus et planta, held in Prague, in August 19-23, 1991 /
Published 1992Conference Proceeding Book -
447
-
448
From Cancún to Hong Kong : lessons from the fifth ministerial conference of the World Trade Organization /
Published 2004Subjects: “…MINISTERIAL CONFERENCE OF THE WORLD TRADE ORGANIZATION (5th : 2003 : CANCUN)…”
Book -
449
-
450
-
451
-
452
-
453
Statistical modelling : proceedings of GLIM 89 and the 4th International Workshop on Statistical Modelling held in Trento, Italy, July 17-21, 1989 /
Published 1989Conference Proceeding Book -
454
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings /
Published 2007Restricted to SpringerLink subscribers
Conference Proceeding Book -
455
Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published 2007Publisher description
Conference Proceeding Book -
456
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
457
SILARG VI : proceedings of the 6th Simposio Latino Americano de Relatividad y Garvitation, Rio de Janeiro, Brasil, 13-18 July, 1987 /
Published 1988Conference Proceeding Book -
458
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings /
Published 1995Conference Proceeding Book -
459
-
460
Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings /
Published 1997Conference Proceeding Book