skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EZB Free E-Journals remover tipo de recurso: Anais de Congresso remover ROAD: Directory of Open Access Scholarly Resources remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards an Independent Version of Tarski's System of Geometry
Towards an Independent Version of Tarski's System of Geometry
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards an Independent Version of Tarski's System of Geometry

Boutry, Pierre ; Kastenbaum, Stéphane ; Saintier, Clément

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.73-84

Texto completo disponível

Citações Citado por
2
While Loops in Coq
While Loops in Coq
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

While Loops in Coq

Nowak, David ; Rusu, Vlad

Electronic proceedings in theoretical computer science, 2023, Vol.389, p.96-109

Texto completo disponível

Citações Citado por
3
SIMMI 4.0 – A Maturity Model for Classifying the Enterprise-wide IT and Software Landscape Focusing on Industry 4.0
SIMMI 4.0 – A Maturity Model for Classifying the Enterprise-wide IT and Software Landscape Focusing on Industry 4.0
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SIMMI 4.0 – A Maturity Model for Classifying the Enterprise-wide IT and Software Landscape Focusing on Industry 4.0

Christian Leyh ; Thomas Schäffer ; Katja Bley ; Sven Forstenhäusler

Annals of Computer Science and Information Systems, 2016, Vol.8, p.1297-1302 [Periódico revisado por pares]

Polish Information Processing Society

Texto completo disponível

Citações Citado por
4
Quantum Natural Language Processing on Near-Term Quantum Computers
Quantum Natural Language Processing on Near-Term Quantum Computers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Quantum Natural Language Processing on Near-Term Quantum Computers

Meichanetzidis, Konstantinos ; Gogioso, Stefano ; de Felice, Giovanni ; Chiappori, Nicolò ; Toumi, Alexis ; Coecke, Bob

Electronic proceedings in theoretical computer science, 2021, Vol.340, p.213-229

Texto completo disponível

Citações Citado por
5
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Impact of Strategies and Information in Model Checking for Multi-Agent Systems

Malvone, Vadim

Electronic proceedings in theoretical computer science, 2023, Vol.391, p.63-70

Texto completo disponível

Citações Citado por
6
Explaining Counterexamples with Giant-Step Assertion Checking
Explaining Counterexamples with Giant-Step Assertion Checking
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Explaining Counterexamples with Giant-Step Assertion Checking

Becker, Benedikt ; Belo Lourenço, Cláudio ; Marché, Claude

Electronic proceedings in theoretical computer science, 2021, Vol.338, p.82-88

Texto completo disponível

Citações Citado por
7
Computer Assisted Proofs and Automated Methods in Mathematics Education
Computer Assisted Proofs and Automated Methods in Mathematics Education
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computer Assisted Proofs and Automated Methods in Mathematics Education

Dana-Picard, Thierry Noah

Electronic proceedings in theoretical computer science, 2023, Vol.375, p.2-23

Texto completo disponível

Citações Citado por
8
DisCoPy: Monoidal Categories in Python
DisCoPy: Monoidal Categories in Python
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

DisCoPy: Monoidal Categories in Python

de Felice, Giovanni ; Toumi, Alexis ; Coecke, Bob

Electronic proceedings in theoretical computer science, 2021, Vol.333, p.183-197

Texto completo disponível

Citações Citado por
9
Duality of Session Types: The Final Cut
Duality of Session Types: The Final Cut
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Duality of Session Types: The Final Cut

Gay, Simon J. ; Thiemann, Peter ; Vasconcelos, Vasco T.

Electronic proceedings in theoretical computer science, 2020, Vol.314, p.23-33

Texto completo disponível

Citações Citado por
10
Syntactic Regions for Concurrent Programs
Syntactic Regions for Concurrent Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Syntactic Regions for Concurrent Programs

Mimram, Samuel ; Ulusoy, Aly-Bora

Electronic proceedings in theoretical computer science, 2021, Vol.351, p.184-199

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (9.030)

Data de Publicação 

De até
Refinar
  1. Antes de1999  (24)
  2. 1999Até2005  (12)
  3. 2006Até2011  (43)
  4. 2012Até2018  (7.251)
  5. Após 2018  (2.526)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (9.842)
  2. Francês  (44)
  3. Japonês  (12)
  4. Alemão  (2)
  5. Árabe  (1)
  6. Norueguês  (1)
  7. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.