Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Algebraic and logic programming proceedings [of the] 5th international conference, alp'96, aachen, germany, september 25-27, 1996International Workshop on Algebraic and Logic Programming (5. 1996 Aachen, De) Michael Hanus; Mario Rodriguez-ArtalejoBerlin Springer 1996Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1139 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
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, 1996Ada-Europe International Conference on Reliable Software Technologies (1996 : Montreaux, Ch) Alfred StohmeierBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1088 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Algebraic and logic programming proceedingsInternational Workshop on Algebraic and Logic Programming. 2., Nancy, 1990 Helene Kirchner; Wolfgang WechlerBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.463 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Algebraic and logic programming proceedingsInternational Workshop on Algebraic and Logic Programming (4. 1994 Madrid) Giorogio Levi; Mario Rodriguez-ArtalejoBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.850 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 proceedingsInternational Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan) Pawel UrzyczynBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Ada in europe proceedings of the first international Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, september 26-3-, 1994International Eurospace-Ada-Europe Symposium (1. 1994 Copenhagen, Dk) Marcel ToussaintBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.887 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Reliable software technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004; proceedingsInternational Conference on Reliable Software Technologies. <9, 2004 Palma, Mallorca> Alfred Strohmeier; Albert Llamos i edtBerlin Springer Heidelberg u.a. 2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3063 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Ada 95 rationale the language, the standard librariesJohn BarnesBerlin Springer New York c1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1247 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Ada in Europe Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedingsInternational Eurospace-Ada-Europe Symposium (2nd 1995 Frankfurt am Main, Germany) M ToussaintBerlin Springer New York c1996Localização: IME - Inst. Matemática e Estatística (S L471c v.1031 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
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, 2003ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (2003 New Orleans, La.) ACM SIGPLAN Special Interest Group on Programming LanguagesNew York Association for Computing Machinery 2003Localização: ICMC - Inst. Ciên. Mat. Computação (v.38 n.3 2003 e.1 )(Acessar) |