Resultados de 1 a 10 de 10.786 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 (10.603)
Refinado por:
Base de dados/Biblioteca:
EBSCOhost Academic Search Premier
Base de dados/Biblioteca:
ROAD: Directory of Open Access Scholarly Resources
Base de dados/Biblioteca:
ROAD: Directory of Open Access Scholarly Resources
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Induced betweenness in order-theoretic treesCourcelle, BrunoDiscrete mathematics and theoretical computer science, 2022-09, Vol.23 no. 2, special issue... (Special issues) [Periódico revisado por pares]DMTCSTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Bijective proofs for Eulerian numbers of types B and DSantocanale, LuigiDiscrete mathematics and theoretical computer science, 2023-03, Vol.23 no. 2, special issue... (Special issues) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Universal Horn Sentences and the Joint Embedding PropertyBodirsky, Manuel ; Rydval, Jakub ; Schrottenloher, AndréDiscrete mathematics and theoretical computer science, 2022-05, Vol.23 no. 2, special issue... (Special issues) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A Type System Describing UnboundednessParys, PawelDiscrete Mathematics and Theoretical Computer Science, 2020-08, Vol.22 (4), p.1-84 [Periódico revisado por pares]Nancy: DMTCSTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
IMP with exceptions over decorated logicEkici, BurakDiscrete Mathematics and Theoretical Computer Science, 2018-08, Vol.20 (2), p.1-43 [Periódico revisado por pares]Nancy: DMTCSTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Weak equivalence of higher-dimensional automataKahl, ThomasDiscrete mathematics and theoretical computer science, 2021-05, Vol.23 no. 1 (Automata, Logic and Semantics) [Periódico revisado por pares]Discrete Mathematics & Theoretical Computer ScienceTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Bijective proofs for Eulerian numbers of types B and D: Dedicated to Maurice Pouzet on the occasion of his 75th birthdaySantocanale, LuigiDiscrete mathematics and theoretical computer science, 2023 [Periódico revisado por pares]DMTCSTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Model-checking ecological state-transition graphsThomas, Colin ; Cosme, Maximilien ; Gaucherel, Cédric ; Pommereau, Franck Scarpino, Samuel V.PLoS computational biology, 2022-06, Vol.18 (6), p.e1009657-e1009657 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Relational Reinforcement Learning for Planning with Exogenous EffectsMartinez, David ; Alenya, Guillem ; Ribeiro, Tony ; Inoue, Katsumi ; Torras, CarmeJournal of machine learning research, 2017-08, Vol.18, p.1-44 [Periódico revisado por pares]Microtome PublishingTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Classical Combinatory LogicNour, KarimDiscrete Mathematics and Theoretical Computer Science, 2005-01, Vol.DMTCS Proceedings vol. AF,... (Proceedings), p.87-96 [Periódico revisado por pares]DMTCSTexto completo disponível |
Resultados de 1 a 10 de 10.786 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 (10.603)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (10.718)
- Resenhas (63)
- Reports (1)
- Anais de Congresso (1)
- Recursos Textuais (1)
- magazinearticle (1)
- Livros (1)
-
Mais opções
Assunto
- Science & Technology (8.822)
- Science & Technology - Other Topics (3.995)
- Multidisciplinary Sciences (3.994)
- Humans (3.452)
- Life Sciences & Biomedicine (2.930)
- Physical Sciences (2.839)
- Biology And Life Sciences (2.761)
- Social Sciences (2.413)
- Analysis (2.353)
- Algorithms (2.249)
- Computer And Information Sciences (2.126)
- Research And Analysis Methods (1.964)
- Methods (1.917)
- Technology (1.745)
- Biochemistry & Molecular Biology (1.485)
- Medicine And Health Sciences (1.462)
- Computer Science (1.434)
- Studies (1.422)
- Mathematical & Computational Biology (1.291)
- Biochemical Research Methods (1.291)
-
Mais opções
Base de Dados/Biblioteca
- EZB Electronic Journals Library (10.618)
- DOAJ Directory of Open Access Journals (10.405)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (9.616)
- Gale Academic OneFile (9.588)
- IngentaConnect Journals (8.129)
- PubMed Central (7.442)
- Science Citation Index Expanded (Web of Science) (7.240)
- MEDLINE Complete (7.165)
- Public Library of Science (5.117)
- SpringerLink (Online service) (2.308)
- SpringerOpen (2.290)
- BioMedCentral: Open Access (1.907)
- EBSCOhost Computers and Applied Sciences Complete (1.205)
- Electronic Library of Mathematics (525)
- Hindawi Publishing (Open access) (404)
- JSTOR All Journals (336)
- Taylor & Francis Online (244)
- JSTOR Arts and Sciences XII Collection (233)
-
Mais opções
Idioma
Nome da Publicação
- Plos One (3.929)
- Plos Computational Biology (923)
- Bmc Bioinformatics (664)
- Future Internet (493)
- Axioms (409)
- Eurasip Journal On Wireless Communications And Networking (373)
- Bmc Medical Informatics And Decision Making (340)
- Discrete Dynamics In Nature And Society (339)
- Educational Technology & Society (224)
- Bmc Public Health (177)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 