skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automatically Detecting Fallacies in System Safety Arguments
Automatically Detecting Fallacies in System Safety Arguments
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatically Detecting Fallacies in System Safety Arguments

Yuan, Tangming ; Manandhar, Suresh ; Kelly, Tim ; Wells, Simon

Principles and Practice of Multi-Agent Systems, p.47-59 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Compact Realization of Reversible Turing Machines by 2-State Reversible Logic Elements
Compact Realization of Reversible Turing Machines by 2-State Reversible Logic Elements
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Compact Realization of Reversible Turing Machines by 2-State Reversible Logic Elements

Morita, Kenichi ; Suyama, Rei

Unconventional Computation and Natural Computation, p.280-292 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Disjunctive Interpolants for Horn-Clause Verification
Disjunctive Interpolants for Horn-Clause Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Disjunctive Interpolants for Horn-Clause Verification

Rümmer, Philipp ; Hojjat, Hossein ; Kuncak, Viktor

Computer Aided Verification, p.347-363 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Scalable Offline Monitoring
Scalable Offline Monitoring
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Scalable Offline Monitoring

Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matúš ; Klaedtke, Felix ; Mantel, Heiko

Runtime Verification, p.31-47 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
A Uniform Substitution Calculus for Differential Dynamic Logic
A Uniform Substitution Calculus for Differential Dynamic Logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Uniform Substitution Calculus for Differential Dynamic Logic

Platzer, André

Automated Deduction - CADE-25, p.467-481 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
First-Order Theorem Proving and Vampire
First-Order Theorem Proving and Vampire
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

First-Order Theorem Proving and Vampire

Kovács, Laura ; Voronkov, Andrei

Computer Aided Verification, p.1-35 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
EERTREE: An Efficient Data Structure for Processing Palindromes in Strings
EERTREE: An Efficient Data Structure for Processing Palindromes in Strings
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

EERTREE: An Efficient Data Structure for Processing Palindromes in Strings

Rubinchik, Mikhail ; Shur, Arseny M.

Combinatorial Algorithms, 2016, Vol.9538, p.321-333 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Report on the Symbol Recognition and Spotting Contest
Report on the Symbol Recognition and Spotting Contest
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Report on the Symbol Recognition and Spotting Contest

Valveny, Ernest ; Delalandre, Mathieu ; Raveaux, Romain ; Lamiroy, Bart

Graphics Recognition. New Trends and Challenges, 2013, Vol.7423, p.198-207 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Towards a Logic of Information Exchange: An Inquisitive Witness Semantics
Towards a Logic of Information Exchange: An Inquisitive Witness Semantics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards a Logic of Information Exchange: An Inquisitive Witness Semantics

Ciardelli, Ivano ; Groenendijk, Jeroen ; Roelofsen, Floris

Logic, Language, and Computation, p.51-72 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Classifying and Solving Horn Clauses for Verification
Classifying and Solving Horn Clauses for Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Classifying and Solving Horn Clauses for Verification

Rümmer, Philipp ; Hojjat, Hossein ; Kuncak, Viktor

Verified Software: Theories, Tools, Experiments, p.1-21 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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 (1.237)

Data de Publicação 

De até
Refinar
  1. Antes de1981  (150)
  2. 1981Até1991  (239)
  3. 1992Até2002  (423)
  4. 2003Até2014  (1.885)
  5. Após 2014  (404)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.932)
  2. Francês  (60)
  3. Japonês  (31)
  4. Alemão  (4)
  5. Russo  (2)
  6. Espanhol  (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.