skip to main content

Idioma:

Resultados de 1 a 10 de 2.470 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

Recursos Online (2.096)
Revistas revisadas por pares (980)

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Ata de Congresso		A Formal Privacy Policy Framework for Social Networks Pardo, Raúl ; Schneider, Gerardo Salaün, Gwen ; Giannakopoulou, Dimitra 12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer Science, 2014, Vol.8702, p.378-392 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Ata de Congresso		COOL 2 – A Generic Reasoner forModal Fixpoint Logics (System Description) Görlitz, Oliver ; Hausmann, Daniel ; Humml, Merlin ; Pattinson, Dirk ; Prucker, Simon ; Schröder, Lutz Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023 [Periódico revisado por pares] Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
3	Material Type: Capítulo de Livro		Runtime Verification: Passing on the Baton Colombo, Christian ; Pace, Gordon J. ; Schneider, Gerardo Leucker, Martin ; Bartocci, Ezio ; Falcone, Yliès Formal Methods in Outer Space, 2021, p.89-107 [Periódico revisado por pares] Cham: Springer International Publishing Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
4	Material Type: Ata de Congresso		Modelling Flocks of Birds from the Bottom Up De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar ; Valiani, Serenella Margaria, Tiziana ; Steffen, Bernhard Lecture Notes in Computer Science book series (LNCS,volume 13703), 2022, p.82-96 [Periódico revisado por pares] Cham: Springer Nature Switzerland Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
5	Material Type: Ata de Congresso		A PO Characterisation ofReconfiguration Abd Alrahman, Yehia ; Martel, Mauricio ; Piterman, Nir Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022 [Periódico revisado por pares] Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
6	Material Type: Artigo		The UNITE database for molecular identification of fungi: handling dark taxa and parallel taxonomic classifications Nilsson, Rolf Henrik ; Larsson, Karl-Henrik ; Taylor, Andy F S ; Bengtsson-Palme, Johan ; Jeppesen, Thomas S ; Schigel, Dmitry ; Kennedy, Peter ; Picard, Kathryn ; Glöckner, Frank Oliver ; Tedersoo, Leho ; Saar, Irja ; Kõljalg, Urmas ; Abarenkov, Kessy Nucleic acids research, 2019-01, Vol.47 (D1), p.D259-D264 [Periódico revisado por pares] England: Oxford University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Capítulo de Livro		Testing for Coordination Fidelity Alrahman, Yehia Abd ; Mezzina, Claudio Antares ; Vieira, Hugo Torres Pugliese, Rosario ; Loreti, Michele ; Boreale, Michele ; Corradini, Flavio Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, Vol.11665 LNCS, p.152-169 [Periódico revisado por pares] Cham: Springer International Publishing Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
8	Material Type: Artigo		Programming interactions in collective adaptive systems by relying on attribute-based communication Abd Alrahman, Yehia ; De Nicola, Rocco ; Loreti, Michele Science of computer programming, 2020-06, Vol.192 (June), p.102428, Article 102428 [Periódico revisado por pares] Elsevier B.V Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Mycobiome diversity: high-throughput sequencing and identification of fungi Nilsson, R Henrik ; Anslan, Sten ; Bahram, Mohammad ; Wurzbacher, Christian ; Baldrian, Petr ; Tedersoo, Leho Nature reviews. Microbiology, 2019, Vol.17 (2), p.95-109 [Periódico revisado por pares] England: Nature Publishing Group Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		Preface Johansson, Thomas ; Smith-Tone, Daniel Post-Quantum Cryptography - 14th International Workshop, PQCrypto 2023, Proceedings,College Park, United States,2023-08-16 - 2023-08-18, 2023, Vol.14154 LNCS [Periódico revisado por pares] Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por

Resultados de 1 a 10 de 2.470 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

Recursos Online (2.096)
Revistas revisadas por pares (980)

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