Resultados de 1 a 10 de 19.069 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Revistas revisadas por pares (12.315)
Refinado por:
assunto:
Computer Science, Information Systems
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Process Mining: Discovery, Conformance and Enhancement of Business ProcessesAalst, Wil M. P. van derBerlin, Heidelberg: Springer-Verlag 2011Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted CodeGeorges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas ; Timany, Amin ; Trieu, Alix ; Devriese, Dominique ; Birkedal, LarsJournal of the ACM, 2024-02, Vol.71 (1), p.1-59, Article 3 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
The Complexity of Finite-Valued CSPsThapper, Johan ; Živný, StanislavJournal of the ACM, 2016-11, Vol.63 (4), p.1-33 [Periódico revisado por pares]New York: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Full Abstraction for Probabilistic PCFEhrhard, Thomas ; Pagani, Michele ; Tasson, ChristineJournal of the ACM, 2018-08, Vol.65 (4), p.1-44 [Periódico revisado por pares]New York: ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
The Reachability Problem for Two-Dimensional Vector Addition Systems with StatesBlondin, Michael ; Englert, Matthias ; Finkel, Alain ; GÖller, Stefan ; Haase, Christoph ; Lazić, Ranko ; Mckenzie, Pierre ; Totzke, PatrickJournal of the ACM, 2021-10, Vol.68 (5), p.1-43 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Materializing knowledge bases via trigger graphsTsamoura, Efthymia ; Carral, David ; Malizia, Enrico ; Urbani, JacopoProceedings of the VLDB Endowment, 2021-02, Vol.14 (6), p.943-956 [Periódico revisado por pares]VLDB EndowmentTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
A Domain-theoretic Approach to Statistical Programming LanguagesGoubault-Larrecq, Jean ; Jia, Xiaodong ; Théron, ClémentJournal of the ACM, 2023-10, Vol.70 (5), p.1-63, Article 35 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
A map of dependencies among three-valued logicsCiucci, D. ; Dubois, D.Information sciences, 2013-11, Vol.250, p.162-177 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Rewriting the infinite chaseBenedikt, Michael ; Buron, Maxime ; Germano, Stefano ; Kappelmann, Kevin ; Motik, BorisProceedings of the VLDB Endowment, 2022-07, Vol.15 (11), p.3045-3057 [Periódico revisado por pares]Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
Semantic Optimization of Conjunctive QueriesBarceló, Pablo ; Figueira, Diego ; Gottlob, Georg ; Pieris, AndreasJournal of the ACM, 2020-11, Vol.67 (6), p.1-60 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
Resultados de 1 a 10 de 19.069 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (12.315)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (12.403)
- Anais de Congresso (6.086)
- Book Chapters (399)
- magazinearticle (152)
- Livros (28)
- Resenhas (1)
-
Mais opções
Assunto
- Science & Technology (19.064)
- Technology (19.064)
- Computer Science (19.063)
- Engineering (9.551)
- Engineering, Electrical & Electronic (8.617)
- Telecommunications (6.301)
- Fuzzy Logic (5.598)
- Computer Science, Artificial Intelligence (3.825)
- Computer Science, Theory & Methods (3.304)
- Algorithms (3.137)
- Logic Gates (3.049)
- Computer Science, Software Engineering (2.787)
- Logic (2.702)
- Computer Science, Hardware & Architecture (2.010)
- Artificial Intelligence (1.929)
- Probabilistic Logic (1.742)
- Exact Sciences And Technology (1.600)
- Neural Networks (1.445)
- Applied Sciences (1.390)
-
Mais opções
Data de Publicação
- Antes de1972 (31)
- 1972Até1984 (83)
- 1985Até1997 (898)
- 1998Até2011 (5.927)
- Após 2011 (12.285)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (10.609)
- IEEE Electronic Library (IEL) Journals (5.560)
- EZB Electronic Journals Library (5.500)
- DOAJ Directory of Open Access Journals (4.399)
- ROAD (4.128)
- IEEE Electronic Library (IEL) Conference Proceedings (4.052)
- IEEE Open Access Journals (3.178)
- Materials Research Database (3.025)
- Engineered Materials Abstracts (2.993)
- METADEX (2.993)
- Springer journals (2.432)
- Springer Nature - Springer Journals All 2022 (2.377)
- EBSCOhost Computers and Applied Sciences Complete (2.372)
- ScienceDirect - Connect here FIRST to enable access (1.683)
- Gale Academic OneFile (Gale Reference Complete) (1.550)
- ACM Digital Library (1.103)
- IngentaConnect Journals (944)
- Journals@Ovid Full Text (793)
- Lecture Notes in Computer Science Archive (through to 1996) (692)
- SpringerLINK Lecture Notes in Computer Science (2015) (691)
-
Mais opções
Idioma
Nome da Publicação
- Ieee Access (3.001)
- Information Sciences (616)
- Electronics (571)
- International Journal Of Fuzzy Systems (552)
- Ieee Transactions On Knowledge And Data Engineering (452)
- Acta Informatica (389)
- Ieee Internet Of Things Journal (339)
- Multimedia Tools And Applications (273)
- Information Processing Letters (270)
- Ieee Transactions On Information Theory (244)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 