Resultados de 1 a 10 de 19 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2012)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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 |
| 2 |
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 |
| 3 |
Material Type: Livro
|
|
Generic and Indexed ProgrammingGibbons, Jeremy Gibbons, JeremyNetherlands: Springer Nature 2012Texto completo disponível |
| 4 |
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 |
| 5 |
Material Type: Capítulo de Livro
|
|
Typed Tagless Final InterpretersGibbons, JeremyGeneric and Indexed Programming, 2012, Vol.7470Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Three Complementary Approaches to Bidirectional ProgrammingGibbons, JeremyGeneric and Indexed Programming, 2012, Vol.7470Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
Generic Programming with AdjunctionsGibbons, JeremyGeneric and Indexed Programming, 2012, Vol.7470Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Generic Programming with Dependent TypesGibbons, JeremyGeneric and Indexed Programming, 2012, Vol.7470Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
The C++0x “Concepts” EffortGibbons, JeremyGeneric and Indexed Programming, 2012, Vol.7470Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
IntroGibbons, JeremyGeneric and Indexed Programming, 2012, Vol.7470Germany: Springer Berlin / HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 19 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Computer Science (4)
- Software Engineering (4)
- Congresses (4)
- Programming Languages (4)
- Programming Languages, Compilers, Interpreters (4)
- Logics And Meanings Of Programs (4)
- Mathematical Logic (4)
- Computer Logic (4)
- Machine Theory (4)
- Logic Design (4)
- Compilers (4)
- Mathematical Logic And Formal Languages (4)
- Logic, Symbolic And Mathematical (3)
- Computer Programming (3)
- Engineering (3)
- Computer Software Engineering (3)
- Computer Programming, Programs, Data (3)
- Informatics (3)
- Informatika (3)
- Informatique (3)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 