Refine your search

Your search returned 10 results. Subscribe to this search

|
1. UML Modeling Languages and Applications [Recurso electrónico] / <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers edited by Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Tov by Jardim Nunes, Nuno. 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. 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:

3. Formal Approaches to Software Testing (vol. # 3395) [Recurso electrónico] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers edited by Jens Grabowski, Brian Nielsen. by Grabowski, Jens. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

4. Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) [Recurso electrónico] / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings edited by Hubert Baumeister, Mike Holcombe, Michele Marc by Baumeister, Hubert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Reliable Software Technology - Ada-Europe 2005 [Recurso electrónico] / 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings edited by Tullio Vardanega, Andy Wellings. by Vardanega, Tullio. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

6. FM 2005: Formal Methods [Recurso electrónico] / International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

7. ECOOP 2005 - Object-Oriented Programming [Recurso electrónico] / 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings edited by Andrew Black. by Black, Andrew. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

9. Model Driven Engineering Languages and Systems (vol. # 3713) [Recurso electrónico] / 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings edited by Lionel Briand, Clay Williams. by Briand, Lionel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

10. Generative Programming and Component Engineering [Recurso electrónico] / 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings edited by Robert GlÃơck, Michael Lowry. by GlÃơck, Robert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha