Results
1.
2.
3.
4.
5.
6.
7.
Formal methods for computational systems biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.). by Series: Lecture notes in computer science ; 5016 | LNCS sublibrary . SL 2, Programming and software engineering | Lecture notes in computer science . Tutorial.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
8.
9.
10.
Making globally distributed software development a success story [electronic resource] : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings / Qing Wang, Dietmar Pfahl, David M. Raffo (eds.). by Series: LNCS sublibrary . SL 2, Programming and software engineering | Lecture notes in computer science ; 5007
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
11.
12.
13.
14.
Requirements engineering, foundation for software quality [electronic resource] : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings / Pete Sawyer, Barbara Paech, Patrick Heymans (eds.). by Series: Lecture notes in computer science ; 4542 | LNCS sublibrary . SL 2, Programming and software engineering
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: No items available.
15.
16.
17.
18.
