Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
On Deterministic Approximation of DNF', M. Luby, B. VelickoviAlgorithmica, 1996-04, Vol.16 (4-5), p.415-433 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
ON THE BASIS OF THE DIRECT PRODUCT OF PATHS AND WHEELSA. A. AL-RHAYYELInternational Journal of Mathematics and Mathematical Sciences, 1996, Vol.1996 (2), p.411-414 [Periódico revisado por pares]Hindawi LimitedsTexto completo disponível |
3 |
Material Type: Livro
|
![]() |
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Emerging trends in database and knowledge-base machines the application of parallel architectures to smart information systemsMahdi Abdelguerfi; S. H Lavington 1939- (Simon Hugh)Los Alamitos, Calif. IEEE Computer Society Press c1995Localização: EPBC - Esc. Politécnica-Bib Central (004.272 Em32 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Neural networks and fuzzy systems theory and applicationsShigeo Abe Anca L Ralescu 1949-Boston Kluwer Academic c1997Localização: IME - Inst. Matemática e Estatística (QA860 A138n )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Formal methods for industrial applications specifying and programming the steam boiler controlJean-Raymond Abrial Egon Borger; Hans LangmaackGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1996Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1165 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Formal methods for industrial applications specifying and programming the steam boiler controlJean-Raymond Abrial; E Borger; Langmaack, HBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1165 CD-ROM ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Information security and privacy Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 : proceedingsACISP '97 (1997 Sydney, N.S.W.) Vijay Varadharajan; Josef Pieprzyk 1949-; Yi MuBerlin Springer New York c1997Localização: IME - Inst. Matemática e Estatística (S L471c v.1270 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Applied computational geometry towards geometric engineering : selected papers [of the] FCRC'96 Workshop, WACG'96, held in Philadelphia, pa, may 27-28, 1996Acm Workshop on Applied Computational Geometry (1 1996 Philadelphia, Us) Ming C Lin; Dinesh Manocha; Federated Computing Research Conference, FCRC'96,2; WACG'96, held in Philadelphia, PA 1996Berlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1148 e.1 ) e outros locais(Acessar) |
10 |
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) |