Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured...
Wedi'i Gadw mewn:
Awdur Corfforaethol: | SpringerLink (Online service) |
---|---|
Awduron Eraill: | Jipsen, Peter, Kahl, Wolfram, Muller, Martin Eric, Hofner, Peter |
Fformat: | eLyfr |
Iaith: | English |
Cyhoeddwyd: |
Cham
Springer International Publishing
2014.
|
Cyfres: | Lecture Notes in Computer Science
8428 |
Pynciau: | |
Mynediad Ar-lein: | Click here to view the full text content |
Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
-
Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Cyhoeddwyd: (2012) -
Formal concept analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Cyhoeddwyd: (2009) -
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Cyhoeddwyd: (2013) -
Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Cyhoeddwyd: (2013) -
Relations and kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
Cyhoeddwyd: (2006)