Your search returned 336 results.

Sort
Select all Clear all
Select titles to:
Results
Software Architecture (vol. # 3527) [Recurso electrónico] / 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings edited by Ron Morrison, Flavio Oquendo.

by Morrison, Ron | Oquendo, Flavio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3527Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Software Architecture (vol. # 4344) [Recurso electrónico] / Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers edited by Volker Gruhn, Flavio Oquendo.

by Gruhn, Volker | Oquendo, Flavio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4344Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Testing of Communicating Systems (vol. # 3502) [Recurso electrónico] / 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings edited by Rachida Dssouli, Ferhat Khendek.

by Dssouli, Rachida | Khendek, Ferhat | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3502Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Architecting Dependable Systems III [Recurso electrónico] / edited by Cristina Gacek, Rogério de Lemos, Alexander Romanovsky.

by Gacek, Cristina | Lemos, Rogério de | Romanovsky, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3549Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Component-Based Software Development for Embedded Systems [Recurso electrónico] / An Overview of Current Research Trends edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper.

by Atkinson, Colin | Bunse, Christian | Gross, Hans-Gerhard | Peper, Christian | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3778Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Testing of Communicating Systems (vol. # 3964) [Recurso electrónico] / 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings edited by M. Ãœmit Uyar, Ali Y. Duale, Mariusz A. Fecko.

by Uyar, M. Ãœmit | Duale, Ali Y | Fecko, Mariusz A | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3964Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Central European Functional Programming School [Recurso electrónico] / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures edited by Zoltán Horváth.

by Horváth, Zoltán | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4164Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene.

by Uustalu, Tarmo | Vene, Varmo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3622Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Software Engineering and Middleware [Recurso electrónico] / 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers edited by Thomas Gschwind, Cecilia Mascolo.

by Gschwind, Thomas | Mascolo, Cecilia | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3437Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Reuse of Off-the-Shelf Components [Recurso electrónico] / 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings edited by Maurizio Morisio.

by Morisio, Maurizio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4039Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot.

by Cousot, Radhia | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3385Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Software Process Improvment [Recurso electrónico] / 13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings edited by Ita Richardson, Per Runeson, Richard Messnarz.

by Richardson, Ita | Messnarz, Richard | Runeson, Per | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4257Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Software Engineering Education in the Modern Age [Recurso electrónico] / Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures edite

by Inverardi, Paola | Jazayeri, Mehdi | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4309Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Model-Based Testing of Reactive Systems [Recurso electrónico] / Advanced Lectures edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al.

by Broy, Manfred | Jonsson, Bengt | Katoen, Joost-Pieter | Leucker, Martin | Pretschner, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3472Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau.

by Banach, Richard | Lau, Kung-Kiu | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3785Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Software Product Lines (vol. # 3714) [Recurso electrónico] / 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings edited by Henk Obbink, Klaus Pohl.

by Obbink, Henk | Pohl, Klaus | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3714Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Model Checking Software (vol. # 3639) [Recurso electrónico] / 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid.

by Godefroid, Patrick | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3639Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Verification, Model Checking, and Abstract Interpretation (vol. # 3855) [Recurso electrónico] / 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings edited by E. Allen Emerson, Kedar S. Namjoshi.

by Emerson, E. Allen | Namjoshi, Kedar S | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3855Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Fundamental Approaches to Software Engineering (vol. # 3922) [Recurso electrónico] / 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March

by Baresi, Luciano | Heckel, Reiko | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3922Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Model Checking Software (vol. # 3925) [Recurso electrónico] / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings edited by Antti Valmari.

by Valmari, Antti | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3925Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Pages

Powered by Koha