1
Published 1999
Springer Berlin Heidelberg
... was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur...

2
Published 1994
Springer Berlin Heidelberg
... Methodologies and Systems (ISOOMS '94), held in Palermo, Italy in September 1994 in conjunction with the AICA...

3
Published 2000
Springer Berlin Heidelberg
... synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999...

4
Published 1993
Springer Berlin Heidelberg
...`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA...

5
Published 2003
Springer Berlin Heidelberg
..., Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally...

6
Published 2000
Springer US
Table of Contents: ... Definition -- 22 Implementing CCS in Maude -- 23. From Refutation to Verification -- 24. Process Algebraic...

7
Published 1999
Springer US
Table of Contents: ... Perception and Creativity Mechanisms -- Panel Summary -Creativity in 22 Questions: What’s the Catch...

8
Published 2004
Springer Berlin Heidelberg
... (Australia, B- zil, Canada, Chile, Finland, France, Germany, Italy, Japan, Korea, The Netherlands, Spain...

9
Published 1995
Springer US
Table of Contents: ... invariance on stochastic materials design of fibrous composite laminates -- 22 Assessment of global...

10
Published 1991
Springer Berlin Heidelberg
.... The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries...

11
Published 1998
Springer US
Table of Contents: ... matching for subimage queries of arbitrary size -- 22 Effective image retrieval supporting complex...

12
Published 1989
Springer Netherlands
Table of Contents: .... The Mailbox Model -- 2.2.The Front-end Model -- 3. The Interface Software -- 3.1. The Engine TSOBOX -- 3.2...