|
1.
|
Digital libraries : current issues workshop DL 9̀4 Newark, NJ, USA, May 19-20, 1994 / Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha by Workshop on Digital Libraries (1994. Newark, New Jersey, USA) | Adam, Nabil R | Bhargava, Bharat K | Yesha, Yelena. Material type: Text; Format:
print
Publisher: Berlin : Springer, 1995Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1). Location(s): 04/2-022.
|
|
2.
|
Research and advanced technology for digital libraries : First European Conference, ECDL '97, Pisa, Italy, September 1-3, 1997, proceedings / Carol Peters, Costantino Thanos, (eds.) by European Conference on Digital Libraries (1a. 1997. Pisa) | Peters, Carol | Thanos, C., Costantino. Material type: Text; Format:
print
Publisher: Berlin ; London : Springer, c1997Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1). Location(s): 05/1-015.
|
|
3.
|
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
4.
|
Embedded Software and Systems [Recurso electrónico] / Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings edited by Yann-Hang LeeHeung-Nam Kim, Jong Kim, Yongwan Park et al. by Lee, Yann-Hang | Kim, Heung-Nam | Kim, Jong | Kim, Sung Won | Park, Yongwan | Yang, Laurence T | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available
|
|
5.
|
Computer Supported Cooperative Work in Design III [Recurso electrónico] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers. Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. BarthÃs̈, Qi by Shen, Weiming | BarthÃs̈, Jean-Paul A | Hao, Qi | Lin, Zongkai | Luo, Junzhou | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
6.
|
Web Reasoning and Rule Systems [Recurso electrónico] / First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by Marchiori, Massimo | de Sainte Marie, Christian | Pan, Jeff Z | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available
|
|
7.
|
Computational and Ambient Intelligence [Recurso electrónico] : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007. Proceedings. Francisco Sandoval, Alberto Prieto, Joan Cab by Sandoval, Francisco | Cabestany, Joan | Graña, Manuel | Prieto, Alberto | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
8.
|
Systems Biology and Computational Proteomics [Recurso electrónico] : Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers. Trey Ideker, by Ideker, Trey | Bafna, Vineet | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
9.
|
User Modeling 2007 [Recurso electrónico] : 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings / edited by Cristina Conati, Kathleen McCoy, Georgios Paliouras. by Conati, Cristina | McCoy, Kathleen | Paliouras, Georgios | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
10.
|
Towards Mechanized Mathematical Assistants [Recurso electrónico] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Manuel Kauers, Manfred Kerber, Robert Miner, W by Kauers, Manuel | Kerber, Manfred | Miner, Robert | Windsteiger, Wolfgang | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
11.
|
|
|
12.
|
Data Management. Data, Data Everywhere [Recurso electrónico] : 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007. Proceedings / edited by Richard Cooper, Jessie Kennedy. by Cooper, Richard | Kennedy, Jessie | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
13.
|
Automata, Languages and Programming [Recurso electrónico] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki. by Arge, Lars | Cachin, Christian | Jurdzinski, Tomasz | Tarlecki, Andrzej | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
14.
|
Algebraic Biology [Recurso electrónico] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia. by Anai, Hirokazu | Horimoto, Katsuhisa | Kutsia, Temur | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
15.
|
|
|
16.
|
Product-Focused Software Process Improvement [Recurso electrónico] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings / edited by JÃơrgen MÃơnch, Pekka Abrahamsson. by MÃơnch, JÃơrgen | Abrahamsson, Pekka | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
17.
|
|
|
18.
|
Unconventional Computation [Recurso electrónico] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings / edited by Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham. by Akl, Selim G | Calude, Cristian S | Dinneen, Michael J | Rozenberg, Grzegorz | Wareham, H. Todd | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
19.
|
|
|
20.
|
Conceptual Structures: Knowledge Architectures for Smart Applications [Recurso electrónico] : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings. Uta Priss, Simon Polovina, Ric by Priss, Uta | Hill, Richard | Polovina, Simon | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|