Note 5 retrouvez algebraic informatics 5th international conference cai 2013 porquerolles france september 3 6 2013 proceedings et des millions de livres en stock sur amazonfr achetez neuf ou doccasion. 5th international conference on algebraic informatics aix marseille university eriscs iml the conference 2013 was held on september 3 6 2013 at the village igesa porquerolles island france cai 2013 included a highly selective single track program for papers describing original and unpublished research advancing the state of the art in the field topics including but not limited to . This book constitutes the refereed proceedings of the 5th international conference on algebraic informatics cai 2013 held in porquerolles france in september 2013 the 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions the papers cover topics such as data models and coding theory fundamental aspects of . 5thinternational conference cai2013 porquerollesfranceseptember3 6 2013 proceedings springer table of contents invited speakers euclidean model checking ascalable method for verifying quantitative properties in probabilistic systems 1 gul agha quantitative analysis of randomized distributed systems and probabilistic automata 4 christel baier onelliptic curvepaillier schemes g marcjoye