Refine your search

Your search returned 15 results. Subscribe to this search

|
1. Large-Scale Scientific Computing [Recurso electrónico] / 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski. by Lirkov, Ivan. 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. 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:

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

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

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

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

7. Principles of Distributed Systems (vol. # 3974) [Recurso electrónico] / 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer. by Anderson, James H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

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

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

10. Distributed Computing (vol. # 4167) [Recurso electrónico] / 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings edited by Shlomi Dolev. by Dolev, Shlomi. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

11. Large Scale Management of Distributed Systems [Recurso electrónico] / 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings edited by Radu State, by State, Radu. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

12. Rigorous Engineering of Fault-Tolerant Systems [Recurso electrónico] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

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

14. Middleware 2006 [Recurso electrónico] / ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings edited by Maarten van Steen, Michi Henning. by van Steen, Maarten. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

15. Principles of Distributed Systems (vol. # 4305) [Recurso electrónico] / 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings edited by Alexander A. Shvartsman. by Shvartsman, Alexander A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha