Resultados de 1 a 10 de 120.124 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 (97.966)
Refinado por:
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
|
|
Stan: A Probabilistic Programming LanguageCarpenter, Bob ; Gelman, Andrew ; Hoffman, Matthew D ; Lee, Daniel ; Goodrich, Ben ; Betancourt, Michael ; Brubaker, Marcus A ; Guo, Jiqiang ; Li, Peter ; Riddell, AllenJournal of statistical software, 2017, Vol.76 (1), p.1-32 [Periódico revisado por pares]United States: Foundation for Open Access StatisticsTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
RustBelt: securing the foundations of the rust programming languageJung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert ; Dreyer, DerekProceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34 [Periódico revisado por pares]ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Image-based many-language programming language identificationDel Bonifro, Francesca ; Gabbrielli, Maurizio ; Lategano, Antonio ; Zacchiroli, StefanoPeerJ. Computer science, 2021-07, Vol.7, p.e631-e631, Article e631 [Periódico revisado por pares]San Diego: PeerJ. LtdTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Cubical agda: a dependently typed programming language with univalence and higher inductive typesVezzosi, Andrea ; Mörtberg, Anders ; Abel, AndreasProceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-29 [Periódico revisado por pares]ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
A simple differentiable programming languageAbadi, Martín ; Plotkin, Gordon DProceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-28 [Periódico revisado por pares]ACMTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Profiling Programming Language LearningCrichton, Will ; Krishnamurthi, ShriramProceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.29-54, Article 95 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languagesChoudhury, Vikraman ; Karwowski, Jacek ; Sabry, AmrProceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-32 [Periódico revisado por pares]Texto completo disponível |
| 8 |
Material Type: Artigo
|
|
Catala: a programming language for the lawMerigoux, Denis ; Chataing, Nicolas ; Protzenko, JonathanProceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29 [Periódico revisado por pares]ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Flipped Classroom with Problem Based Activities: Exploring Self-regulated Learning in a Programming Language CourseCakiroglu, Unal ; Ozturk, MucahitEducational Technology ＆ Society, 2017-01, Vol.20 (1), p.337-349 [Periódico revisado por pares]Palmerston North: International Forum of Educational Technology ＆ SocietyTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Bridging the gap between programming languages and hardware weak memory modelsPodkopaev, Anton ; Lahav, Ori ; Vafeiadis, ViktorProceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-31 [Periódico revisado por pares]ACMTexto completo disponível |
Resultados de 1 a 10 de 120.124 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 (97.966)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (119.036)
- Anais de Congresso (805)
- Resenhas (189)
- Conjunto de Dados (49)
- Book Chapters (16)
- magazinearticle (9)
- Web Resources (8)
- Reports (5)
- Recursos Textuais (3)
- Dissertações (2)
- Newsletter Articles (1)
- Livros (1)
-
Mais opções
Assunto
- Science & Technology (74.225)
- Life Sciences & Biomedicine (32.127)
- Technology (29.904)
- Algorithms (22.194)
- Physical Sciences (20.722)
- Engineering (15.507)
- Software (15.057)
- Humans (14.903)
- Computer Science (14.720)
- Science & Technology - Other Topics (14.480)
- Analysis (11.847)
- Methods (11.684)
- Machine Learning (11.478)
- Multidisciplinary Sciences (11.019)
- Social Sciences (9.785)
- Programming Languages (9.211)
- Chemistry (8.590)
- Neural Networks (8.431)
- Artificial Intelligence (8.085)
- Environmental Sciences & Ecology (7.709)
-
Mais opções
Data de Publicação
- Antes de1985 (18)
- 1985Até1993 (81)
- 1994Até2002 (1.137)
- 2003Até2012 (12.525)
- Após 2012 (106.369)
-
Mais opções
Base de Dados/Biblioteca
- ROAD (120.124)
- EZB Electronic Journals Library (100.752)
- DOAJ Directory of Open Access Journals (96.902)
- Gale Academic OneFile Select (69.508)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (60.748)
- Science Citation Index Expanded (Web of Science) (51.625)
- IngentaConnect Journals (46.846)
- PubMed Central (45.260)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (19.484)
- EBSCOhost Academic Search Premier (17.358)
- Free E- Journals (15.540)
- SpringerLink (Online service) (14.815)
- SpringerOpen (14.623)
- arXiv.org (13.200)
- Open Access: BioMedCentral Open Access Titles (11.255)
- Public Library of Science (7.256)
- Open Access: Nature Open Access (4.575)
- Aerospace Database (4.389)
- Nature Journals Online (4.358)
- Materials Research Database (3.971)
-
Mais opções
Idioma
Nome da Publicação
- arXiv.org (13.194)
- Plos One (5.870)
- Arxiv (4.890)
- Applied Sciences (3.661)
- Sensors (3.321)
- Sustainability (2.959)
- Scientific Reports (2.913)
- Bmc Bioinformatics (2.831)
- Electronics (1.885)
- Energies (1.547)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 