Materias dentro de su búsqueda.
Mostrando 1 - 10 Resultados de 10 Para Buscar 'Algebra', tiempo de consulta: 0.04s Limitar resultados
1
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Algebra for Quantitative Information Flow -- Dual space of a lattice as the completion of a Pervin...”
Enlace del recurso
eBook
2
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Publicado 2017
eBook
3
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Publicado 2017
Materias: “...Symbolic and Algebraic Manipulation....”
eBook
4
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Publicado 2017
Materias: “...Symbolic and Algebraic Manipulation....”
eBook
5
String Analysis for Software Verification and Security /
Materias: “...Symbolic and Algebraic Manipulation....”
eBook
6
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Combinatorial and algebraic properties of words and languages -- Grammars acceptors and transducers...”
eBook
7
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “..., algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory...”
eBook
8
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “....-Algebra and Coalgebra -- Algebra, coalgebra, and minimization in polynomial differential equations...”
eBook
9
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “... of Information -- A Brief History of Security Protocols -- More Stubborn Set Methods for Process Algebras -- A...”
eBook
10
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Algebras Generated by Factor-, Subword-, and Suffix-Free Languages -- Branching Measures and Nearly Acyclic...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda