4 Resultados para Busca Geral
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2012)
tipo de recurso:
Livros
tipo de recurso:
Livros
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. ProceedingsGheyi, Rohit ; Naumann, David Naumann, David ; Gheyi, RohitNetherlands: Springer Nature 2012Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Generic and indexed programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26 2010 : revised lecturesGibbons, JeremySpringer 2012Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Generic and Indexed ProgrammingGibbons, Jeremy Gibbons, JeremyNetherlands: Springer Nature 2012Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, ProceedingsGibbons, Jeremy ; Nogueira, Pablo Gibbons, Jeremy ; Nogueira, PabloNetherlands: Springer Nature 2012Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 