skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: Base de dados/Biblioteca: Elsevier ScienceDirect Journals remover tipo de recurso: Recursos Textuais remover Free E-Journal (出版社公開部分のみ） remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Preface
Preface
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Preface

Accattoli, Beniamino ; Olarte, Carlos

Electronic Notes in Theoretical Computer Science, 2019, Vol.344, p.1-2

Elsevier

Texto completo disponível

Citações Citado por
2
Special Issue : Symbolic Computation and Satisfiability Checking
Special Issue : Symbolic Computation and Satisfiability Checking
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Issue : Symbolic Computation and Satisfiability Checking

Davenport, James Harold ; England, Matthew ; Griggio, Alberto ; Sturm, Thomas ; Tinelli, Cesare

Journal of Symbolic Computation, 2020, Vol.100

Elsevier

Texto completo disponível

Citações Citado por
3
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Formal Verification and Static Analysis of Molecular Devices and Biological Systems

Feret, Jérôme ; Paulevé, Loïc ; Šafránek, David

Theoretical Computer Science, 2019, Vol.765

Elsevier

Texto completo disponível

Citações Citado por
4
GALACTIC: GAlois LAttices, Concept Theory, Implicational systems and Closures. A set of python3 packages for studying Formal Concept Analysis
GALACTIC: GAlois LAttices, Concept Theory, Implicational systems and Closures. A set of python3 packages for studying Formal Concept Analysis
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

GALACTIC: GAlois LAttices, Concept Theory, Implicational systems and Closures. A set of python3 packages for studying Formal Concept Analysis

Demko, Christophe ; Bertet, Karell

Theoretical Computer Science, 2020, Vol.845, p.1-20

Elsevier

Texto completo disponível

Citações Citado por
5
Editorial of Journal of Applied Logic: Part of special issue: Uncertain Reasoning
Editorial of Journal of Applied Logic: Part of special issue: Uncertain Reasoning
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Editorial of Journal of Applied Logic: Part of special issue: Uncertain Reasoning

Kaci, Souhila ; Mercer, Robert ; Thimm, Matthias

Journal of Applied Logic, 2017, Vol.22, p.1-2

Elsevier

Texto completo disponível

Citações Citado por
6
Special Issue on Stabilization, Safety, and Security
Special Issue on Stabilization, Safety, and Security
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Issue on Stabilization, Safety, and Security

Défago, Xavier ; Petit, Franck ; Villain, Vincent

Theoretical Computer Science, 2013, Vol.512, p.1-142

Elsevier

Texto completo disponível

Citações Citado por
7
Special Issue on Stabilization, Safety, and Security of Distributed Systems
Special Issue on Stabilization, Safety, and Security of Distributed Systems
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special Issue on Stabilization, Safety, and Security of Distributed Systems

Datta, Ajoy Kumar ; Petit, Franck ; Guerraoui, Rachid

Theoretical Computer Science, 2011, Vol.412

Elsevier

Texto completo disponível

Citações Citado por
8
Special JAL Issue dedicated to Uncertain Reasoning at FLAIRS
Special JAL Issue dedicated to Uncertain Reasoning at FLAIRS
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Special JAL Issue dedicated to Uncertain Reasoning at FLAIRS

Beierle, Christoph ; Butz, Cory ; Kaci, Souhila

Journal of Applied Logic, 2015, Vol.13 (4), p.555-642

Elsevier

Texto completo disponível

Citações Citado por
9
Editorial : Software-intensive Systems-of-Systems
Editorial : Software-intensive Systems-of-Systems
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Editorial : Software-intensive Systems-of-Systems

Drira, Khalil ; Cuesta, Carlos E.

Science of Computer Programming, 2021, Vol.212 (102705)

Elsevier

Texto completo disponível

Citações Citado por
10
Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages
Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages

Arnaud, Jean-Baptiste ; Ducasse, Stéphane ; Denker, Marcus

Science of Computer Programming, 2013

Elsevier

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.