Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 ProceedingsBörger, Egon ; Kleine Büning, Hans ; Richter, Michael M ; Schönfeld, Wolfgang Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. ; Schönfeld, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
2 |
Material Type: Livro
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 ProceedingsMaheshwari, S. N Maheshwari, S. N.Berlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
|
4 |
Material Type: Artigo
|
“No Girls on the Software Team”: Internship Experiences of Women in Computer ScienceLapan, Julia C. ; Smith, Katie N.Journal of career development, 2023-02, Vol.50 (1), p.119-134 [Periódico revisado por pares]Los Angeles, CA: SAGE PublicationsTexto completo disponível |
|
5 |
Material Type: Livro
|
Baltic Computer Science: Selected PapersBārzdinš, Janis ; Bjørner, Dines Bārzdinš, Janis ; Bjørner, DinesBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
6 |
Material Type: Artigo
|
Classification in the Presence of Label Noise: A SurveyFrenay, Benoit ; Verleysen, MichelIEEE transaction on neural networks and learning systems, 2014-05, Vol.25 (5), p.845-869New York, NY: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Addressing failures in exascale computingSnir, Marc ; Wisniewski, Robert W ; Abraham, Jacob A ; Adve, Sarita V ; Bagchi, Saurabh ; Balaji, Pavan ; Belak, Jim ; Bose, Pradip ; Cappello, Franck ; Carlson, Bill ; Chien, Andrew A ; Coteus, Paul ; DeBardeleben, Nathan A ; Diniz, Pedro C ; Engelmann, Christian ; Erez, Mattan ; Fazzari, Saverio ; Geist, Al ; Gupta, Rinku ; Johnson, Fred ; Krishnamoorthy, Sriram ; Leyffer, Sven ; Liberty, Dean ; Mitra, Subhasish ; Munson, Todd ; Schreiber, Rob ; Stearley, Jon ; Hensbergen, Eric VanThe international journal of high performance computing applications, 2014-05, Vol.28 (2), p.129-173 [Periódico revisado por pares]London, England: SAGE PublicationsTexto completo disponível |
|
8 |
Material Type: Artigo
|
On Lattices, Learning with Errors, Random Linear Codes, and CryptographyREGEV, OdedJournal of the ACM, 2009-09, Vol.56 (6), p.1-40 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
|
9 |
Material Type: Livro
|
Pyomo: Optimization Modeling in PythonHart, William E ; Laird, Carl ; Watson, Jean-Paul ; Woodruff, David L Woodruff, David L ; Watson, Jean-Paul ; Laird, CarlNetherlands: Springer Nature 2012Texto completo disponível |
|
10 |
Material Type: Artigo
|
PROSPER (Project, Sustainability, and Perseverance) Learning Model in English for Computer ScienceWahyuni, Dewi Sari ; Rozimela, Yenni ; Ardi, Havid ; Mukhaiyar, Mukhaiyar ; Darmansyah, DarmansyahSustainability, 2022-12, Vol.14 (24), p.16749 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |