1
Published 2012
Springer Berlin Heidelberg
...This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France...

2
Published 1985
Springer Berlin Heidelberg

3
Published 1987
Springer Berlin Heidelberg
... and Applications, "RTA 87", held in Bordeaux, France, May 1987...

5
by Miller, Dale, Nadathur, Gopalan
Published 2012
Cambridge University Press

6
Published 2020
Springer International Publishing
..., France, however due to COVID-19 pandemic the conference was held in online format. The 18 presented short...

9
Published 1990
Springer Netherlands
...International Neural Network Conference, July 9-13, 1990, Palais des Congrès, Paris, France...

10
Published 2014
Springer International Publishing

12
Published 1992
Springer Berlin Heidelberg
... jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes, France...

14
Published 2009
Springer Berlin Heidelberg
... Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented...

15
Published 2013
Springer Berlin Heidelberg
... 2013, held in Montpellier, France, in July 2013. The 25 full papers and 11 poster papers presented...

18
Published 1996
Springer Berlin Heidelberg
... Technology, EWSPT '96, held in Nancy, France, in October 1996. The book presents 31 revised full papers...

19
Published 1992
Springer Berlin Heidelberg
... and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February...