Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Open source systems: towards robust practicesFederico Balaguer Roberto Di Cosmo; Alejandra Garrido; Fábio Kon 1969-; Gregorio Robles; Stefano Zacchiroli; IFIP WG 2.13 International Conference on Open Source Systems - OSS 2017 (13. 2017 Buenos Aires, Argentina)Cham Springer 2017Localização: IME - Inst. Matemática e Estatística (QA715.C B171o ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Proceedings of the SBMF 2005 Brazilian Symposium on Formal Methods, Instituto de Informática - UFRGS, Porto Alegre, Brazil, November 28-30, 2005Brazilian Symposium on Formal Methods (November, 28th-30th Porto Alegre, Brazil) Augusto Sampaio; Álvaro Freitas Moreira; Leila Ribeiro; Sociedade Brasileira de Computação.; Sociedade Brasileira de ComputaçãoPorto Alegre SBC 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 B826pm 2005 e.1 )(Acessar) |
|
3 |
Material Type: Livro
|
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen GargBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4337 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio]Clare Dixon Marcelo FingerDixon, Clare; Finger, Marcelo (Ed.) Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings Cham: Springer International Publishing, 2017Cham Springer International Publishing 2017Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Advanced techniques in computing sciences and software engineeringKhaled Elleithy; International Conference on Systems, Computing Sciences and Software Engineering (2008); International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (2008)Dordrecht Springer New York 2010Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004 Ad95 )(Acessar) |
|
6 |
Material Type: Livro
|
ERI 2006 XIII Escola Regional de Informática da Sociedade Brasileira de Computação (SBC) - Sul - Paraná de 22 a 26 de maio de 2006, Bandeirantes - PREscola Regional de Informática da Sociedade Brasileira de Computação (SBC) - Sul - Paraná (13. 2006 Bandeirantes - PR) Katia Romero Felizardo; Sociedade Brasileira de Computação.; Sociedade Brasileira de Computação; ERIBandeirante, PR FFALM 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 E74er 2006 e.1 CD-ROM )(Acessar) |
|
7 |
Material Type: Livro
|
Formal Methods in Systems Biology first international workshop, FMSB 2008, Cambridge UK, June 4-5, 2008 : proceedingsFMSB 2008 (2008 Cambridge, England) Jasmin FisherBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.5054 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
SEKE 2005 the 17th International Conference on Software Engineering & Knowledge Engineering : proceedings, technical program, July 14-16, 2005, Taipei, TaiwanInternational Conference on Software Engineering and Knowledge Engineering (17th 2005 Taipei, Taiwan) Knowledge Systems Institute Graduate School; University of Calgary Informatics Circle of Research ExcellenceSkokie, Il. Knowledge Systems Institute c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 I61sk 2005 e.1 )(Acessar) |
|
9 |
Material Type: Livro
|
SEKE 2006 the 18th International Conference on Software Engineering & Knowledge Engineering : proceedings, technical program, July 5-7, 2006, Hotel Sofitel, San Francisco Bay, California, USAInternational Conference on Software Engineering and Knowledge Engineering (18th 2006 San Francisco Bay, Calif.) Knowledge Systems Institute Graduate SchoolSkokie, Il. Knowledge Systems Institute c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 I61sk 2006 CD-ROM e.1 )(Acessar) |
|
10 |
Material Type: Livro
|
Applied computing 2006 the 21st annual ACM Symposium on Applied Computing : proceedings of the 2006 ACM Symposium on Applied Computing, Dijon, France, april 23-27, 2006Symposium on Applied Computing (21th 2006 Dijon, France) Hisham M Haddad; Association for Computing MachineryNew York Association for Computing Machinery c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 SAC 2006 v.2 e.1 )(Acessar) |