|
|
1.
|
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:
|
|
|
2.
|
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:
|
|
|
3.
|
Switching and Learning in Feedback Systems
[Recurso electrónico] /
European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers
edited by Roderick Murray-Smith, Robert Shorten.
by Murray-Smith, Roderick.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
4.
|
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.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
5.
|
Embedded Systems Design
[Recurso electrónico] /
The ARTIST Roadmap for Research and Development
edited by Bruno Bouyssounouse, Joseph Sifakis.
by Bouyssounouse, Bruno.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
6.
|
Hybrid Systems: Computation and Control (vol. # 3414)
[Recurso electrónico] /
8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
edited by Manfred Morari, Francesca Rossi, Lothar Thiele.
by Morari, Manfred.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
7.
|
Formal Methods for Mobile Computing
[Recurso electrónico] /
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
edit
by Bernardo, Marco.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
8.
|
Dependable Computing - EDCC 2005
[Recurso electrónico] /
5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
edited by Mario Dal Cin, Mohamed KaÃØniche, András Pataricza.
by Dal Cin, Mario.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
9.
|
Pervasive Computing (vol. # 3468)
[Recurso electrónico] /
Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings
edited by Hans W. Gellersen, Albrecht Schmidt, Roy Want.
by Gellersen, Hans W.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
10.
|
Reliable Software Technology - Ada-Europe 2005
[Recurso electrónico] /
10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
edited by Tullio Vardanega, Andy Wellings.
by Vardanega, Tullio.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
11.
|
Principles of Distributed Systems (vol. # 3544)
[Recurso electrónico] /
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
edited by Teruo Higashino.
by Higashino, Teruo.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
12.
|
Biomimetic Neural Learning for Intelligent Robots
[Recurso electrónico] /
Intelligent Systems, Cognitive Robotics, and Neuroscience
edited by Mark Elshaw, GÃơnther Palm, Stefan Wermter.
by Elshaw, Mark.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
13.
|
Nonlinear Speech Modeling and Applications
[Recurso electrónico] /
Advanced Lectures and Revised Selected Papers
edited by Gerard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro.
by Chollet, Gerard.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
14.
|
Ubiquitous Computing Systems (vol. # 3598)
[Recurso electrónico] /
Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers
edited by Hitomi Murakami, Hideyuki Nakashima, Hideyuki Tokuda, Michiaki Yasumur
by Murakami, Hitomi.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
15.
|
Embedded Software and Systems (vol. # 3605)
[Recurso electrónico] /
First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
edited by Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu.
by Bu, Jiajun.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
16.
|
Data and Applications Security XIX
[Recurso electrónico] /
19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings
edited by Sushil Jajodia, Duminda Wijesekera.
by Jajodia, Sushil.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
17.
|
Cryptographic Hardware and Embedded Systems - CHES 2005
[Recurso electrónico] /
7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
edited by Josyula R. Rao, Berk Sunar.
by Rao, Josyula R.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
18.
|
Computer Safety, Reliability, and Security (vol. # 3688)
[Recurso electrónico] /
24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
edited by Gustav Dahll, Bjoern Axel Gran, Rune Winther.
by Dahll, Gustav.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
19.
|
Automated Technology for Verification and Analysis
[Recurso electrónico] /
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
edited by Doron A. Peled, Yih-Kuen Tsay.
by Peled, Doron A.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
20.
|
Advances in Biometric Person Authentication (vol. # 3781)
[Recurso electrónico] /
International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 - 23, 2005, Proceedings
edited by Gérard CholletStan Z. Li, Shar
by Chollet, Gérard.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
