Refine your search

Your search returned 31 results. Subscribe to this search

|
21. Computer Safety, Reliability, and Security (vol. # 4166) [Recurso electrónico] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings edited by Janusz Górski. by Górski, Janusz. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Log in to add tags. Add to cart
22. Formal Techniques for Networked and Distributed Systems - FORTE 2006 [Recurso electrónico] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véroniq by Najm, Elie. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

23. Cryptographic Hardware and Embedded Systems - CHES 2006 [Recurso electrónico] / 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings edited by Louis Goubin, Mitsuru Matsui. by Goubin, Louis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

24. Programming Languages and Systems (vol. # 4279) [Recurso electrónico] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings edited by Naoki Kobayashi. by Kobayashi, Naoki. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

25. Distributed Applications and Interoperable Systems [Recurso electrónico] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

26. Formal Methods for Open Object-Based Distributed Systems [Recurso electrónico] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

27. Cryptographic Hardware and Embedded Systems - CHES 2007 [Recurso electrónico] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Paillier, Pascal. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

28. Computer Safety, Reliability, and Security [Recurso electrónico] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster. by Saglietti, Francesca. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

29. NASA Formal Methods [Recurso electrónico] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Goodloe, Alwyn E. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

30. Fundamentals of Software Engineering [Recurso electrónico] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

31. Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha