1
|
Material Type: Livro
|
|
Static analysis third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings
Workshop on Static Analysis (3rd 1993 Padova, Italy) Patrick Cousot 1948-
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.724 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
MC-25 informatica symposium by J.W. de Bakker [and others]
MC-25 Informatica Symposium (1972 Amsterdam) J. W. de Bakker 1939- (Jacobus Willem de); Mathmatisch Centrum (Amsterdam, Netherlands)
Amsterdam Mathematisch Centrum 1971
Localização:
IME - Inst. Matemática e Estatística
(QA750.C B168m )(Acessar)
|
3
|
Material Type: Livro
|
|
Troisième Congrès de calcul et de traitement de l'information AFCALTI Toulouse 14-17 mai 1963. [Actes] Publié avec le concours du C.N.R.S
Congrès de calcul et de traitement de l'information AFCALTI (3rd 1963 Toulouse) Centre national de la recherche scientifique (France)
Paris Dunod 1965
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(001.539 C749 ) e outros locais(Acessar)
|