skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Asynchronous pi-calculus at Work: The Call-by-Need Strategy
Asynchronous pi-calculus at Work: The Call-by-Need Strategy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Asynchronous pi-calculus at Work: The Call-by-Need Strategy

Sangiorgi, Davide

2019-01

Sem texto completo

Citações Citado por
2
Ada-Europe 2014 proceedings - 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014
Ada-Europe 2014 proceedings - 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014
Material Type:
Artigo 		Adicionar ao Meu Espaço

Ada-Europe 2014 proceedings - 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014

George, Laurent ; Vardanega, Tullio

Lecture notes in computer science, 2014-06 [Periódico revisado por pares]

Springer

Sem texto completo

Citações Citado por
3
Measuring the level of difficulty in single player video games
Measuring the level of difficulty in single player video games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Measuring the level of difficulty in single player video games

Aponte, Maria-Virginia ; Levieux, Guillaume ; Natkin, Stéphane

Lecture notes in computer science, 2011, p.205-213 [Periódico revisado por pares]

Springer

Sem texto completo

Citações Citado por
4
Super-Resolution in Diffusion-Weighted Imaging
Super-Resolution in Diffusion-Weighted Imaging
Material Type:
Artigo 		Adicionar ao Meu Espaço

Super-Resolution in Diffusion-Weighted Imaging

Scherrer, Benoit ; Gholipour, Ali ; Warfield, Simon K.

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2011, 2011, Vol.14 (Pt 2), p.124-132 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
A Machine Learning Approach to Automatic Production of Compiler Heuristics
A Machine Learning Approach to Automatic Production of Compiler Heuristics
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Machine Learning Approach to Automatic Production of Compiler Heuristics

Goos, G ; Hartmanis, J ; van Leeuwen, J

Artificial Intelligence, 2002-01, p.41-50 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
6
A Source-To-Source Architecture for User-Defined Optimizations
A Source-To-Source Architecture for User-Defined Optimizations
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Source-To-Source Architecture for User-Defined Optimizations

Schordan, Markus ; Quinlan, Dan

Lecture notes in computer science, 2003-01, Vol.2789, p.214-223 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

Schmitt, Alan ; Stefani, Jean-Bernard

Global Computing, p.146-178 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Graphical Representation for Biological Processes in the Stochastic pi-Calculus

Phillips, Andrew ; Cardelli, Luca ; Castagna, Giuseppe

Transactions on Computational Systems Biology, 2006, Vol.7, p.123-152 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs

Vasconcelos, Pedro B ; Hammond, Kevin

Implementation of Functional Languages, 2004, Vol.3145, p.86-101 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
10
A Model-Driven Framework for Aspect Weaver Construction
A Model-Driven Framework for Aspect Weaver Construction
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Model-Driven Framework for Aspect Weaver Construction

Roychoudhury, Suman ; Gray, Jeff ; Jouault, Frédéric

LNCS Transactions on Aspect-Oriented Software Development, 2011-01, Vol.6580, p.1-45 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

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. Recursos Online (58)

Data de Publicação 

De até
Refinar
  1. Antes de1985  (4)
  2. 1985Até1989  (5)
  3. 1990Até2001  (7)
  4. 2002Até2005  (64)
  5. Após 2005  (6)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (5)
  2. Alemão  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.