Refine your search

Your search returned 118 results. Subscribe to this search

|
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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha