Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Nominal Sets: Names and Symmetry in Computer ScienceAndrew M. PittsCambridge University Press 2013Acesso online |
|
2 |
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. |
|
3 |
Material Type: Livro
|
Semantics and Logics of ComputationAndrew M. Dybjer, P. Pitts P Dybjer; Peter Dybjer; Andrew M PittsCambridge Cambridge University Press 1997Acesso online |
|
4 |
Material Type: Livro
|
Automata, Languages, and ProgrammingDavid Hutchison Takeo Kanade; Kurt Mehlhorn; Andrew Pitts; Roger WattenhoferSpringer Berlin Heidelberg 2012Acesso 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
|
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) |
|
7 |
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) |
|
8 |
Material Type: Livro
|
A cidade e o homem a sociedade urbanaNoel P Gist L A HalbertRio de Janeiro Fundo de Cultura 1961Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (301.36 G535uP v.2 ) e outros locais(Acessar) |
|
9 |
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 |
|
10 |
Material Type: Livro
|
Public management and performance: research directionsRichard M. Boyne, George A. Brewer, Gene A. Walker George A Boyne; Gene A Brewer; Richard M Walker Gene A. Brewer George A. BoyneLeiden Cambridge University Press 2010Acesso online. A biblioteca também possui exemplares impressos. |