Search Results

1

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

2

Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /

Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

3

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

4

Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /

Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

5

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

6

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

7

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

8

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revise...

Berlin ; New York : Springer-Verlag, 2004

Conference Proceeding Book

9

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

10

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

11

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers /

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers /

Berlin ; New York : Springer-Verlag, 2004

Conference Proceeding Book

12

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

13

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