Refine your search

Your search returned 21 results. Subscribe to this search

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

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

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

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

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

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

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

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

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

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

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

12. Reliable Software Technologies - Ada Europe 2007 [Recurso electrónico] / 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings edited by Nabil Abdennahder, Fabrice Kordon by Abdennahder, Nabil. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

13. ECOOP 2007 - Object-Oriented Programming [Recurso electrónico] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst. by Ernst, Erik. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

14. Open Source Software: New Horizons [Recurso electrónico] : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 â€{u02B5}ne 2, 2010. Proceedings / edited by PÃ{u2803}{u7972}falk, Cornelia Boldyreff, Jesús M. González-Barahona, Gregory R. Madey, John Noll. by Ã{u7972}falk, PÃ{u2B80} Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010 Availability: No items available:

15. S-BPM ONE â€{u04E5}tting the Stage for Subject-Oriented Business Process Management [Recurso electrónico] : First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers / edited by Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary. by Buchwald, Hagen. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010 Availability: No items available:

16. Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz. by Riel, Andreas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Availability: No items available:

17. Empirical Software Engineering and Verification [Recurso electrónico] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

18. Fundamental Approaches to Software Engineering [Recurso electrónico] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman. by Lara, Juan. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

19. Transactions on Aspect-Oriented Software Development IX [Recurso electrónico] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

20. Formal Aspects of Component Software [Recurso electrónico] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba ©Ø{uCDA5}czky. by Arbab, Farhad. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha