skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Indexed Labels for Loop Iteration Dependent Costs

Tranquilli, Paolo

EPTCS 117, 2013, pp. 19-33

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Monad Transformers for Backtracking Search

Hedges, Jules

EPTCS 153, 2014, pp. 31-50

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications

Mastroeni, Isabella

EPTCS 129, 2013, pp. 41-65

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

From Events to Reactions: A Progress Report

Garnock-Jones, Tony

EPTCS 211, 2016, pp. 46-55

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Variant-Frequency Semantics for Green Futures

Liu, Yu David

EPTCS 109, 2013, pp. 1-6

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Probabilistic Output Analysis by Program Manipulation

Rosendahl, Mads ; Kirkeby, Maja H.

EPTCS 194, 2015, pp. 110-124

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Space Improvements and Equivalences in a Functional Core Language

Schmidt-Schauß, Manfred ; Dallmeyer, Nils

EPTCS 265, 2018, pp. 98-112

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Design and Implementation of Concurrent C0

Willsey, Max ; Prabhu, Rokhini ; Pfenning, Frank

EPTCS 238, 2017, pp. 73-82

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems

Van Gastel, Bernard ; Van Eekelen, Marko

EPTCS 248, 2017, pp. 24-37

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

A Simple Semantics and Static Analysis for Stack Inspection

Banerjee, Anindya ; Naumann, David A.

EPTCS 129, 2013, pp. 284-308

Texto completo disponível

Ver todas as versões
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)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (456)
  2. Anais de Congresso  (8)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2011  (52)
  2. 2011Até2012  (56)
  3. 2013Até2014  (100)
  4. 2015Até2017  (182)
  5. Após 2017  (74)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.