Biblioteca UCA catalog › Results of search for 'Provider:Springer-Verlag GmbH.,'

	1.	Embedded robotics : mobile robot design and applications with embedded systems / Thomas Braünl by Braünl, Thomas. Edition: 2nd ed.Material type: Text; Format: print ; Literary form: Not fiction Publisher: [S.l.] : Springer Verlag Gmbh & Co.Kg, 2006Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1). Location(s): 681.5/BRA/emb. Place hold Log in to add tags Add to cart (remove)
	2.	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)
	3.	Implementation and Application of Automata (vol. # 3317) [Recurso electrónico] / 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa by Domaratzki, Michael \| Okhotin, Alexander \| Salomaa, Kai \| Yu, Sheng \| 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.	Topics in Cryptology -- CT-RSA 2005 [Recurso electrónico] / The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings edited by Alfred John Menezes. by Menezes, Alfred John \| 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)
	5.	Combinatorial Geometry and Graph Theory [Recurso electrónico] / Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano. by Akiyama, Jin \| Baskoro, Edy Tri \| Kano, Mikio \| 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)
	6.	Computer Music Modeling and Retrieval (vol. # 3310) [Recurso electrónico] / Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers edited by Uffe Kock Wiil. by Wiil, Uffe Kock \| 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)
	7.	Machine Learning for Multimodal Interaction (vol. # 3361) [Recurso electrónico] / First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers edited by Samy Bengio, HervÃ© Bourlard. by Bengio, Samy \| Bourlard, HervÃ© \| 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)
	8.	Programming Multi-Agent Systems (vol. # 3346) [Recurso electrónico] / Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El by Bordini, Rafael H \| Dastani, Mehdi \| Dix, JÃơrgen \| Seghrouchni, Amal El Fallah \| 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)
	9.	RoboCup 2004: Robot Soccer World Cup VIII [Recurso electrónico] / edited by Daniele Nardi, Martin Riedmiller, Claude Sammut, JosÃ© Santos-Victor. by Nardi, Daniele \| Riedmiller, Martin \| Sammut, Claude \| Santos-Victor, JosÃ© \| 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)
	10.	Scientific Engineering of Distributed Java Applications [Recurso electrónico] / 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers edited by Nicolas Guelfi, Gianna Reggio, A by Guelfi, Nicolas \| Reggio, Gianna \| Romanovsky, Alexander \| 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)
	11.	Law and the Semantic Web [Recurso electrónico] / Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications edited by Bran Selic, Richard Benjamins, Pompeu Casanovas, Aldo Gangemi. by Selic, Bran \| Benjamins, Richard \| Casanovas, Pompeu \| Gangemi, Aldo \| 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)
	12.	Information Retrieval Technology (vol. # 3411) [Recurso electrónico] / Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers edited by Sung Hyon Myaeng, Kam-Fai Wong, Hong-Jiang Zhang, M by Myaeng, Sung Hyon \| Wong, Kam-Fai \| Zhang, Hong-Jiang \| Zhou, Ming \| 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)
	13.	Membrane Computing (vol. # 3365) [Recurso electrónico] / 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers edited by Giancarlo MauriGheorghe Paun, Mario J. PÃ©rez-JimÃ©nez, Grzegorz Rozenb by Mauri, Giancarlo \| Paun, Gheorghe \| PÃ©rez-JimÃ©nez, Mario J \| Rozenberg, Grzegorz \| Salomaa, Arto \| 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)
	14.	Knowledge Discovery in Inductive Databases (vol. # 3377) [Recurso electrónico] / Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers edited by Bart Goethals, Arno Siebes. by Goethals, Bart \| Siebes, Arno \| 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)
	15.	Formal Approaches to Software Testing (vol. # 3395) [Recurso electrónico] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers edited by Jens Grabowski, Brian Nielsen. by Grabowski, Jens \| Nielsen, Brian \| 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)
	16.	Databases, Information Systems, and Peer-to-Peer Computing [Recurso electrónico] / Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers edited by Wee Siong Ng, Beng Chin Ooi, Aris Ouksel, C by Ng, Wee Siong \| Ooi, Beng Chin \| Ouksel, Aris \| Sartori, Claudio \| 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)
	17.	Multi-Agent and Multi-Agent-Based Simulation [Recurso electrónico] / Joint Workshop MABS 2004 edited by Paul Davidsson, Brian Logan, Keiki Takadama. by Davidsson, Paul \| Logan, Brian \| Takadama, Keiki \| 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)
	18.	Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [Recurso electrónico] / 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings edited by Michael Beigl, Paul Lukowi by Beigl, Michael \| Lukowicz, Paul \| 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)
	19.	Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels by Feitelson, Dror \| Rudolph, Larry \| Schwiegelshohn, Uwe \| 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)
	20.	ZB 2005: Formal Specification and Development in Z and B [Recurso electrónico] / 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne by Henson, Martin \| King, Steve \| Schneider, Steve \| Treharne, Helen \| 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)

Biblioteca UCA

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages