skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Free E-Journal (出版社公開部分のみ） remover tipo de recurso: Recursos Textuais remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Le pillage de la communauté des logiciels libres
Le pillage de la communauté des logiciels libres
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Le pillage de la communauté des logiciels libres

O'Neil, Mathieu ; Muselli, Laure ; Pailler, Fred ; Zacchiroli, Stefano

Le Monde Diplomatique, 2022, p.20-21

Le Monde

Texto completo disponível

Citações Citado por
2
Preface
Preface
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Preface

Accattoli, Beniamino ; Olarte, Carlos

Electronic Notes in Theoretical Computer Science, 2019, Vol.344, p.1-2

Elsevier

Texto completo disponível

Citações Citado por
3
Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)
Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)

Dawar, Anuj ; Muscholl, Anca ; Palamidessi, Catuscia

Logical Methods in Computer Science, 2019

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
4
PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving
PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving

Keller, Chantal ; Fleury, Mathias

Electronic Proceedings in Theoretical Computer Science, 2021, Vol.336

EPTCS

Texto completo disponível

Citações Citado por
5
Special Issue : Symbolic Computation and Satisfiability Checking
Special Issue : Symbolic Computation and Satisfiability Checking
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Issue : Symbolic Computation and Satisfiability Checking

Davenport, James Harold ; England, Matthew ; Griggio, Alberto ; Sturm, Thomas ; Tinelli, Cesare

Journal of Symbolic Computation, 2020, Vol.100

Elsevier

Texto completo disponível

Citações Citado por
6
Deep Learning in Medical Image Process
Deep Learning in Medical Image Process
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Deep Learning in Medical Image Process

Hung, Che-Lun ; Lin, Chun-Yuan ; Magoules, Frederic

Electronics, 2023, Vol.2022-2023

MDPI

Texto completo disponível

Citações Citado por
7
L'INTELLIGENCE ARTIFICIELLE AU CHEVET DES COLLECTIONS IMPRIMÉES : UN OUTIL D'ALERTE POUR LA CONSERVATION-RESTAURATION
L'INTELLIGENCE ARTIFICIELLE AU CHEVET DES COLLECTIONS IMPRIMÉES : UN OUTIL D'ALERTE POUR LA CONSERVATION-RESTAURATION
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

L'INTELLIGENCE ARTIFICIELLE AU CHEVET DES COLLECTIONS IMPRIMÉES : UN OUTIL D'ALERTE POUR LA CONSERVATION-RESTAURATION

Chane, Camille Simon ; Lee, Valérie

Bulletin des Bibliothèques de France, 2022

École Nationale Supérieure des Sciences de l'Information et des Bibliothèques (ENSSIB)

Texto completo disponível

Citações Citado por
8
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Formal Verification and Static Analysis of Molecular Devices and Biological Systems

Feret, Jérôme ; Paulevé, Loïc ; Šafránek, David

Theoretical Computer Science, 2019, Vol.765

Elsevier

Texto completo disponível

Citações Citado por
9
Éditorial, Journal
Éditorial, Journal
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Éditorial, Journal

Sallaberry, Christian ; Martins, Bruno

ISPRS International Journal of Geo-Information, 2020, Vol.9 (9)

MDPI

Texto completo disponível

Citações Citado por
10
Special issue on type-theoretical approaches to lexical semantics
Special issue on type-theoretical approaches to lexical semantics
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special issue on type-theoretical approaches to lexical semantics

Cooper, Robin ; Retoré, Christian

Journal of Language Modelling, 2017, Vol.5 (2)

Institute of Computer Science, Polish Academy of Sciences, Poland

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1992  (14)
  2. 1992Até2002  (10)
  3. 2003Até2010  (37)
  4. 2011Até2018  (101)
  5. Após 2018  (80)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (165)
  2. Francês  (54)
  3. Espanhol  (12)
  4. Catalão  (9)
  5. Italiano  (1)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.