Search Results

1

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

Berlin ; New York : Springer-Verlag, 2004

Conference Proceeding Book

2

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

Berlin ; New York : Springer, 2004

Conference Proceeding Book

3

UML modeling languages and applications : <<UML>> 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

4

Rapid integration of software engineering techniques : first international workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

5

Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

6

Utility computing : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004 : proceedings /

Berlin : Springer, 2004

Conference Proceeding Book

7

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

8

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

9

Software reuse : methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 ; proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

10

Service availability : first International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004 : revised selected papers /

Berlin : Springer-Verlag, 2005

Conference Proceeding Book

11

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro,...

Berlin ; New York : Springer, 2004

Conference Proceeding Book

12

Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings /

Berlin ; Hong Kong : Springer-Verlag, 2004

Conference Proceeding Book

13

Software process improvement : 11th European conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004 : proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

14

Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

15

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

16

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

17

Technologies for e-services : 5th international workshop, TES 2004, Toronto, Canada, August 29-30, 2004 : revised selected papers /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

Narrow Search