Resultados de 11 a 20 de 9.688 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 (8.854)
Refinado por:
Base de dados/Biblioteca:
EZB Free E-Journals
tipo de recurso:
Anais de Congresso
ROAD: Directory of Open Access Scholarly Resources
tipo de recurso:
Anais de Congresso
ROAD: Directory of Open Access Scholarly Resources
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Ata de Congresso
|
|
Reconstructing veriT Proofs in Isabelle/HOLFleury, Mathias ; Schurr, Hans-JörgElectronic proceedings in theoretical computer science, 2019, Vol.301 (Proc. PxTP 2019), p.36-50Open Publishing AssociationTexto completo disponível |
| 12 |
Material Type: Ata de Congresso
|
|
A Framework for Proof-carrying Logical TransformationsGarchery, QuentinElectronic Proceedings in Theoretical Computer Science, 2021, Vol.336, p.5-23EPTCSTexto completo disponível |
| 13 |
Material Type: Ata de Congresso
|
|
General Automation in Coq through Modular TransformationsBlot, Valentin ; Dubois de Prisque, Louise ; Keller, Chantal ; Vial, PierreElectronic Proceedings in Theoretical Computer Science, 2021, Vol.336, p.24-39EPTCSTexto completo disponível |
| 14 |
Material Type: Ata de Congresso
|
|
Automated Generation of Illustrations for Synthetic Geometry ProofsJaničić, Predrag ; Narboux, JulienElectronic proceedings in theoretical computer science, 2021, Vol.352, p.91-102Texto completo disponível |
| 15 |
Material Type: Ata de Congresso
|
|
Systematic aware learning: A case study in High Energy PhysicsEstrade, Victor ; Germain, Cécile ; Guyon, Isabelle ; Rousseau, David Hristov, P. ; Smirnova, O. ; Betev, L. ; Forti, A. ; Litmaath, M.EPJ Web of conferences, 2019, Vol.214, p.6024 [Periódico revisado por pares]Texto completo disponível |
| 16 |
Material Type: Ata de Congresso
|
|
Diegetic Representation of Feedback in Open GamesCapucci, MatteoElectronic proceedings in theoretical computer science, 2023, Vol.380, p.145-158Texto completo disponível |
| 17 |
Material Type: Ata de Congresso
|
|
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra FrameworkBehr, NicolasElectronic proceedings in theoretical computer science, 2019, Vol.309 (Proc. GCM 2019), p.23-52Open Publishing AssociationTexto completo disponível |
| 18 |
Material Type: Ata de Congresso
|
|
Plotting in a Formally Verified WayMelquiond, GuillaumeElectronic proceedings in theoretical computer science, 2021, Vol.338, p.39-45Texto completo disponível |
| 19 |
Material Type: Ata de Congresso
|
|
Computational Adequacy for Substructural Lambda CalculiZamdzhiev, VladimirElectronic proceedings in theoretical computer science, 2021, Vol.333, p.322-334Texto completo disponível |
| 20 |
Material Type: Ata de Congresso
|
|
Geant-val: a web application for validation of detector simulationsFreyermuth, Luc ; Konstantinov, Dmitri ; Latyshev, Grigorii ; Razumov, Ivan ; Pokorski, Witold ; Ribon, Alberto Hristov, P. ; Smirnova, O. ; Betev, L. ; Forti, A. ; Litmaath, M.EPJ Web of Conferences, 2019, Vol.214, p.5002 [Periódico revisado por pares]Les Ulis: EDP SciencesTexto completo disponível |
Resultados de 11 a 20 de 9.688 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 (8.854)
Refinar Meus Resultados
Assunto
- Science & Technology (8.423)
- Technology (7.674)
- Engineering (4.923)
- Computer Simulation (2.471)
- Computer Science (2.390)
- Materials Science (2.069)
- Materials Science, Multidisciplinary (2.062)
- Engineering, Mechanical (1.874)
- Physical Sciences (1.758)
- Computer Science, Theory & Methods (1.733)
- Engineering, Electrical & Electronic (1.420)
- Mathematical Models (1.252)
- Physics (1.014)
- Engineering, Manufacturing (824)
- Life Sciences & Biomedicine (773)
- Energy & Fuels (748)
- Engineering, Multidisciplinary (746)
- Engineering, Civil (688)
- Algorithms (595)
- Finite Element Method (583)
-
Mais opções
Data de Publicação
- Antes de1996 (19)
- 1996Até2004 (17)
- 2005Até2010 (34)
- 2011Até2017 (5.194)
- Após 2017 (4.425)
-
Mais opções
Base de Dados/Biblioteca
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals (9.688)
- DOAJ Directory of Open Access Journals (9.589)
- IngentaConnect Journals (8.525)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (8.243)
- EDP Sciences (8.054)
- Engineered Materials Abstracts (4.762)
- Materials Research Database (4.762)
- METADEX (4.761)
- Aerospace Database (1.791)
- IEEE Electronic Library (IEL) Conference Proceedings (167)
- ASFA: Aquatic Sciences and Fisheries Abstracts (77)
- Computers & Applied Sciences Complete (42)
- ScienceDirect Journals (42)
- Lirias (KU Leuven Association) (39)
- Gale PowerSearch (38)
- ACM Digital Library (31)
- PubMed Central (25)
- Academic Search Premier (24)
- Recercat (19)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 