Resultados de 1 a 10 de 238.067 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 (198.778)
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
|
|
Bitcoin and the Theory of ComputationV. Sewell, MartinInternational journal of computer trends and technology, 2021-10, Vol.69 (10), p.43-46Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Prolegomena to an Operator Theory of ComputationBurgin, Mark ; Dodig-Crnkovic, GordanaInformation (Basel), 2020-07, Vol.11 (7), p.349 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
CoqQ: Foundational Verification of Quantum ProgramsZhou, Li ; Barthe, Gilles ; Strub, Pierre-Yves ; Liu, Junyi ; Ying, MingshengProceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.833-865, Article 29 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
With a Few Square Roots, Quantum Computing Is as Easy as PiCarette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; Sabry, AmrProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.546-574, Article 19 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Enriched Presheaf Model of Quantum FPCTsukada, Takeshi ; Asada, KazuyukiProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.362-392, Article 13 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic ObserversCeragioli, Lorenzo ; Gadducci, Fabio ; Lomurno, Giuseppe ; Tedeschi, GabrieleProceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1269-1297, Article 43 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
History of LogoSolomon, Cynthia ; Harvey, Brian ; Kahn, Ken ; Lieberman, Henry ; Miller, Mark L ; Minsky, Margaret ; Papert, Artemis ; Silverman, BrianProceedings of ACM on programming languages, 2020-06, Vol.4 (HOPL), p.1-66 [Periódico revisado por pares]ACMTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Timely ComputationElliott, ConalProceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.895-919, Article 219 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Structural, Electronic and Optical Properties of Titanium Based Fluoro-Perovskites MTiF3 (M = Rb and Cs) via Density Functional Theory ComputationAbdullah ; Khan, Umar Ayaz ; Khan, Sajid ; Ahmed, Sara J. ; Khan, Naimat Ullah ; Ullah, Hamid ; Naz, Shehla ; Farhat, Lamia Ben ; Amami, Mongi ; Tirth, Vineet ; Zaman, AbidACS omega, 2022-12, Vol.7 (51), p.47662-47670 [Periódico revisado por pares]American Chemical SocietyTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
TPS(Think-Pair-Share): An Active Learning Strategy to Teach Theory of Computation CourseDol, Sunita MInternational journal of information technology and computer science, 2015-08, Vol.7 (9), p.52-58Texto completo disponível |
Resultados de 1 a 10 de 238.067 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 (198.778)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (236.649)
- Anais de Congresso (1.239)
- Resenhas (95)
- Conjunto de Dados (41)
- Book Chapters (16)
- Reports (16)
- Web Resources (5)
- Recursos Textuais (3)
- magazinearticle (2)
- Livros (1)
-
Mais opções
Assunto
- Science & Technology (167.694)
- Physical Sciences (93.494)
- Technology (65.367)
- Algorithms (49.769)
- Physics (47.825)
- Engineering (37.752)
- Science & Technology - Other Topics (32.573)
- Life Sciences & Biomedicine (30.594)
- Multidisciplinary Sciences (26.837)
- Methods (24.047)
- Mathematical Models (22.893)
- Chemistry (21.321)
- Mathematics (21.028)
- Computer Science (20.543)
- Analysis (19.913)
- Neural Networks (19.119)
- Physics, Particles & Fields (18.045)
- Optimization (17.349)
- Mathematical Analysis (17.032)
- Machine Learning (16.544)
-
Mais opções
Data de Publicação
- Antes de1977 (34)
- 1977Até1988 (44)
- 1989Até1999 (2.228)
- 2000Até2011 (27.188)
- Após 2011 (208.579)
-
Mais opções
Base de Dados/Biblioteca
- EZB Electronic Journals Library (200.409)
- DOAJ Directory of Open Access Journals (195.740)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (134.363)
- Science Citation Index Expanded (Web of Science) (130.186)
- Gale Academic OneFile Select (120.303)
- IngentaConnect Journals (87.292)
- PubMed Central (64.977)
- Springer Nature - Complete Springer Journals (37.105)
- Springer Nature OA Free Journals (33.341)
- Free E- Journals (31.998)
- Institute of Physics IOPscience extra (28.340)
- Institute of Physics Journals (27.678)
- arXiv.org (26.520)
- MEDLINE Complete (24.618)
- Aerospace Database (23.253)
- EBSCOhost Academic Search Premier (21.829)
- SCOAP3 Journals (20.207)
- Nature Free (15.710)
-
Mais opções
Idioma
Nome da Publicação
- arXiv.org (26.506)
- The Journal Of High Energy Physics (20.279)
- Arxiv (9.613)
- Scientific Reports (9.374)
- Plos One (9.225)
- Sensors (6.907)
- Applied Sciences (6.640)
- Energies (4.779)
- Mathematics (4.512)
- The Astrophysical Journal (4.071)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 