Refine your search

Your search returned 31 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:

11. Satellite Events at the MoDELS 2005 Conference [Recurso electrónico] / MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers edit by Bruel, Jean-Michel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

12. Transactions on Aspect-Oriented Software Development I [Recurso electrónico] / edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

13. Formal Approaches to Software Testing (vol. # 3997) [Recurso electrónico] / 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers edited by Wolfgang Grieskamp, Carsten Weise. by Grieskamp, Wolfgang. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

14. Reliable Software Technologies -- Ada-Europe 2006 [Recurso electrónico] / 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings edited by LuÃ{u037F}s Miguel Pinho, Michael González H by Pinho, LuÃ{u037F}s Miguel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

15. Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) [Recurso electrónico] / 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo by Abrahamsson, Pekka. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

16. ECOOP 2006 - Object-Oriented Programming [Recurso electrónico] / 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings edited by Dave Thomas. by Thomas, Dave. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

17. FM 2006: Formal Methods [Recurso electrónico] / 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

18. Model Driven Engineering Languages and Systems (vol. # 4199) [Recurso electrónico] / 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Nierstrasz, Oscar. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

19. Generative and Transformational Techniques in Software Engineering [Recurso electrónico] / International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers edited by Ralf LÃÞmmel, João Saraiva, Joost Visser. by LÃÞmmel, Ralf. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

20. Refinement Techniques in Software Engineering [Recurso electrónico] / First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures edited by Ana Cavalcanti, Augusto Sampaio, by Cavalcanti, Ana. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha