Biblioteca UCA catalog › Results of search for 'se,phr:"Lecture Notes in Computer Science,"'

	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. Place hold Log in to add tags Add to cart (remove)
	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. Place hold Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)
	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; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	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 Log in to add tags Add to cart (remove)

Biblioteca UCA

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages