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
Principles of declarative programming 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles of declarative programming 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 ; proceedings

K Meinke; Hugh Glaser; Catuscia Palamidessi; ALP'98 (Conference) (1998 Pisa, Italy); PLILP'98 (Conference) (1998 Pisa, Italy)

Berlin Springer London c1998

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

2
Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedings

PADL '99 (1999 San Antonio, Tex.) Gopal Gupta

Berlin Springer New York c1999

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

3
Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedings

Ilkka Niemelä; Veronica Dahl; ICLP. <23, 2007, Porto>

Internetausg. Logic Programming

Berlin Springer Heidelberg u.a. 2007

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

4
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Simulation Programming Languages

IFIP Working Conference on Simulation Programming Languages (3. 1967 Oslo) J. N Buxton; International Federation for Information Processing

Amsterdam North-Holland c1968

Localização: EPECP - Esc. Politécnica-Bib Eng Civil e Prod    (004.424 If5s 3. ) e outros locais(Acessar)

5
Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 proceedings

International Conference on Typed Lambda Calculi and Applications (8th 2007 Paris, France) S Ronchi Della Rocca (Simona)

Berlin Springer c2007

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

6
Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 proceedings

International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan) Pawel Urzyczyn

Berlin Springer New York c2005

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

7
Material Type:
Livro
Adicionar ao Meu Espaço

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, 2013

International Conference on Parallel Processing & Applied Mathematics (10th. : 2013 : Warsal, PL)

Warsaw S.C.P 2013

Localização: IME - Inst. Matemática e Estatística    (QA754.C I61p 10º )(Acessar)

8
Programming languages and systems - esop'96 proceedings [of the] 6th european symposium on programming, held in linkoping, sweden, april 22-24, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Programming languages and systems - esop'96 proceedings [of the] 6th european symposium on programming, held in linkoping, sweden, april 22-24, 1996

European Symposium on Programming (6. 1996 Linkoping, Se) Hanne Riis Nielson

Berlin Springer 1996

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

9
Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996

International Static Analysis Symposium (3. 1996 Aachen, De) Radhia Cousot; David Schmidt

Berlin Springer 1996

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

10
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings

B. Krieg-Brückner (Bernd) European symposium on programming ( 4. 1992 Rennes)

Berlin Springer 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.582 e.1 ) 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 (67)
  2. Disponível na Biblioteca (275)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (275)
  2. Audiovisuais  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1983  (9)
  2. 1983Até1990  (9)
  3. 1991Até1996  (73)
  4. 1997Até2005  (114)
  5. Após 2005  (70)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (274)
  2. Português  (2)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.