Resultados de 1 a 10 de 1.854.336 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr 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 (309.728)
Refinado por:
tipo de recurso:
Anais de Congresso
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
3D CHANGE DETECTION FOR SEMI-AUTOMATIC UPDATE OF BUILDINGS IN 3D CITY MODELSTamort, A ; Kharroubi, A ; Hajji, R ; Billen, RInternational archives of the photogrammetry, remote sensing and spatial information sciences., 2024, Vol.XLVIII-4/W9-2024, p.349-355 [Periódico revisado por pares]Gottingen: Copernicus GmbHTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
A comparative study of frames and narratives identified within scientific press releases on ocean climate change and ocean plasticVonk, Aike ; Bos, Mark ; van Sebille, Erik2024Texto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra DiscoveryHota, Amela ; Kovács, Zoltán ; Vujic, AlexanderElectronic proceedings in theoretical computer science, 2024, Vol.398, p.110-123Texto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Using GXWeb for Theorem Proving and Mathematical ModellingTodd, Philip ; Aley, DannyElectronic proceedings in theoretical computer science, 2024, Vol.398, p.38-42Texto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
3D Space Trajectories and beyond: Abstract Art Creation with 3D PrintingDana-Picard, Thierry ; Tejera, Matias ; Ulbrich, EvaElectronic proceedings in theoretical computer science, 2024, Vol.398, p.142-152Texto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons LearnedAriño-Morera, Belén ; Kovács, Zoltán ; Recio, Tomás ; Tolmos, PiedadElectronic proceedings in theoretical computer science, 2024, Vol.398, p.101-109Texto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Automation of Triangle Ruler-and-Compass Constructions Using Constraint SolversBanković, MilanElectronic proceedings in theoretical computer science, 2024, Vol.398, p.62-72Texto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in GeometryQuaresma, Pedro ; Graziani, Pierluigi ; Nicoletti, Stefano M.Electronic proceedings in theoretical computer science, 2024, Vol.398, p.85-100Texto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Using Java Geometry Expert as Guide in the Preparations for Math ContestsGanglmayr, Ines ; Kovács, ZoltánElectronic proceedings in theoretical computer science, 2024, Vol.398, p.124-131Texto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Theorem Discovery Amongst Cyclic PolygonsTodd, PhilipElectronic proceedings in theoretical computer science, 2024, Vol.398, p.153-164Texto completo disponível |
Resultados de 1 a 10 de 1.854.336 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr 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 (309.728)
Refinar Meus Resultados
Assunto
- Science & Technology (1.689.485)
- Technology (1.574.850)
- Engineering (978.258)
- Engineering, Electrical & Electronic (857.581)
- Computer Science (734.149)
- Physical Sciences (378.635)
- Exact Sciences And Technology (317.136)
- Computer Science, Theory & Methods (292.236)
- Computer Science, Artificial Intelligence (256.288)
- Telecommunications (254.107)
- Optics (248.100)
- Physics (237.832)
- Computer Science, Information Systems (205.381)
- Applied Sciences (204.975)
- Automation & Control Systems (157.381)
- Life Sciences & Biomedicine (119.597)
- Computer Science, Software Engineering (117.846)
- Computer Science, Hardware & Architecture (115.563)
- Materials Science (97.837)
- Computer Science, Interdisciplinary Applications (95.812)
-
Mais opções
Data de Publicação
- Antes de1984 (342)
- 1984Até1993 (85.044)
- 1994Até2003 (476.825)
- 2004Até2014 (970.109)
- Após 2014 (366.175)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (900.177)
- SPIE Digital Library (Journals) (238.391)
- ACM Digital Library (127.379)
- SPIE Conference Proceedings by volume (109.469)
- ScienceDirect (Online service) (86.814)
- Lecture Notes in Computer Science Archive (through to 1996) (82.539)
- SpringerLINK Lecture Notes in Computer Science (2015) (82.260)
- EZB Electronic Journals Library (42.408)
- NUS Single-Journal Subscriptions (39.599)
- IngentaConnect Journals (37.888)
- Science Citation Index Expanded (Web of Science) (37.126)
- Aerospace Database (35.574)
- DOAJ Directory of Open Access Journals (35.321)
- Springer Books (34.687)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (30.121)
- ROAD: Directory of Open Access Scholarly Resources (28.101)
- EDP Sciences (23.871)
- Materials Research Database (18.329)
- Institute of Physics IOPscience extra (15.075)
- METADEX (14.711)
-
Mais opções
Idioma
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 