11
|
Material Type: Livro
|
|
Algebraic biology second international conference, AB 2007, Castle of Hagenberg, Austria July 2-4, 2007, proceedings
AB 2007 (2007 Castle of Hagenberg, Austria) Hirokazu Anai; Katsuhisa Horimoto; Temur Kutsia
Berlin Springer 2007
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.4545 )(Acessar)
|
12
|
Material Type: Livro
|
|
A theory of objects
Mart in Abadi Luca Cardelli
New York Springer 1998, c1996
Localização:
IME - Inst. Matemática e Estatística
(QA754.4 A116t )(Acessar)
|
13
|
Material Type: Livro
|
|
Reliability theory and models stochastic failure models, optimal maintenance policies, life testing, and structures
Mohamed S Abdel-Hameed; E Ǹnlar 1941- (Erhan); Joseph Quinn
Orlando, Fla. Academic Press 1984
Localização:
IME - Inst. Matemática e Estatística
(QA285.3.C A135r )(Acessar)
|
14
|
Material Type: Livro
|
|
Neural networks and fuzzy systems theory and applications
Shigeo Abe Anca L Ralescu 1949-
Boston Kluwer Academic c1997
Localização:
IME - Inst. Matemática e Estatística
(QA860 A138n )(Acessar)
|
15
|
Material Type: Livro
|
|
Pattern classification neuro-fuzzy methods and their comparison
Shigeo Abe 1947
London Springer New York c2001
Localização:
IME - Inst. Matemática e Estatística
(QA862 A138p )(Acessar)
|
16
|
Material Type: Livro
|
|
Structure and interpretation of computer programs
Harold Abelson Gerald Jay Sussman; Julie Sussman
Cambridge, Mass. MIT Press New York McGraw-Hill c1985
Localização:
IAG - Inst. Ast. Geo. Ciên. Atmosféricas
(591.68 A123s ) e outros locais(Acessar)
|
17
|
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)
|
18
|
Material Type: Livro
|
|
Formal methods for industrial applications specifying and programming the steam boiler control
Jean-Raymond Abrial; E Borger; Langmaack, H
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1165 CD-ROM ) e outros locais(Acessar)
|
19
|
Material Type: Livro
|
|
Affective computing and intelligent interaction second international conference, ACII 2007, Lisbon Portugal, September 12-14, 2007 : proceedings
ACII 2007 (2007 Lisbon, Portugal) Ana Paiva; Rui Prada; Rosalind W Picard
Berlin Springer New York c2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4738 ) e outros locais(Acessar)
|
20
|
Material Type: Livro
|
|
Information security and privacy 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001 : proceedings
ACISP 2001 (2001 Sydney, N.S.W.) Vijay Varadharajan; Yi Mu
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2119 ) e outros locais(Acessar)
|