skip to main content
Lingue:
Filtrati per: Data di pubblicazione: 2006-2009 rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
25 years of model checking : history, achievements, perspectives
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

25 years of model checking : history, achievements, perspectives

GRUMBERG, Orna ; VEITH, Helmut

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2164664390003316()

2
Logic for programming, artificial intelligence, and reasoning : 15th International conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Logic for programming, artificial intelligence, and reasoning : 15th International conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 proceedings

International conference, LPAR 2008 <15. ; 2008 ; Doha> ; CERVESATO, Iliano ; VEITH, Helmut ; VORONKOVO, Andrei

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2152513940003316()

3
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Automated Software Analysis

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.18-18

Fulltext disponibile

4
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Embedding Formal Methods into Systems Engineering

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.11-11

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The first order definability of graphs: Upper bounds for quantifier depth

Pikhurko, Oleg ; Veith, Helmut ; Verbitsky, Oleg

Discrete Applied Mathematics, 2006, Vol.154(17), pp.2511-2529 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
6
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Verification Across Intellectual Property Boundaries

Chaki, Sagar ; Schallhart, Christian ; Veith, Helmut

Fulltext disponibile

7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Immunolocalisation of PrP Sc in scrapie-infected N2a mouse neuroblastoma cells by light and electron microscopy

Veith, Nathalie M ; Plattner, Helmut ; Stuermer, Claudia A.O ; Schulz-Schaeffer, Walter J ; Bürkle, Alexander

European Journal of Cell Biology, 2009, Vol.88(1), pp.45-63 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Affina i risultati

Tipo di risorsa 

  1. Articoli 
  2. Atti di convegno 
  3. Libri 
  4. Altre opzioni open sub menu

Data di pubblicazione 

Da A

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H.
  3. Stuermer, Claudia A. O.
  4. Verbitsky, Oleg
  5. Schulz-Schaeffer, Walter J

Ricerca in corso nelle risorse remote ...