Refine your search

Your search returned 1661 results. Subscribe to this search

|
1. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 proceedings / K.H. Bläsius, U. Hedstück, C.-R. Rollinger (Eds.)

Bläsius, K. H | Hedstück, U | Rollinger, C.-R.

Material type: book Book; Format: print Publisher: Berlin ; London : Springer, 1990Availability: Items available for reference: 07. BIBLIOTECA CIENCIAS SOCIALES [Call number: 681.31/SOR Ficha-Selva, M] (1). Location(s): 681.31/SOR Ficha-Selva, M.

Log in to add tags. Add to cart
2. Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (Ed.)

Miola, A | Goos, G | Hartmanis, J.V | International Symposium DISCO'90 (1o. 1990. Capri).

Material type: book Book; Format: print Publisher: Berlin ; New York : Springer-Verlag, 1990Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES (1). Location(s): 681.31/DES Estante cerrado.

3. Digital libraries : current issues workshop DL 9̀4 Newark, NJ, USA, May 19-20, 1994 / Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha

Workshop on Digital Libraries (1994. Newark, New Jersey, USA) | Adam, Nabil R | Bhargava, Bharat K | Yesha, Yelena.

Material type: book Book; Format: print Publisher: Berlin : Springer, 1995Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES (1). Location(s): 04/2-022.

4. Research and advanced technology for digital libraries : First European Conference, ECDL '97, Pisa, Italy, September 1-3, 1997, proceedings / Carol Peters, Costantino Thanos, (eds.)

European Conference on Digital Libraries (1a. 1997. Pisa) | Peters, Carol | Thanos, C., Costantino.

Material type: book Book; Format: print Publisher: Berlin ; London : Springer, c1997Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES (1). Location(s): 05/1-015.

5. Modern cryptology : a tutorial / Gilles Brassard

Brassard, Gilles.

Material type: book Book; Format: print Publisher: New York ; London : Springer, 1988Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (2). Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 003.23/BRA/mod] (1).
Location(s): Depósito - 003.23/BRA/mod.

6. Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 selected papers / Christian Retore (ed.)

LACL '96 (1996 : Nancy, Francia).

Material type: book Book; Format: print Publisher: Berlin [etc.] : Springer, 1997Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-45/2-084.

7. Advances in case-based reasoning : 5th European workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000 : proceedings / Enrico Blanzieri, Luigi Portinale (eds.).

European Workshop on Case-Based Reasoning ( 2000. Trento, Italy) | Blanzieri, Enrico [] | Portinale, Luigi [].

Material type: book Book; Format: print Publisher: Berlin [etc.] : Springer, 2000Availability: Items available for loan: 08. BIBLIOTECA CAMPUS DE ALGECIRAS (1). Location(s): 681.31.069/EUR.

8. Adaptive hypermedia and adaptive Web-based systems : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 : proceedings / Peter Brusilovsky, Oliviero Stock, Carlo Strapparava (Eds.)

International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems ( 2000. Trento, Italy) | Brusilovsky, Peter | Stock, Oliviero | Strapparava, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlín [etc.] : Springer, cop. 2000Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (2). Location(s): 681.3/INT/ada.

9. Open hypermedia systems and structural computing : 6th international workshop, OHS-6, 2nd international workshop, SC-2, San Antonio, Texas, USA, May 30-June 3, 2000 : proceedings / Siegfried Reich, Kenneth M. Anderson (eds.)

Open Hypermedia Systems ( 6ª. 2000. San Antonio, Texas) | Reich, Siegfried | Anderson, Kenneth M | Structural Computing ( 2º. 2000. San Antonio, Texas).

Material type: book Book; Format: print Publisher: Berlin : Springer, 2000Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1). Location(s): 681.3(063)/OPE/ope.

10. Biosurveillance and Biosecurity [Recurso electrónico] : International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings / edited by Daniel Zeng, Hsinchun Chen, Henry Rolka, Bill Lober

Zeng, Daniel [editor] | Chen, Hsinchun [editor] | Rolka, Henry [editor] | Lober, Bill [editor] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Texto completo Availability: Items available for loan: 14. INTERNET (1). Location(s): Recurso electrónico.

11. Cognitive technology : instruments of mind : 4th International Conference, CI 2001, Warwick, UK, August 6-9, 2001 : Proceedings / Meurig Beynon, Chrystopher L. Nehaniv, Kerstin Dautenhahn (Eds.)

Beynon, Meurig [editor literario] | Nehaniv, Chrystopher L [editor literario] | Dautenhahn, Kerstin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2001Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1). Location(s): Depósito - 681.31/CON.

12. Data Mining and Knowledge Management [Recurso electrónico] / Chinese Academy of Sciences Symposium CASDMKD 2004, Beijing, China, July 12-14, 2004, Revised Paper edited by Zhengxin Chen, Yong Shi, Weixuan Xu.

Chen, Zhengxin | Shi, Yong | Xu, Weixuan | 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

13. Object-Oriented Technology. ECOOP 2004 Workshop Reader [Recurso electrónico] / ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports edited by Jacques Malenfant, Bjarte M. Ãs̃tvold.

Malenfant, Jacques | Ãs̃tvold, Bjarte M | 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

14. Information Security Applications (vol. # 3325) [Recurso electrónico] / 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers edited by Chae Hoon Lim, Moti Yung.

Lim, Chae Hoon | Yung, Moti | 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

15. Global Computing [Recurso electrónico] / IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers edited by Corrado Priami, Paola Quaglia.

Priami, Corrado | Quaglia, Paola | 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

16. Journal on Data Semantics II [Recurso electrónico] / edited by Elisa BertinoSushil Jajodia, Roger B. King, Dennis McLeod et al.

Bertino, Elisa | Jajodia, Sushil | King, Roger B | McLeod, Dennis | Orlowska, Maria E | Spaccapietra, Stefano | Strous, Leon | 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

17. Peer-to-Peer Systems III [Recurso electrónico] / Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers edited by Scott Shenker, Geoffrey M. Voelker.

Shenker, Scott | Voelker, Geoffrey M | 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

18. Inconsistency Tolerance [Recurso electrónico] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.

Bertossi, Leopoldo | Hunter, Anthony | Schaub, Torsten | 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

19. Agent-Oriented Software Engineering V [Recurso electrónico] / 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers edited by Paolo Giorgini, JÃœrg, P. MÃơller, James Odell.

Giorgini, Paolo | MÃơller, JÃœrg, P | Odell, James | 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

20. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [Recurso electrónico] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles BartheLilian

Barthe, Gilles | Burdy, Lilian | Huisman, Marieke | Lanet, Jean-Louis | Muntean, Traian | 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

Powered by Koha