Refine your search

Your search returned 1068 results. Subscribe to this search

|
1. Physics and chemistry of mineralsh

International Mineralogical Association.

Material type: serial Continuing resource; Format: print Publisher: Berlín, Germany : Ed. Springer Verlag GMbh-Co Availability: Items available for reference: 13. HEMEROTECA UCA [Call number: CYT] (72). Location(s): CYT.

Log in to add tags. Add to cart
2. Introductory operations research : theory and applications / H.S. Kasana, Krishna D. Kumar

Kasana, Harvir Singh | Kumar, Krishna Dev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer Verlag Gmbh & Co.kg, 2004Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (3). Location(s): 311/KAS/int.

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

Braünl, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l.] : Springer Verlag Gmbh & Co.Kg, 2003Availability: No items available Checked out (1).

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

Braünl, Thomas.

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

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

11. 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

12. 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

13. 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

14. Swarm Robotics [Recurso electrónico] / SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers edited by Erol Sahin, William M. Spears.

Sahin, Erol | Spears, William 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

15. 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.

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

16. Security in Communication Networks [Recurso electrónico] / 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers edited by Carlo Blundo, Stelvio Cimato.

Blundo, Carlo | Cimato, Stelvio | 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. SOFSEM 2005: Theory and Practice of Computer Science [Recurso electrónico] / 31st Conference on Current Trends in Theory and Practice of Computer Science, LiptovskÃư Ján, Slovakia, January 22-28, 2005, Proceedings edited by Maria Bieliková, C

Bieliková, Maria | Charon-Bost | SÃưkora, Ondrej | Vojtás, Peter | 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. 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

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

19. Semantic Web Services and Web Process Composition [Recurso electrónico] / First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers edited by Jorge Cardoso, Amit Sheth.

Cardoso, Jorge | Sheth, Amit | 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. Practical Aspects of Declarative Languages (vol. # 3350) [Recurso electrónico] / 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings edited by Daniel Cabeza, Manuel Hermenegildo.

Cabeza, Daniel | Hermenegildo, Manuel | 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