Refine your search

Your search returned 126 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.

Lim, Chae Hoon | Yung, Moti | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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

Barthe, Gilles | Burdy, Lilian | Huisman, Marieke | Lanet, Jean-Louis | Muntean, Traian | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Murray-Smith, Roderick | Shorten, Robert | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Wiil, Uffe Kock | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

5. Embedded Systems Design [Recurso electrónico] / The ARTIST Roadmap for Research and Development edited by Bruno Bouyssounouse, Joseph Sifakis.

Bouyssounouse, Bruno | Sifakis, Joseph | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Morari, Manfred | Rossi, Francesca | Thiele, Lothar | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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

Bernardo, Marco | Bogliolo, Alessandro | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Dal Cin, Mario | KaÃØniche, Mohamed | Pataricza, András | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Gellersen, Hans W | Schmidt, Albrecht | Want, Roy | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Vardanega, Tullio | Wellings, Andy | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Higashino, Teruo | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Elshaw, Mark | Palm, GÃơnther | Wermter, Stefan | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Chollet, Gerard | Esposito, Anna | Faundez-Zanuy, Marcos | Marinaro, Maria | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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

Murakami, Hitomi | Nakashima, Hideyuki | Tokuda, Hideyuki | Yasumura, Michiaki | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Bu, Jiajun | Chen, Chun | Guo, Minyi | Wu, Zhaohui | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Jajodia, Sushil | Wijesekera, Duminda | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Rao, Josyula R | Sunar, Berk | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Dahll, Gustav | Gran, Bjoern Axel | Winther, Rune | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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.

Peled, Doron A | Tsay, Yih-Kuen | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo 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

Chollet, Gérard | Li, Stan Z | Pankanti, Sharath | Sun, Zhenan | Tan, Tieniu | Zhang, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

Powered by Koha