Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Principles of declarative programming 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 ; proceedingsK Meinke; Hugh Glaser; Catuscia Palamidessi; ALP'98 (Conference) (1998 Pisa, Italy); PLILP'98 (Conference) (1998 Pisa, Italy)Berlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1490 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedingsPADL '99 (1999 San Antonio, Tex.) Gopal GuptaBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1551 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedingsIlkka Niemelä; Veronica Dahl; ICLP. <23, 2007, Porto>Internetausg. Logic ProgrammingBerlin Springer Heidelberg u.a. 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4670 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Simulation Programming LanguagesIFIP Working Conference on Simulation Programming Languages (3. 1967 Oslo) J. N Buxton; International Federation for Information ProcessingAmsterdam North-Holland c1968Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod (004.424 If5s 3. ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 proceedingsInternational Conference on Typed Lambda Calculi and Applications (8th 2007 Paris, France) S Ronchi Della Rocca (Simona)Berlin Springer c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4583 )(Acessar) |
|
6 |
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. |
|
7 |
Material Type: Livro
|
Parallel processing & applied mathematics book of abstracts [of the] 10th International Conference on Parallel Processing and Applied Mathematics, PPAM'2013, [held in] Warsaw, Poland, September 8-11, 2013International Conference on Parallel Processing & Applied Mathematics (10th. : 2013 : Warsal, PL)Warsaw S.C.P 2013Localização: IME - Inst. Matemática e Estatística (QA754.C I61p 10º )(Acessar) |
|
8 |
Material Type: Livro
|
Programming languages and systems - esop'96 proceedings [of the] 6th european symposium on programming, held in linkoping, sweden, april 22-24, 1996European Symposium on Programming (6. 1996 Linkoping, Se) Hanne Riis NielsonBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1058 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996International Static Analysis Symposium (3. 1996 Aachen, De) Radhia Cousot; David SchmidtBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1145 ) e outros locais(Acessar) |
|
10 |
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) |