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
Logic programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings

International Conference on Logic Programming (18th 2002 Copenhagen, Denmark) Peter J Stuckey

Berlin Springer New York 2002

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

9
Software quality - ECSQ 2002 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Software quality - ECSQ 2002 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 ; proceedings

J Kontio; Reidar Conradi

Berlin Springer 2002

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

10
Material Type:
Livro
Adicionar ao Meu Espaço

Papers

Workshop for PhD students in object-oriented systems (7. 1997 Jyvaskyla, FI) Frank Gerhardt; Lutz Wohlrab; Erik Ernst

Aarhus Aarhus Universitet 1997

Localização: IME - Inst. Matemática e Estatística    (QA754.4.C W926p 7th )(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.