Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Languages, compilers, and tools for embedded systems ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 19-20, 1998 : proceedingsACM SIGPLAN Workshop LCTES '98 (1998 Montréal, Québec) Frank Mueller 1966-; Azer Bestavros 1961-Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1474 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Engineering a compilerKeith D. Cooper Linda TorczonAmsterdam Elsevier/Morgan Kaufmann Boston c2012Localização: ICMC - Inst. Ciên. Mat. Computação (68N20 C776ec.2 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo
|
Vanishing topology of codimension 1 multi-germs over R and CT Cooper D Mond; Roberta Wik AtiqueCompositio Mathematica Netherlands : Kluwer Academic Publishers v. 131, n. 2, p. 121-160, abr. 2002Netherlands 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2218819 )(Acessar) |
|
4 |
Material Type: Artigo
|
Vanishing topology of codimension 1 multi-germs over R and CT Cooper D Mond; Roberta Godoi Wik AtiqueCompositio Mathematica Netherlands : Kluwer Academic Publishers v. 131, n. 2, p. 121-160, abr. 2002Netherlands 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2218819 )(Acessar) |
|
5 |
Material Type: Livro
|
Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedingsFuji International Symposium on Functional and Logic Programming (8th 2006 Susono-shi, Japan) Masami Hagiya 1957; Philip Wadler 1956Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Stochastic modelsDaniel P Heyman; Matthew J SobelAmsterdam New York North-Holland New York, NY, U.S.A. Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co. 1990Localização: EPBC - Esc. Politécnica-Bib Central (519.216 H516s ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Compiler construction 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedingsInternational Conference on Compiler Construction (7th 1998 Lisbon, Portugal) Kai Koskimies; Joint European Conferences on Theory and Practiceof Software, ETAPS'98, 7GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1383 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo
|
An analysis and evaluation of the WeFold collaborative for protein structure prediction and its pipelines in CASP11 and CASP12George A Khoury Adam Liwo; Firas Khatib; Hongyi Zhou; Gaurav Chopra; Jaume Bacardit; Leandro O Bortot (Leandro Oliveira Bortot); Rodrigo A Faccioli (Faccioli, Rodrigo Antonio); Xin Deng; Yi He; Pawel Krupa; Jilong Li; Magdalena A Mozolewska; Adam K Sieradzan; James Smadbeck; Tomasz Wirecki; Seth Cooper; Jeff Flatten; Kefan Xu; David Baker; Jianlin Cheng; Alexandre Cláudio Botazzo Delbem; Christodoulos A Floudas; Chen Keasar; Michael Levitt; Zoran Popovic; Harold A Scheraga; Silvia N CrivelliScientific Reports Hoboken : Springer Nature Publishing AG v. 8, n. 9939, p. 1850-1868, 2018Basel 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2929990 )(Acessar) |
|
9 |
Material Type: Artigo
|
Wefold a coopetition for protein structure predictionGeorge A Khoury Adam Liwo; Firas Khatib; Hongyi Zhou; Gaurav Chopra; Jaume Bacardit; Leandro O Bortot (Leandro Oliveira Bortot); Rodrigo A Faccioli (Faccioli, Rodrigo Antonio); Xin Deng; Yi He; Pawel Krupa; Jilong Li; Magdalena A Mozolewska; Adam K Sieradzan; James Smadbeck; Tomasz Wirecki; Seth Cooper; Jeff Flatten; Kefan Xu; David Baker; Jianlin Cheng; Alexandre Cláudio Botazzo Delbem; Christodoulos A Floudas; Chen Keasar; Michael Levitt; Zoran Popovic; Harold A Scheraga; Silvia N CrivelliProteins Hoboken : Wiley-Liss v. 82, n. 9, p. 1850-1868, set 2014Hoboken, NJ, EUA 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2659716 )(Acessar) |