Cover Image

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /

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....

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Muntean, Traian. (Editor), Poulakis, Dimitrios. (Editor), Rolland, Robert. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:Lecture Notes in Computer Science, 8080
Subjects:
Computer science.
Software engineering.
Logic design.
Computational complexity.
Algebra > Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Software Engineering.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-40663-8

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-40663-8

Similar Items