1
Material Type:
Livro
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)
This feature requires javascript
2
Material Type:
Livro
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)
This feature requires javascript
3
Material Type:
Livro
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)
This feature requires javascript
4
Material Type:
Livro
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)
This feature requires javascript
5
Material Type:
Livro
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)
This feature requires javascript
6
Material Type:
Livro
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)
This feature requires javascript
7
Material Type:
Livro
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)
This feature requires javascript
8
Material Type:
Livro
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)
This feature requires javascript
9
Material Type:
Livro
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994
International Conference on Constraints in Computation Logics (1. 1994 Minich) Jean-Pierre Jouannaud; G Goos; J Hartmanis; J Leeuwen
Berlin Computer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.845 e.1 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Static analysis proceedings of the second international symposium, sas'95, held in glasgow, uk, september 25-27, 1995
International Static Analysis Symposium (2. 1995 Glasgow, Uk) Alan Mycroft
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lcns v.983 e.1 ) e outros locais(Acessar)
This feature requires javascript