1
Algebraic Informatics [E-Book] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
2
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [E-Book] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers