Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : Proceedings /
Colección de ponencias presentadas en la décima cuarta Conferencia Internacional sobre Métodos Algebraicos y Relacionales en Ciencias de la Computación, celebrada en Marienstatt, Alemania, en abril-mayo de 2014. Los artículos están estructurados en campos específicos sobre álgebras de Kleene, concur...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Konferentzia-aktak Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Cham, Suiza :
Springer,
2014, c2014
|
| Saila: | (Lecture Notes in Computer Science ;
8428) |
| Gaiak: | |
| Sarrera elektronikoa: | Ver documento en línea |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak: Relational and Algebraic Methods in Computer Science :
- Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : Revised Selected Papers /
- Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
- An Introduction to Formal Languages and Automata /
- An Introduction to Formal Languages and Automata /
- Introduction to the Theory of Computation /