1
Material Type:
Livro
Applied algebra, algebraic algorithms, and error-correcting codes 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings
AAECC-13 (1999 Honolulu, Hawaii) Marc Fossorier 1964-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1719 e.1 ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
Handbook for information security a guide towards information security standards
J. C. H. Aalders I. S Herschberg; A. van Zanten
Amsterdam New York North-Holland New York, N.Y. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1985-
Localização:
IME - Inst. Matemática e Estatística
(QA714 A112h v.2 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
Business process management models, techniques, and empirical studies
Wil van der Aalst Jorg Desel; Andreas Oberweis
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c2000
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1806 ) (Acessar)
This feature requires javascript
4
Material Type:
Livro
Hydroinformatics information technology and the aquatic environment
Michael B. Abbott 1931-
Aldershot Brookfield, USA Avebury Technical c1991
Localização:
EPBC - Esc. Politécnica-Bib Central
(551.49 Ab28h ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Computer networks a tutorial
Marshall D Abrams; Ira W Cotton; IEEE Computer Society
New York Ieee 1984
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-06 C738.4 1984 e.2 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Handbook of logic in computer science
Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-
Oxford Clarendon New York Oxford University Press 1992-<2000>
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 H191 v.4 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Formal methods for industrial applications specifying and programming the steam boiler control
Jean-Raymond Abrial Egon Borger; Hans Langmaack
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1996
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1165 ) (Acessar)
This feature requires javascript
8
Material Type:
Livro
Roster of members 1987
Acm Association for Computing Machinery
New York Acm 1987
Localização:
IME - Inst. Matemática e Estatística
(Ref QA700.D A184r ) (Acessar)
This feature requires javascript
9
Material Type:
Livro
Proceedings of the ACM Annual Conference
ACM Annual Conference (1971 August 3 Chicago, Il) Association for Computing Machinery
New York ACM 1971
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 Ac64p 26. ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
ACM 79 October 29-31, 1979, Detroit, Michigan : proceedings of the 1979 annual conference
ACM Annual Conference 79 Detroit, Mich.) 1979 Arvid L Martin; James L Elshoff
New York, N.Y. The Association c1979
Localização:
IME - Inst. Matemática e Estatística
(QA700.C A184p 1979 ) (Acessar)
This feature requires javascript