8 Resultados para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
autor:
Pitts, A
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E RydeheardBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.389 ex.1 ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR) David H Pitt; A. M Pitts (Andrew M.); David E Rydeheard; Axel Poigne; Samson Abramsky 1953-; Pierre -Louis CurienBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.530 e.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991LMS Durham Symposium M. P Fourman; P. T Johnstone; A. M Pitts; Andrew M Pitts A. M. Pitts P. T. JohnstoneCambridge Cambridge University Press 1992Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Semantics and Logics of ComputationAndrew M. Dybjer, P. Pitts P Dybjer; Peter Dybjer; Andrew M PittsCambridge Cambridge University Press 1997Acesso online |
| 5 |
Material Type: Livro
|
|
Automata, Languages, and ProgrammingDavid Hutchison Takeo Kanade; Kurt Mehlhorn; Andrew Pitts; Roger WattenhoferSpringer Berlin Heidelberg 2012Acesso online |
| 6 |
Material Type: Livro
|
|
Automata, Languages, and ProgrammingDavid Hutchison Takeo Kanade; Kurt Mehlhorn; Andrew Pitts; Roger WattenhoferSpringer Berlin Heidelberg 2012Acesso online |
| 7 |
Material Type: Livro
|
|
Nominal Sets: Names and Symmetry in Computer ScienceAndrew M. PittsCambridge University Press 2013Acesso online |
| 8 |
Material Type: Livro
|
|
Philosophizing the AmericasJacoby Adeshei. Carter Le McBride III; Andrea Pitts; Steph Rivera Berruz; Alejandro Vallega; Nadia Celis; Tommy J Curry; Hernando Arturo Estévez; Daniel Fryer; James B Haile III; Chike Jeffers; Lee A McBride III; Michael J Monahan; Stephanie Rivera BerruzNew York Fordham University Press 2024Acesso online |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
Autor/Criador
- Hutchison, D (2)
- Kanade, T (2)
- Poigne, A (2)
- Wattenhofer, R (2)
- Pitt, D (2)
- Rydeheard, D (2)
- Mehlhorn, K (2)
- Dybjer, P (2)
- McBride III, L (1)
- LMS Durham Symposium (1)
- Workshop on Category Theory and Computer Science (1)
- Rivera Berruz, S (1)
- Celis, N (1)
- Curien, P (1)
- Haile III, J (1)
- Carter, J (1)
- Jeffers, C (1)
- Vallega, A (1)
- Curry, T (1)
-
Mais opções
Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 