Refine your search

Your search returned 10 results. Subscribe to this search

|
1. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [Recurso electrónico] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers edited by Gilles Barthe, Benj by Barthe, Gilles. 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
2. Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [Recurso electrónico] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

3. Distributed Applications and Interoperable Systems (vol. # 4025) [Recurso electrónico] / 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 edited by Frank Eliassen, Alberto Montresor. by Eliassen, Frank. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

4. Architecting Systems with Trustworthy Components [Recurso electrónico] / International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski. by Reussner, Ralf H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

5. Formal Methods for Components and Objects (vol. # 4111) [Recurso electrónico] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susann by de Boer, Frank S. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

6. Modular Programming Languages [Recurso electrónico] / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings edited by David Lightfoot, Clemens Szyperski. by Lightfoot, David. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

7. 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:

8. 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:

9. 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:

10. 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:

Powered by Koha