Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Programming languages and systems 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedingsEuropean Symposium on Programming (12th 2003 Warsaw, Poland) Pierpaolo Degano 1950-; ETAPS 2003 (2003 Warsaw, Poland)Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2618 )(Acessar) |
|
2 |
Material Type: Livro
|
Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 ; proceedingsPADL 2001 (2001 Las Vegas, Nev) I. V RamakrishnanBerlin Springer London 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1990 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedingsInternational Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens PalsbergBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1824 )(Acessar) |
|
4 |
Material Type: Livro
|
Languages and compilers for parallel computing 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedingsLCPC'99 (1999 La Jolla, Calif) Larry Carter; Jeanne FerranteBerlin Springer London c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v. 1863 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Languages, compilers, and run-time systems for scalable computers 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papersLCR 2000 (2000 Rochester, N.Y.) Sandhya DwarkadasBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1915 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Formal Syntax and Semantics of JavaJim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedingsEuropean Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1381 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Computing for scientists principles of programming with Fortran 90 and C++Roger Barlow (Roger J.) A. R Barnett (A. Ross)Chichester, England J. Wiley New York 1998Localização: IF - Instituto de Física (005.13302453 B258c )(Acessar) |
|
9 |
Material Type: Livro
|
Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedingsG Levi 1942- (Giorgio); International Static Analysis Symposium (5th 1998 Pisa, Italy)Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1503 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Programming languages implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedingsPLILP '97 (1997 Southampton, England) Hugh Glaser; Pieter H Hartel; Herbert Kuchen 1958-; International Workshop on Programming Languages Implementations, Logics and Programs (9. 1997 Southampton, UK)Berlin Springer New York c1997Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1292 ) e outros locais(Acessar) |