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 remover assunto: Theoretical Computing remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Decidable Fragment of Separation Logic
A Decidable Fragment of Separation Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Decidable Fragment of Separation Logic

Berdine, Josh ; Calcagno, Cristiano ; O’Hearn, Peter W.

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.97-109 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
How to Compose Presburger-Accelerations: Applications to Broadcast Protocols
How to Compose Presburger-Accelerations: Applications to Broadcast Protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

How to Compose Presburger-Accelerations: Applications to Broadcast Protocols

Finkel, Alain ; Leroux, Jérôme

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002, p.145-156 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Visibly Pushdown Games
Visibly Pushdown Games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Visibly Pushdown Games

Löding, Christof ; Madhusudan, P. ; Serre, Olivier

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.408-420 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Dependency pairs revisited
Dependency pairs revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dependency pairs revisited

HIROKAWA, Nao ; MIDDELDORP, Aart

Lecture notes in computer science, 2004, p.249-268 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
The Reflective Practitioner Perspective in eXtreme Programming
The Reflective Practitioner Perspective in eXtreme Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Reflective Practitioner Perspective in eXtreme Programming

Hazzan, Orit ; Tomayko, Jim

Extreme Programming and Agile Methods - XP/Agile Universe 2003, 2003, p.51-61 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Security Engineering Methodology Based on Problem Solving Theory
Security Engineering Methodology Based on Problem Solving Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Security Engineering Methodology Based on Problem Solving Theory

Kim, Sangkyun ; Lee, Hong Joo

Computational Science and Its Applications - ICCSA 2006, 2006, p.639-648 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Rebalancing Your Organization’s Agility and Discipline
Rebalancing Your Organization’s Agility and Discipline
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rebalancing Your Organization’s Agility and Discipline

Boehm, Barry ; Turner, Richard

Extreme Programming and Agile Methods - XP/Agile Universe 2003, 2003, p.1-8 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
The Test Automation Manifesto
The Test Automation Manifesto
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Test Automation Manifesto

Meszaros, Gerard ; Smith, Shaun M. ; Andrea, Jennitta

Extreme Programming and Agile Methods - XP/Agile Universe 2003, 2003, p.73-81 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
No, Coreset, No Cry
No, Coreset, No Cry
Material Type:
Artigo 		Adicionar ao Meu Espaço

No, Coreset, No Cry

Har-Peled, Sariel

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004, p.324-335 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
10
An Approach to Symbolic Test Generation
An Approach to Symbolic Test Generation
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Approach to Symbolic Test Generation

Rusu, Vlad ; du Bousquet, Lydie ; Jéron, Thierry

Integrated Formal Methods, 2000, p.338-357 [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. Recursos Online (63)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (1)
  2. 2000Até2000  (7)
  3. 2001Até2001  (6)
  4. 2002Até2003  (44)
  5. Após 2003  (80)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.