|
|
461.
|
Open Source Ecosystems: Diverse Communities Interacting [electronic resource] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, Björn Lundell, Anthony I. Wasserman.
by Boldyreff, Cornelia | Crowston, Kevin | Lundell, Björn | Wasserman, Anthony I | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
462.
|
Object-Oriented Technology. ECOOP 2008 Workshop Reader [electronic resource] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports / edited by Patrick Eugster.
by Eugster, Patrick | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
463.
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings / edited by Martin Glinz, Patrick Heymans.
by Glinz, Martin | Heymans, Patrick | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
464.
|
Transactions on Aspect-Oriented Software Development V [electronic resource] / edited by Awais Rashid, Harold Ossher.
by Rashid, Awais | Ossher, Harold | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
465.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / edited by David Lee, Antónia Lopes, Arnd Poetzsch-Heffter.
by Lee, David | Lopes, Antónia | Poetzsch-Heffter, Arnd | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
466.
|
Software Engineering for Self-Adaptive Systems [electronic resource] / edited by Betty H. C. Cheng, Rogério Lemos, Holger Giese, Paola Inverardi, Jeff Magee.
by Cheng, Betty H. C | Lemos, Rogério | Giese, Holger | Inverardi, Paola | Magee, Jeff | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
467.
|
Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings / edited by Ralf Treinen.
by Treinen, Ralf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
468.
|
Architectures for Adaptive Software Systems [electronic resource] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister.
by Mirandola, Raffaela | Gorton, Ian | Hofmeister, Christine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
469.
|
Theory and Practice of Model Transformations [electronic resource] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings / edited by Richard F. Paige.
by Paige, Richard F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
470.
|
Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister.
by Lewis, Grace A | Poernomo, Iman | Hofmeister, Christine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
471.
|
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro.
by Berardi, Stefano | Damiani, Ferruccio | de’Liguoro, Ugo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
472.
|
Conceptual Modeling: Foundations and Applications [electronic resource] : Essays in Honor of John Mylopoulos / edited by Alexander T. Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. Yu.
by Borgida, Alexander T | Chaudhri, Vinay K | Giorgini, Paolo | Yu, Eric S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
473.
|
Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings / edited by Corina S. Păsăreanu.
by Păsăreanu, Corina S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
474.
|
Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Alexandre Bergel, Johan Fabry.
by Bergel, Alexandre | Fabry, Johan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
475.
|
Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings / edited by Patricia M. Hill, David S. Warren.
by Hill, Patricia M | Warren, David S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
476.
|
ECOOP 2009 – Object-Oriented Programming [electronic resource] : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings / edited by Sophia Drossopoulou.
by Drossopoulou, Sophia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
477.
|
Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings / edited by Walid Mohamed Taha.
by Taha, Walid Mohamed | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
478.
|
Language Engineering and Rigorous Software Development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures / edited by Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto.
by Bove, Ana | Barbosa, Luís Soares | Pardo, Alberto | Pinto, Jorge Sousa | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
479.
|
Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su.
by Palsberg, Jens | Su, Zhendong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
480.
|
Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers / edited by Darren Cofer, Alessandro Fantechi.
by Cofer, Darren | Fantechi, Alessandro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
