skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Practical aspects of declarative languages First International Workshop, PADL '99, San Antonio, Texas, USA, January 1999 : proceedings
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)

2
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
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)

3
Logic programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8 - 13, 2007; proceedings
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
Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Simulation Programming Languages
Proceedings of the International Federation for Information Processing (IFIP) Working Conference on Simulation Programming Languages
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
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

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4583 )(Acessar)

6
Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 proceedings
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
Parallel processing &amp; 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
Parallel processing &amp; 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
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
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
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
Problems and methodologies in mathematical software production proceedings
Problems and methodologies in mathematical software production proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Problems and methodologies in mathematical software production proceedings

International Seminar on Problems and Methodologies in Mathematical Software Production, Sorrento, 1980 Paul C Messina; Almenico Murli

Berlin Springer 1982

Localização: IME - Inst. Matemática e Estatística    (S L471c v.142 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1983  (9)
  2. 1983Até1990  (9)
  3. 1991Até1996  (72)
  4. 1997Até2004  (77)
  5. Após 2004  (108)
  6. Mais opções open sub menu

Idioma 

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

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.