skip to main content
Lingue:
Filtrati per: Livello principale: In biblioteca 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()

Ricerca in corso nelle risorse remote ...