skip to main content

Sair
Identificação

Idioma:

Resultados de 1 a 10 de 2.222 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 (1.869)
Revistas revisadas por pares (962)

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 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: Capítulo de Livro		A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata Hausmann, Daniel ; Piterman, Nir Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, p.228 [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 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 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: 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
6	Material Type: Capítulo de Livro		Testing for Coordination Fidelity Alrahman, Yehia Abd ; Mezzina, Claudio Antares ; Vieira, Hugo Torres Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 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
7	Material Type: Livro		Post-Quantum Cryptography: 13th International Workshop, PQCrypto 2022, Virtual Event, September 28-30, 2022, Proceedings Cheon, Jung Hee ; Johansson, Thomas Johansson, Thomas ; Cheon, Jung Hee ; Cheon, Jung Hee ; Johansson, Thomas ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2022, Vol.13512 [Periódico revisado por pares] Cham: Springer International Publishing AG Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
8	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
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: Ata de Congresso		Is Privacy by Construction Possible? Schneider, Gerardo ISoLA'18, part I, volume 11244 of LNCS, pages 471-485, 2018, p.471-485 [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

Resultados de 1 a 10 de 2.222 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 (1.869)
Revistas revisadas por pares (962)

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