skip to main content

Idioma:

Resultados de 1 a 10 de 244 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Revistas revisadas por pares (96)

Refinado por: Base de dados/Biblioteca: Computers & Applied Sciences Complete

remover

Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science)

remover

Gale Academic OneFile Select

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		A Survey of Smart Contract Formal Specification and Verification Tolmach, Palina ; Li, Yi ; Lin, Shang-Wei ; Liu, Yang ; Li, Zengxiang ACM computing surveys, 2022-09, Vol.54 (7), p.1-38, Article 148 [Periódico revisado por pares] New York, NY, USA: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo		Exploring the relationship of ESG score and firm value using cross-lagged panel analyses: case of the Indian energy sector Behl, Abhishek ; Kumari, P. S. Raghu ; Makhija, Harnesh ; Sharma, Dipasha Annals of operations research, 2022-06, Vol.313 (1), p.231-256 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		Beyond Multimedia Authoring: On the Need for Mulsemedia Authoring Tools Mattos, Douglas Paulo De ; Muchaluat-Saade, Débora C. ; Ghinea, Gheorghita ACM computing surveys, 2022-09, Vol.54 (7), p.1-31, Article 150 [Periódico revisado por pares] New York, NY, USA: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Smart supply chain management in Industry 4.0: the review, research agenda and strategies in North America Zhang, Guoqing ; Yang, Yiqin ; Yang, Guoqing Annals of operations research, 2023-03, Vol.322 (2), p.1075-1117 [Periódico revisado por pares] New York: Springer US Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo		A Survey of Parametric Static Analysis Park, Jihyeok ; Lee, Hongki ; Ryu, Sukyoung ACM computing surveys, 2022-09, Vol.54 (7), p.1-37, Article 149 [Periódico revisado por pares] New York, NY, USA: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		Topology-varying 3D shape creation via structural blending Alhashim, Ibraheem ; Li, Honghua ; Xu, Kai ; Cao, Junjie ; Ma, Rui ; Zhang, Hao ACM transactions on graphics, 2014-07, Vol.33 (4), p.1-10 [Periódico revisado por pares] Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		On the Impact of Programming Languages on Code Quality: A Reproduction Study Berger, Emery D. ; Hollenbeck, Celeste ; Maj, Petr ; Vitek, Olga ; Vitek, Jan ACM transactions on programming languages and systems, 2019-12, Vol.41 (4), p.1-24, Article 21 [Periódico revisado por pares] New York, NY, USA: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		Conceptual Representations for Computational Concept Creation Xiao, Ping ; Toivonen, Hannu ; Gross, Oskar ; Cardoso, Amílcar ; Correia, João ; Machado, Penousal ; Martins, Pedro ; Oliveira, Hugo Goncalo ; Sharma, Rahul ; Pinto, Alexandre Miguel ; Díaz, Alberto ; Francisco, Virginia ; Gervás, Pablo ; Hervás, Raquel ; León, Carlos ; Forth, Jamie ; Purver, Matthew ; Wiggins, Geraint A. ; Miljković, Dragana ; Podpečan, Vid ; Pollak, Senja ; Kralj, Jan ; Žnidaršič, Martin ; Bohanec, Marko ; Lavrač, Nada ; Urbančič, Tanja ; Velde, Frank Van Der ; Battersby, Stuart ACM computing surveys, 2019-02, Vol.52 (1), p.1-33 [Periódico revisado por pares] Baltimore: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph ; Olmedo, Federico Journal of the ACM, 2018-09, Vol.65 (5), p.1-68, Article 30 [Periódico revisado por pares] New York, NY, USA: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		Cognition in Software Engineering: A Taxonomy and Survey of a Half-Century of Research Fagerholm, Fabian ; Felderer, Michael ; Fucci, Davide ; Unterkalmsteiner, Michael ; Marculescu, Bogdan ; Martini, Markus ; Tengberg, Lars Göran Wallgren ; Feldt, Robert ; Lehtelä, Bettina ; Nagyváradi, Balázs ; Khattak, Jehan ACM computing surveys, 2022-01, Vol.54 (11s), p.1-36, Article 226 [Periódico revisado por pares] New York, NY: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 244 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Revistas revisadas por pares (96)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento