skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
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
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
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
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)

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

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

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

8
Formal software development methods proceedings
Formal software development methods proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal software development methods proceedings

Vdm-Europe Symposium, 4, Noordwijkerhout, 1991 Soren Prehn; Hans Toetenel

Berlin Springer

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.552 e.1 v.2 ) e outros locais(Acessar)

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

10
Mathematics of program construction proceedings
Mathematics of program construction proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematics of program construction proceedings

Conference on Mathematics of Program Construction (2. 1992 Oxford) Richard S Bird

Berlin Springer 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.669 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.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1984  (8)
  2. 1984Até1992  (18)
  3. 1993Até1998  (78)
  4. 1999Até2006  (112)
  5. Após 2006  (41)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (254)
  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.