Refine your search

Your search returned 28 results. Subscribe to this search

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

Log in to add tags. Add to cart
2. Multiparadigm Programming in Mozart [Recurso electrónico] / Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers edited by Peter Van Roy. by Van Roy, Peter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

4. Operational Semantics for Timed Systems [Recurso electrónico] / A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems edited by Heinrich Rust. by Rust, Heinrich. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) [Recurso electrónico] / 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings edited by Martin Steffen, Gianluigi Zavattaro. by Steffen, Martin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005 Availability: No items available:

6. Distributed Applications and Interoperable Systems (vol. # 3543) [Recurso electrónico] / 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings edited by Lea Kutvonen. by Kutvonen, Lea. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

7. Foundations of Security Analysis and Design III [Recurso electrónico] / FOSAD 2004/2005 Tutorial Lectures edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. by Aldini, Alessandro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

9. Programming Languages and Systems (vol. # 3780) [Recurso electrónico] / Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings edited by Kwangkeun Yi. by Yi, Kwangkeun. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

10. Trustworthy Global Computing [Recurso electrónico] / International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers edited by Rocco De Nicola, Davide Sangiorgi. by De Nicola, Rocco. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

11. Middleware 2005 [Recurso electrónico] / ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings edited by Gustavo Alonso. by Alonso, Gustavo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

12. Component Deployment [Recurso electrónico] / Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings edited by Alan Dearle, Susan Eisenbach. by Dearle, Alan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

14. Unifying Theories of Programming [Recurso electrónico] / First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers edited by Steve Dunne, Bill Stoddart. by Dunne, Steve. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

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

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

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

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

19. Advanced Topics in Exception Handling Techniques [Recurso electrónico] / edited by Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi. by Dony, Christophe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

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

Powered by Koha