Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Problems and methodologies in mathematical software production proceedingsInternational Seminar on Problems and Methodologies in Mathematical Software Production, Sorrento, 1980 Paul C Messina; Almenico MurliBerlin Springer 1982Localização: IME - Inst. Matemática e Estatística (S L471c v.142 )(Acessar) |
12 |
Material Type: Livro
|
![]() |
Mathematics of program construction proceedingsConference on Mathematics of Program Construction (2. 1992 Oxford) Richard S BirdBerlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.669 e.1 ) e outros locais(Acessar) |
13 |
Material Type: Livro
|
![]() |
AnaisWorkshop de Desenvolvimento Baseado em Componentes (5º 2005 Juiz de Fora, MG, BR) Regina Maria Maciel BragaJuiz de Fora UFJF SBC 2005Localização: IME - Inst. Matemática e Estatística (QA754.4.C W926a 5º )(Acessar) |
14 |
Material Type: Livro
|
![]() |
Logic programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedingsInternational Conference on Logic Programming (18th 2002 Copenhagen, Denmark) Peter J StuckeyBerlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2401 ) e outros locais(Acessar) |
15 |
Material Type: Livro
|
![]() |
PapersWorkshop for PhD students in object-oriented systems (7. 1997 Jyvaskyla, FI) Frank Gerhardt; Lutz Wohlrab; Erik ErnstAarhus Aarhus Universitet 1997Localização: IME - Inst. Matemática e Estatística (QA754.4.C W926p 7th )(Acessar) |
16 |
Material Type: Livro
|
![]() |
Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 proceedingsInternational Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan) Pawel UrzyczynBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
17 |
Material Type: Livro
|
![]() |
Logic programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedingsInternational Conference on Logic Programming (20th 2004 Saint Malo, France) Bart Demoen; Vladimir LifschitzBerlin Springer 2004Acesso online. A biblioteca também possui exemplares impressos. |
18 |
Material Type: Livro
|
![]() |
Software quality - ECSQ 2002 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 ; proceedingsJ Kontio; Reidar ConradiBerlin Springer 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2349 ) e outros locais(Acessar) |
19 |
Material Type: Livro
|
![]() |
ProceedingsO. Lehrmann Madsen 1950- (Ole Lehrmann) European Conference on Object-Oriented Programming (6th 1992 Utrecht)Berlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.615 e.1 ) e outros locais(Acessar) |
20 |
Material Type: Livro
|
![]() |
Object-based concurrent computing proceedingsWorkshop on Object-Based Concurrent Computing, Geneva, 1991 Mario TokoroBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.612 e.1 ) e outros locais(Acessar) |