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: Livro
|
![]() |
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papersFATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. DBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papersFATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten WeiseBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3997 ) e outros locais(Acessar) |
6 |
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 |
7 |
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 |
8 |
Material Type: Artigo
|
![]() |
What Security Questions Do Developers Ask? A Large-Scale Study of Stack Overflow PostsYang, Xin-Li ; Lo, David ; Xia, Xin ; Wan, Zhi-Yuan ; Sun, Jian-LingJournal of computer science and technology, 2016-09, Vol.31 (5), p.910-924 [Periódico revisado por pares]New York: Springer USTexto 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
|
![]() |
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 |