Resultados de 1 a 10 de 40 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Disponível na Biblioteca (36)
- Recursos Online (7)
Refinado por:
data de publicação:
Após 2010
| 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. |
Resultados de 1 a 10 de 40 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (36)
- Recursos Online (7)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (20)
- Livros (16)
- Produções Acadêmicas (3)
- Outros (1)
-
Mais opções
Assunto
- Engenharia De Software (17)
- Software Engineering (8)
- Sistemas De Informação (7)
- Ontologia (3)
- World Wide Web (3)
- Teste E Avaliação De Software (3)
- Ciência Da Computação (3)
- Expert Systems (Computer Science) (3)
- Application Software (2)
- Inteligência Artificial (2)
- Artificial Intelligence (2)
- Aprendizagem (2)
- Middleware (2)
- Multimídia Interativa (2)
- User Interfaces (Computer Systems) (2)
- Softwares (2)
- Computer Science (2)
- Engenharia De Sistemas De Computação (2)
- Desenvolvimento De Software (2)
- Web Semântica (2)
-
Mais opções
Autor/Criador
- Nakagawa, E (4)
- Souza, S (4)
- Brandão, A (3)
- Simão, A (3)
- Braga, R (2)
- ACM/IFIP/USENIX international Conference on Middleware (2)
- Casare, S (2)
- Kon, F (2)
- Ziadi, T (2)
- Guessoum, Z (2)
- Lucrédio, D (2)
- International Conference on Software Engineering and Formal Methods - SEFM (2)
- Knowledge Systems Institute Graduate School (2)
- Oliveira, A (2)
- Fortes, R (2)
- Kermarrec, A (2)
- Isotani, S (2)
- International Conference on Software Engineering and Knowledge Engineering (2)
- European Conference of Computer Science (2)
- Paschoal, L (2)
-
Mais opções
Data de Publicação
- Antes de2013 (14)
- 2013Até2014 (9)
- 2015Até2016 (6)
- 2017Até2019 (9)
- Após 2019 (2)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (20)
- IME - Inst. Matemática e Estatística (7)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (3)
- FEA - Fac. Econ. Adm. Contab. e Atuária (2)
- EPBC - Esc. Politécnica-Bib Central (2)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- CENA - Cent. En. Nuclear na Agricultura (1)
- IF - Instituto de Física (1)
-
Mais opções
Idioma
- Inglês (36)
- Português (4)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (7)
- Proceedings (6)
- Lecture Notes in Computer Science - LNCS (2)
- Communications in Computer and Information Science (1)
- Software engineering and formal methods (1)
- Communications in Computer and Information Science - CCIS (1)
- Recent advances in information science: proceedings (1)
- Middleware 2011 : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings (1)
- Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 