Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
general propositional » general prepositions, temporal propositional, central propositions
propositional program » compositional program, propositional proof, propositional proofs
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
general propositional » general prepositions, temporal propositional, central propositions
propositional program » compositional program, propositional proof, propositional proofs
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado em 2010
Sumário:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2014
Sumário:
“... Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic...”Obter o texto integral
Recurso Electrónico
livro electrónico