Search Results

1

Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 ; revised selected and invited papers /

Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 ; revised selec...

Berlin : Springer, 2004

Conference Proceeding Book

2

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures /

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

3

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...

Berlin ; New York : Springer, 2003

Conference Proceeding Book

4

Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings /

Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

5

Object-oriented information systems : 9th international conference, OOIS 2003 : Geneva, Switzerland, September 2-5, 2003 : proceedings /

Object-oriented information systems : 9th international conference, OOIS 2003 : Geneva, Switzerland, September 2-5, 2003 : proceedings /

Berlin ; New York : Springer-Verlag, 2003

Conference Proceeding Book

6

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SF...

Berlin ; New York : Springer, 2003

Conference Proceeding Book

7

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 ; revised and invited papers /

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 ; revised and invited papers /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

8

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

9

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings /

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book