Resultados de 1 a 10 de 203.487 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 (202.620)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
PROSPER Learning Model in English for Computer ScienceWahyuni, Dewi Sari ; Rozimela, Yenni ; Ardi, Havid ; Mukhaiyar, Mukhaiyar ; Darmansyah, DarmansyahSustainability, 2022-12, Vol.14 (24), p.16749 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Automata theory in nominal setsBojańczyk, Mikołaj ; Klin, Bartek ; Lasota, SławomirLogical methods in computer science, 2014-08, Vol.10, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Handling Algebraic EffectsPlotkin, Gordon D ; Pretnar, MatijaLogical methods in computer science, 2013-12, Vol.9, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Supporting and Sustaining Equitable STEAM Activities in High School Classrooms: Understanding Computer Science Teachers’ Needs and Practices When Implementing an E-Textiles Curriculum to Forge Connections across CommunitiesFields, Deborah ; Kafai, YasminSustainability, 2023-05, Vol.15 (11), p.8468 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Optimal controller synthesis for timed systemsBusatto-Gaston, Damien ; Monmege, Benjamin ; Reynier, Pierre-AlainLogical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
A Bit of Nondeterminism Makes Pushdown Automata Expressive and SuccinctGuha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, MartinLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Arena-Independent Finite-Memory Determinacy in Stochastic GamesBouyer, Patricia ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, PierreLogical methods in computer science, 2023-12, Vol.19, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
The MLIP package: moment tensor potentials with MPI and active learningNovikov, Ivan S ; Gubaev, Konstantin ; Podryabinkin, Evgeny V ; Shapeev, Alexander VMachine learning: science and technology, 2021-06, Vol.2 (2), p.25002 [Periódico revisado por pares]Bristol: IOP PublishingTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Tameness and the power of programs over monoids in DAGrosshans, Nathan ; Mckenzie, Pierre ; Segoufin, LucLogical methods in computer science, 2022-08, Vol.18, Issue 3 (3) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
Resultados de 1 a 10 de 203.487 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 (202.620)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (203.097)
- Anais de Congresso (388)
- Resenhas (1)
- Book Chapters (1)
-
Mais opções
Assunto
- Science & Technology (203.466)
- Multidisciplinary Sciences (154.156)
- Humans (53.739)
- Physical Sciences (51.869)
- Biology And Life Sciences (38.538)
- Technology (35.068)
- Physics (30.677)
- Analysis (30.601)
- Nanoscience & Nanotechnology (29.602)
- Medicine And Health Sciences (28.663)
- Male (26.816)
- Female (26.720)
- Physics, Applied (25.721)
- Materials Science (25.579)
- Research And Analysis Methods (24.843)
- Multidisciplinary (24.345)
- Materials Science, Multidisciplinary (24.061)
- Algorithms (23.351)
- Animals (22.952)
-
Mais opções
Data de Publicação
- Antes de2001 (60)
- 2001Até2005 (79)
- 2006Até2010 (4.271)
- 2011Até2016 (55.423)
- Após 2016 (143.655)
-
Mais opções
Base de Dados/Biblioteca
- ROAD: Directory of Open Access Scholarly Resources (203.487)
- DOAJ Directory of Open Access Journals (202.278)
- Free E-Journal (出版社公開部分のみ） (201.463)
- Science Citation Index Expanded (Web of Science) (172.787)
- Open Access: PubMed Central (158.595)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (150.193)
- Academic OneFile (130.807)
- IngentaConnect Journals (128.756)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (82.844)
- EBSCO_Academic Search Premier (73.950)
- Public Library of Science (PLoS) Journals Open Access (69.974)
- Open Access: Nature Open Access (50.413)
- Nature_系列刊 (50.413)
- Springer_OA刊 (49.978)
- Aerospace Database (32.428)
- Materials Research Database (31.338)
- Engineered Materials Abstracts (31.266)
- METADEX (31.194)
- ANTE: Abstracts in New Technology & Engineering (19.138)
- Aluminium Industry Abstracts (18.635)
-
Mais opções
Idioma
Nome da Publicação
- Plos One (69.974)
- Scientific Reports (37.385)
- Sustainability (17.452)
- Nanomaterials (14.664)
- Symmetry (11.109)
- Nature Communications (9.993)
- Springerplus (4.195)
- Nanoscale Research Letters (4.186)
- Discrete Dynamics In Nature And Society (3.899)
- Micromachines (3.244)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 