1
Published 2009
Springer Berlin Heidelberg
... Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised full papers and 5 system...

2
Published 2011
Springer Berlin Heidelberg
...This book constitutes the thoroughly referred post-workshop proceedings of the 22nd International...

3
Published 1983
Springer Berlin Heidelberg
... at The University of Alberta, Edmonton, Canada from June 22 to June 30, 1982. The Conference was sponsored...

5
Published 2013
Springer Berlin Heidelberg
... Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers...

6
Published 2014
Springer International Publishing
... Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented...

7
Published 2015
Springer International Publishing
... on Image Analysis and Recognition, ICIAR 2015, held in Niagara Falls, ON, Canada, in July 2015. The 55...

9
Published 2023
Springer International Publishing
... in Montréal, Canada, held on June 22–23, titled "Bayesian Statistics, New Generations New Approaches...

10
Published 1998
Springer Berlin Heidelberg
... Conference on the Practice and Theory of Automated Timetabling, PATAT'97, held in Toronto, Canada, in August...

12
Published 2008
Springer Berlin Heidelberg
... Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. The 33 revised full papers presented...

14
Published 2012
Springer Berlin Heidelberg
... and Models for the Web-Graph, WAW 2012, held in Halifax, Nova Scotia, Canada, in June 2012. The 13 papers...

15
Published 2016
Springer International Publishing
...This book contains revised selected papers from the 22nd International Conference on Selected Areas...

16
Published 2011
Springer Berlin Heidelberg
... Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011. The 84 revised full...

17
Published 2011
Springer Berlin Heidelberg
... Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011. The 84 revised full...

19
Published 2008
Springer Berlin Heidelberg
... Symposium, ANTS 2008, held in Banff, Canada, in May 2008. The 28 revised full papers presented together...

20
Published 2009
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the 22st Conference of the Canadian Society...