Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Theory and applications of satisfiability testing 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papersSAT 2004 (2004 Vancouver, B.C.) Holger H Hoos; David G Mitchell Ph. DBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Computational Fluid Dynamics and Reacting Gas FlowsGeorge R. Weinberger, Hans Engquist, Bjorn Sell Mitchell Luskin; Andrew MajdaSpringer New York 1988Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Recent Advances in Iterative MethodsAvner Miller, Willard Golub, Gene Friedman Gene Golub; Anne Greenbaum; Mitchell Luskin; Willard MillerSpringer New York 1994Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Machine learning an artificial intelligence approachRyszard Stanis±aw Michalski 1937-; Jaime G Carbonell (Jaime Guillermo); Tom M Mitchell 1951- (Tom Michael); John R Anderson 1947- (John Robert)Berlin New York Springer Verlag 1984,c1983Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (001.535 M621m ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Machine learning an artificial intelligence approachJohn R Anderson 1947- (John Robert); Ryszard Stanis±aw Michalski 1937-; Jaime G Carbonell (Jaime Guillermo); Tom M Mitchell 1951- (Tom Michael)Palo Alto, CA Tioga Pub. Co. c1983-Localização: ICMC - Inst. Ciên. Mat. Computação (68T35.01 M149 v.2 e.6 )(Acessar) |
6 |
Material Type: Artigo
|
![]() |
Robustness and reproducibility of simple and complex synthetic logic circuit designs using a DBTL loopBreschine Cummins Justin Vrana; Robert C Moseley; Hamed Eramian; Anastasia Deckard; Pedro Fontanarrosa; Daniel Bryce; Mark Weston; George Zheng; Joshua Nowak; Francis C Motta; Mohammed Eslami; Kara Layne Johnson; Robert P Goldman; Chris J Myers; Tessa Johnson; Matthew W Vaughn; Niall Gaffney; Joshua Urrutia; Shweta Gopaulakrishnan; Vanessa Biggers; Trissha R Higa; Lorraine A Mosqueda; Márcio Fuzeto Gameiro; Tomás Gedeon; Konstantin Mischaikow; Jacob Beal; Bryan Bartley; Tom Mitchell; Tramy T Nguyen; Nicholas Roehner; Steve HaaseSynthetic Biology Oxford : Oxford University Press v. 8, n. 1, p. 1-17, 2023Oxford 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3140067 )(Acessar) |