skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books Online Archive remover tipo de recurso: Web Resources remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applied Logics for Computer Science
Applied Logics for Computer Science
Material Type:
Web Resource 		Adicionar ao Meu Espaço

Applied Logics for Computer Science

Gochet, Paul ; Gribomont, Pascal

Springer 2004

Texto completo disponível

Citações Citado por
2
Linear Repeating Points [chap. 13]
Linear Repeating Points [chap. 13]
Material Type:
Web Resource 		Adicionar ao Meu Espaço

Linear Repeating Points [chap. 13]

Wolper, Pierre

Springer-Verlag 2000

Texto completo disponível

Citações Citado por
3
The Dimensional Model : a framework to distinguish spatial relationships
The Dimensional Model : a framework to distinguish spatial relationships
Material Type:
Web Resource 		Adicionar ao Meu Espaço

The Dimensional Model : a framework to distinguish spatial relationships

Billen, Roland ; Zlatanova, Siyka ; Mathonet, Pierre ; Boniver, Fabien

Springer-Verlag 2002

Texto completo disponível

Citações Citado por
4
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages
Material Type:
Web Resource 		Adicionar ao Meu Espaço

An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages

Peled, Doron ; Wilke, Thomas ; Wolper, Pierre

Springer-Verlag 1996

Texto completo disponível

Citações Citado por
5
Oxygen budget and associated processes in the regulated Mosel river. Models intercomparison
Oxygen budget and associated processes in the regulated Mosel river. Models intercomparison
Material Type:
Web Resource 		Adicionar ao Meu Espaço

Oxygen budget and associated processes in the regulated Mosel river. Models intercomparison

Garnier, Josette ; Billen, Gilles ; Schoell, A. ; Everbecq, Etienne

Kluwer Academic Publishers 2000

Texto completo disponível

Citações Citado por
6
Constraint-Generating Dependencies
Constraint-Generating Dependencies
Material Type:
Web Resource 		Adicionar ao Meu Espaço

Constraint-Generating Dependencies

Baudinet, Marianne ; Chomicki, Jan ; Wolper, Pierre

Springer-Verlag 1995

Texto completo disponível

Citações Citado por
7
An Automata-Theoretic Approach to Branching-Time Model Checking
An Automata-Theoretic Approach to Branching-Time Model Checking
Material Type:
Web Resource 		Adicionar ao Meu Espaço

An Automata-Theoretic Approach to Branching-Time Model Checking

Bernholtz, Orna ; Vardi, Moshe Y ; Wolper, Pierre

Springer-Verlag 1994

Texto completo disponível

Citações Citado por
8
Reliable Hashing Without Collision Detection
Reliable Hashing Without Collision Detection
Material Type:
Web Resource 		Adicionar ao Meu Espaço

Reliable Hashing Without Collision Detection

Wolper, Pierre ; Leroy, Denis

Springer-Verlag 1993

Texto completo disponível

Citações Citado por
9
Partial-Order Methods for Temporal Verification
Partial-Order Methods for Temporal Verification
Material Type:
Web Resource 		Adicionar ao Meu Espaço

Partial-Order Methods for Temporal Verification

Wolper, Pierre ; Godefroid, Patrice

Springer-Verlag 1993

Texto completo disponível

Citações Citado por
10
Computer-Aided Verification, Proc. 7th Int. Conference
Computer-Aided Verification, Proc. 7th Int. Conference
Material Type:
Web Resource 		Adicionar ao Meu Espaço

Computer-Aided Verification, Proc. 7th Int. Conference

Springer-Verlag 1995

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (7)

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

Buscando em bases de dados remotas. Favor aguardar.