|
|
1.
|
Physics and chemistry of mineralsh International Mineralogical Association. Material type:  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.
|
|
|
2.
|
Introductory operations research : theory and applications / H.S. Kasana, Krishna D. Kumar Kasana, Harvir Singh | Kumar, Krishna Dev. Material type:  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; 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; 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; Format:
electronic
available online
 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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
