Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
José Meseguer: Scientist and Friend ExtraordinaireMartí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, CarolynLogic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Basic Concepts and PreliminariesTripathy, Priyadarshi ; Naik, Kshirasagar ; Tripathy, Priyadarshi ; Naik, Kshirasagar Tripathy, Priyadarshi ; Naik, KshirasagarSoftware Evolution and Maintenance, 2014, p.1-24United States: John Wiley & Sons, IncorporatedTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Gender and Human‐Computer InteractionBreslin, Samantha ; Wadhwa, Bimlesh Norman, Kent L ; Kirakowski, JurekThe Wiley Handbook of Human Computer Interaction, 2018, p.71-87Chichester, UK: John Wiley & Sons, LtdTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Adaptive Dynamic Programming for Machine IntelligenceHe, Haibo He, HaiboSelf-Adaptive Systems for Machine Intelligence, 2011, p.140-164United States: WileyTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Optimization of Collective Communication for Heterogeneous HPC PlatformsDichev, Kiril ; Lastovetsky, Alexey Zilinskas, Julius ; Jeannot, Emmanuel ; Žilinskas, Julius ; Jeannot, EmmanuelHigh-Performance Computing on Complex Environments, 2014, Vol.96, p.95-114Hoboken, NJ, USA: WileyTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Learner-Centered Language Programs: Integrating Disparate Resources for Task-Based InteractionZaphiris, Panayiotis ; Zacharia, GiorgosUser-Centered Computer Aided Language Learning, 2005, p.116-132Panama: IGI GlobalTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
E-Textbooks as a Classroom ToolKhosrow-Pour, MehdiEncyclopedia of Information Science and Technology, Third Edition, 2014, p.2288-2297IGI GlobalTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Formal Methods OverviewKhosrow-Pour, MehdiEncyclopedia of Information Science and Technology, Third Edition, 2014, p.7152-7161IGI GlobalTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Data Mining and Knowledge Discovery in DatabasesKhosrow-Pour, MehdiEncyclopedia of Information Science and Technology, Third Edition, 2014, p.1713-1722IGI GlobalTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Qualitative Research on Practice in Small Software CompaniesKhosrow-Pour, MehdiEncyclopedia of Information Science and Technology, Third Edition, 2014, p.650-658IGI GlobalTexto completo disponível |