Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Histories of ComputingMICHAEL SEAN MAHONEY Thomas HaighHarvard University Press 2011Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo de Congresso
|
![]() |
A model-driven approach for promoting cloud PaaS portabilityElias Adriano Nogueira da Silva Renata Pontin de Mattos Fortes; Daniel Lucrédio; Annual International Conference on Computer Science and Software Engineering - CASCON (23. 2013 Markhan, Canada)Proceedings Markhan : CAS Research/IBM Canada, 2013Markham CAS Research/IBM Canada 2013Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Artigo de Congresso
|
![]() |
On the testability of properties patternsSimone Hanazumi Ana Cristina Vieira de Melo; International Conference on Software Engineering and Formal Methods - SEFM (13. 2015 York, UK)Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Cham: Springer, 2015Cham Springer 2015Localização: IME - Inst. Matemática e Estatística (PROD-2726917 )(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Modeling and simulating interaction protocols using nested Petri netsMirtha Lina Fernández Venero Flávio Soares Corrêa da Silva; International Conference on Software Engineering and Formal Methods - SEFM (11th, 2013, Madrid)Software engineering and formal methods Cham: Springer, 2014Cham Springer 2014Localização: IME - Inst. Matemática e Estatística (PROD-2506371 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Artificial intelligence and computational intelligence third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings Part IIInternational Conference on Artificial Intelligence and Computational Intelligence (3rd 2011 Taiyuan Shi, China) Hepu DengBerlin Springer New York c2011Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Formal methods : foundations and applications 14th Brazilian Symposium on Formal Methods, SBMF 2011, São Paulo, September 26-30 2011 : revised selected papersBrazilian Symposium on Formal Methods (14th : 2011 : Sao Paulo, Brazil) Adenilso da Silva Simão; Carroll Morgan 1952-Heidelberg Springer c2011Localização: EACH - Esc. Artes, Ciências e Humanidades (005.1 B827f 2011 ) e outros locais(Acessar) |
7 |
Material Type: Dissertação de Mestrado
|
![]() |
Arquitetura de software para sistemas de tempo real.Oliveira, Wilson Prates DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-10-11Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Outros
|
![]() |
Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, ProceedingsAnne-Marie Kermarrec Fábio Kon 1969-; ACM/IFIP/USENIX international Conference on Middleware (12. 2011 Lisbon, Portugal)Berlin Springer 2011Localização: IME - Inst. Matemática e Estatística (PROD-3001189 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Model-driven software engineering in practiceMarco Brambilla 1976- Jordi Cabot; Manuel Wimmer; Morgan & Claypool PublishersSan Rafael, Calif. Morgan & Claypool c2012Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.01 B815md e.3 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Welcome to the 12th edition of the ACM/IFIP/USENIX International Middleware Conference. [Prefácio]Anne-Marie Kermarrec Fábio Kon 1969-; ACM/IFIP/USENIX international Conference on Middleware (12. 2011 Lisbon, Portugal)Kon, Fabio; Kermarrec, Anne-Marie, ed Middleware 2011 : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings Berlin : Springer, 2011Berlin Springer 2011Acesso online. A biblioteca também possui exemplares impressos. |