Refine your search

Your search returned 1068 results.

|
1.
Embedded robotics : mobile robot design and applications with embedded systems / Thomas Braünl

by Braünl, Thomas.

Edition: 2nd ed.Material type: Text 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Powered by Koha