Refine your search

Your search returned 11 results. Subscribe to this search

|
1. Global Computing [Recurso electrónico] / IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers edited by Corrado Priami, Paola Quaglia. by Priami, Corrado. 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. Engineering Self-Organising Systems (vol. # 3464) [Recurso electrónico] / Methodologies and Applications edited by Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal. by Brueckner, Sven A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

3. Theory and Applications of Satisfiability Testing (vol. # 3569) [Recurso electrónico] / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

4. Theory and Applications of Satisfiability Testing (vol. # 3542) [Recurso electrónico] / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers edited by Holger H. Hoos, David G. Mitchell. by Hoos, Holger H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Advanced Distributed Systems [Recurso electrónico] / 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers edited by Victor Lrios Rosillo, Felix F. Ramos, Herwig Unger. by Lrios Rosillo, Victor. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

6. Engineering Self-Organising Systems (vol. # 3910) [Recurso electrónico] / Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers edited by Sven A. Brueckner, Giovanni Di Marzo Serugendo, Davi by Brueckner, Sven A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

7. Theory and Applications of Satisfiability Testing - SAT 2006 [Recurso electrónico] / 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings edited by Armin Biere, Carla P. Gomes. by Biere, Armin. 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. Ubiquitous Intelligence and Computing [Recurso electrónico] / Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings edited by Jianhua Ma, Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai. by Ma, Jianhua. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

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

11. Theory and Applications of Satisfiability Testing - SAT 2007 [Recurso electrónico] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings edited by Joao Marques-Silva, Karem A. Sakallah. by Marques-Silva, Joao. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

Powered by Koha