skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 : proceedings

European Symposium on Programming (12th 2003 Warsaw, Poland) Pierpaolo Degano 1950-; ETAPS 2003 (2003 Warsaw, Poland)

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2618 )(Acessar)

2
Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 ; proceedings

PADL 2001 (2001 Las Vegas, Nev) I. V Ramakrishnan

Berlin Springer London 2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1990 ) e outros locais(Acessar)

3
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings

International Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens Palsberg

Berlin Springer New York c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1824 )(Acessar)

4
Languages and compilers for parallel computing 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Languages and compilers for parallel computing 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings

LCPC'99 (1999 La Jolla, Calif) Larry Carter; Jeanne Ferrante

Berlin Springer London c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v. 1863 ) e outros locais(Acessar)

5
Languages, compilers, and run-time systems for scalable computers 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Languages, compilers, and run-time systems for scalable computers 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers

LCR 2000 (2000 Rochester, N.Y.) Sandhya Dwarkadas

Berlin Springer New York c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1915 ) e outros locais(Acessar)

6
Formal Syntax and Semantics of Java
Formal Syntax and Semantics of Java
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Syntax and Semantics of Java

Jim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

7
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 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 : proceedings

European 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 c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1381 ) e outros locais(Acessar)

8
Computing for scientists principles of programming with Fortran 90 and C++
Material Type:
Livro
Adicionar ao Meu Espaço

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 1998

Localização: IF - Instituto de Física    (005.13302453 B258c )(Acessar)

9
Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

G Levi 1942- (Giorgio); International Static Analysis Symposium (5th 1998 Pisa, Italy)

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1503 ) e outros locais(Acessar)

10
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 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 : proceedings

PLILP '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 c1997

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1292 ) e outros locais(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)
  2. Disponível na Biblioteca (60)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (59)
  2. Produções Acadêmicas  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1973  (11)
  2. 1973Até1980  (11)
  3. 1981Até1986  (18)
  4. 1987Até1996  (10)
  5. Após 1996  (12)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (57)
  2. Francês  (4)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.