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
Algebraic and logic programming proceedings [of the] 5th international conference, alp'96, aachen, germany, september 25-27, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic and logic programming proceedings [of the] 5th international conference, alp'96, aachen, germany, september 25-27, 1996

International Workshop on Algebraic and Logic Programming (5. 1996 Aachen, De) Michael Hanus; Mario Rodriguez-Artalejo

Berlin Springer 1996

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

2
Reliable software technologies - ada-europe'96 proceedings [of the] 1996 ada-europe international conference on reliable software technologie, held in montreux, switzerland, june 10-14, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable software technologies - ada-europe'96 proceedings [of the] 1996 ada-europe international conference on reliable software technologie, held in montreux, switzerland, june 10-14, 1996

Ada-Europe International Conference on Reliable Software Technologies (1996 : Montreaux, Ch) Alfred Stohmeier

Berlin Springer 1996

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

3
Algebraic and logic programming proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic and logic programming proceedings

International Workshop on Algebraic and Logic Programming. 2., Nancy, 1990 Helene Kirchner; Wolfgang Wechler

Berlin Springer 1990

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

4
Algebraic and logic programming proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic and logic programming proceedings

International Workshop on Algebraic and Logic Programming (4. 1994 Madrid) Giorogio Levi; Mario Rodriguez-Artalejo

Berlin Springer 1994

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

5
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.

6
Ada in europe proceedings of the first international Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, september 26-3-, 1994
Material Type:
Livro
Adicionar ao Meu Espaço

Ada in europe proceedings of the first international Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, september 26-3-, 1994

International Eurospace-Ada-Europe Symposium (1. 1994 Copenhagen, Dk) Marcel Toussaint

Berlin Springer 1994

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

7
Reliable software technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable software technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004; proceedings

International Conference on Reliable Software Technologies. <9, 2004 Palma, Mallorca> Alfred Strohmeier; Albert Llamos i edt

Berlin Springer Heidelberg u.a. 2004

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

8
Ada 95 rationale the language, the standard libraries
Material Type:
Livro
Adicionar ao Meu Espaço

Ada 95 rationale the language, the standard libraries

John Barnes

Berlin Springer New York c1995

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

9
Ada in Europe Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Ada in Europe Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings

International Eurospace-Ada-Europe Symposium (2nd 1995 Frankfurt am Main, Germany) M Toussaint

Berlin Springer New York c1996

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

10
Proceedings of the TLDI '03 2003 ACM SIGPLAN International Workshop on Types in Languages Design And Implementation : papers presented at the workshop, New Orleans, Louisiana, USA January 18th, 2003
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings of the TLDI '03 2003 ACM SIGPLAN International Workshop on Types in Languages Design And Implementation : papers presented at the workshop, New Orleans, Louisiana, USA January 18th, 2003

ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (2003 New Orleans, La.) ACM SIGPLAN Special Interest Group on Programming Languages

New York Association for Computing Machinery 2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (v.38 n.3 2003 e.1 )(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 (6)
  2. Disponível na Biblioteca (46)

Data de Publicação 

De até
  1. Antes de1990  (5)
  2. 1990Até1994  (9)
  3. 1995Até2000  (15)
  4. 2001Até2006  (14)
  5. Após 2006  (8)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.