Search Results

1

Extreme programming and agile processes in software engineering : 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 ; proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

2

COTS-based software systems : 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

3

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

4

Quality of software architectures and software quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Sof...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

5

Service availability : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005 : revised selected papers /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

6

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

7

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of So...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

8

Product focused software process improvement : 6th international conference, PROFES 2005, Oulu, Finland, June 13-15, 2005 ; proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

9

Component-based software engineering : 8th international symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

10

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

11

Extreme programming and agile processes in software engineering : 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 ; proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

12

Model checking software : 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings /

Berlin : Springer, 2005

Conference Proceeding Book

13

Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

14

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, A...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

15

Software process improvement : 12th European conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

16

Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

17

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /

Berlin ; New York : Springer, 2006

Conference Proceeding Book

18

Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions...

Berlin ; New York : Springer, 2008

Conference Proceeding Book

Narrow Search