|
|
1.
|
Physics and chemistry of mineralsh
 Revista; Format: impreso
Publication:
Berlín, Germany :
Ed. Springer Verlag GMbh-Co
Availability:
No items available:
|
|
|
2.
|
Introductory operations research :
theory and applications /
H.S. Kasana, Krishna D. Kumar
by Kasana, Harvir Singh
 Libro; Format: impreso
Publication:
Berlin :
Springer Verlag Gmbh & Co.kg,
2004
Physical description:
XI, 581 p. ;
24 cm
Availability:
Items available:
02. BIBLIOTECA CAMPUS PUERTO REAL
[519.8/KAS/int]
(1),
02. BIBLIOTECA CAMPUS PUERTO REAL
[311/KAS/int]
(2),
|
|
|
3.
|
Embedded robotics :
mobile robot design and applications with embedded systems /
Thomas Braünl
by Braünl, Thomas
Libro; Format: impreso
Publication:
[S.l.] :
Springer Verlag Gmbh & Co.Kg,
2003
Physical description:
434 p.
Availability:
Items available:
03. BIBLIOTECA INGENIERÍA PUERTO REAL
[681.5/BRA/emb]
(1),
|
|
|
4.
|
Embedded robotics :
mobile robot design and applications with embedded systems /
Thomas Braünl
by Braünl, Thomas
Libro; Format: impreso
Publication:
[S.l.] :
Springer Verlag Gmbh & Co.Kg,
2006
Physical description:
XIII, 458 p.
Availability:
Items available:
02. BIBLIOTECA CAMPUS PUERTO REAL
[681.5/BRA/emb]
(1),
|
|
|
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.
by Chen, Zhengxin.
 Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Malenfant, Jacques.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Lim, Chae Hoon.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Priami, Corrado.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Bertino, Elisa.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Shenker, Scott.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
11.
|
Inconsistency Tolerance
[Recurso electrónico] /
edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.
by Bertossi, Leopoldo.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Giorgini, Paolo.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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
by Barthe, Gilles.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Sahin, Erol.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Cousot, Radhia.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Blundo, Carlo.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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
by Bieliková, Maria.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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
by Domaratzki, Michael.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Cardoso, Jorge.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
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.
by Cabeza, Daniel.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
