Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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. |
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
|
![]() |
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) |
4 |
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. |
5 |
Material Type: Livro
|
![]() |
Nominal Sets: Names and Symmetry in Computer ScienceAndrew M. PittsCambridge University Press 2013Acesso online |
6 |
Material Type: Livro
|
![]() |
Risk modelling in general insurance: from principles to practiceRoger J. Pitts, Susan M. Gray Roger J Gray; Susan M Pitts Susan M. PittsCambridge University Press 2012Acesso online |
7 |
Material Type: Livro
|
![]() |
Semantics and Logics of ComputationAndrew M. Dybjer, P. Pitts P Dybjer; Peter Dybjer; Andrew M PittsCambridge Cambridge University Press 1997Acesso online |
8 |
Material Type: Livro
|
![]() |
Physiologie du rein et du milieu intérieurRobert F. Pitts 1908- (Robert Franklin) M RieuParis Masson c1970Localização: IB - Instituto de Biociências (QP249 P692p )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Interest rate futures and optionsMark Pitts Frank J FabozziChicago Ill. Probus c1990Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (A39.36.15 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Introduction to ATM design and performance with applicationa analysis softwareJ. M. Pitts (Jonathan M.) J. A Schormans (John A.)Chichester J. Wiley New York c1996Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.7 P687i )(Acessar) |