Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
2007 Reviewer's ListIEEE transactions on software engineering, 2008, Vol.34 (1), p.154-156 [Periódico revisado por pares]New York: IEEE Computer SocietyTexto completo disponível |
|
2 |
Material Type: Report
|
8th International Symposium on Formal Aspects of Component Software : prelinary proceedingsArbab, Farhad ; Õlveczky, Peter Csaba2011Texto completo disponível |
|
3 |
Material Type: Artigo
|
Absolute quantification of myocardial blood flowYoshinaga, Keiichiro ; Manabe, Osamu ; Tamaki, NagaraJournal of nuclear cardiology, 2018-04, Vol.25 (2), p.635-651 [Periódico revisado por pares]New York: Elsevier IncTexto completo disponível |
|
4 |
Material Type: Artigo
|
Abstract Behavior types: A foundation model for components and their compositionARBAB, FarhadReport - Software engineering, 2003 (5), p.1-28Amsterdam: Centrum voor Wiskunde en InformaticaTexto completo disponível |
|
5 |
Material Type: Artigo
|
Abstract Behavior Types: a foundation model for components and their compositionArbab, FarhadScience of computer programming, 2005-03, Vol.55 (1), p.3-52 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Abstract Behavior Types: A Foundation Model for Components and Their CompositionArbab, FarhadFormal Methods for Components and Objects, 2003, p.33-70 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Artigo
|
Acknowledgment to Reviewers of Sustainability in 2020Sustainability Editorial Office Sustainability Editorial OfficeSustainability, 2021-01, Vol.13 (3), p.1299 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
8 |
Material Type: Artigo
|
Adaptation and Evolution in Dynamic Persistent EnvironmentsKeil, David ; Goldin, DinaElectronic notes in theoretical computer science, 2005-12, Vol.141 (5), p.163-179Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Livro
|
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected PapersCanal, Carlos ; Villari, Massimo Villari, Massimo ; Canal, CarlosNetherlands: Springer Nature 2013Texto completo disponível |
|
10 |
Material Type: Artigo
|
AN ALGORITHM FOR GENERATING NC TOOL PATHS FOR ARBITRARILY SHAPED POCKETS WITH ISLANDSHANSEN, A ; ARBAB, FACM transactions on graphics, 1992-04, Vol.11 (2), p.152-182 [Periódico revisado por pares]NEW YORK: Assoc Computing MachineryTexto completo disponível |