Refine your search

Your search returned 1659 results.

|
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 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 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

11.
Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design [Recurso electrónico] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27.

by Smith, Michael J | Salvendy, Gavriel | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

15.
Term Rewriting and Applications [Recurso electrónico] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.

by Baader, Franz | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

17.
Computing and Combinatorics [Recurso electrónico] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings / edited by Guohui Lin.

by Lin, Guohui | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

19.
ECOOP 2007 - Object-Oriented Programming [Recurso electrónico] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst.

by Ernst, Erik | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

Powered by Koha