Refine your search

Your search returned 5 results. Subscribe to this search

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

Log in to add tags. Add to cart
2. 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:

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

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

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

Powered by Koha