Results
|
|
5561.
|
|
|
|
5562.
|
|
|
|
5563.
|
Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Series: Lecture Notes in Computer Science ; 5324
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 B34 2008 .
|
|
|
5564.
|
|
|
|
5565.
|
GeoSpatial Semantics [electronic resource] : First International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005. Proceedings / edited by M. Andrea Rodríguez, Isabel Cruz, Sergei Levashkin, Max J. Egenhofer. by Series: Lecture Notes in Computer Science ; 3799
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75 R63 2005.
|
|
|
5566.
|
Pattern Recognition and Image Analysis [electronic resource] : Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II / edited by Jorge S. Marques, Nicolás Pérez de la Blanca, Pedro Pina. by Series: Lecture Notes in Computer Science ; 3523
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1650 M37 2005.
|
|
|
5567.
|
|
|
|
5568.
|
|
|
|
5569.
|
|
|
|
5570.
|
|
|
|
5571.
|
High Performance Embedded Architectures and Compilers [electronic resource] : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings / edited by Tom Conte, Nacho Navarro, Wen-mei W. Hwu, Mateo Valero, Theo Ungerer. by Series: Lecture Notes in Computer Science ; 3793
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 C66 2005.
|
|
|
5572.
|
Current Topics in Artificial Intelligence [electronic resource] : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers / edited by Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos. by Series: Lecture Notes in Computer Science ; 4177
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 M37 2006.
|
|
|
5573.
|
|
|
|
5574.
|
|
|
|
5575.
|
|
|
|
5576.
|
|
|
|
5577.
|
Reviews of Physiology, Biochemistry and Pharmacology [electronic resource] / edited by S. G. Amara, E. Bamberg, M. P. Blaustein, H. Brunicke, R. Jahn, W. J. Lederer, A. Miyahima, H. Murer, S. Offermanns, N. Pfanner, G. Schultz, M. Schweiger. by
- Amara, S. G
- Bamberg, E
- Blaustein, M. P
- Brunicke, H
- Jahn, R
- Lederer, W. J
- Miyahima, A
- Murer, H
- Offermanns, S
- Pfanner, N
- Schultz, G
- Schweiger, M
- SpringerLink (Online service)
Series: Reviews of Physiology, Biochemistry and Pharmacology ; 153
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH301 R49 2005.
|
|
|
5578.
|
|
|
|
5579.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / edited by Jürgen Dix, João Leite. by Series: Lecture Notes in Computer Science ; 3259
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 D59 2005.
|
|
|
5580.
|
|