Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 24 a 32 di 32
Titolo Data di pubblicazione Autore(i) File
Representing Object Code 1-gen-2000 Benini, Marco
SAT-based proof search in intermediate propositional logics 1-gen-2022 Fiorentini, C.; Ferrari, M.
Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects 1-gen-2020 Boffa, S.; Gerla, B.
Structural model checking for communicating hierarchical machines 1-gen-2004 MAGGIOLO SCHETTINI, A; Lanotte, Ruggero
Supporting verification-driven incremental distributed design of components 1-gen-2018 Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C.
Towards a formal notion of impact metric for cyber-physical attacks 1-gen-2018 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Virtual patients for knowledge sharing and clinical practice training: A gamified approach 1-gen-2016 Cabitza, F.; Fogli, D.; Locoro, A.
Visual Word Embedding for Text Classification 1-gen-2021 Gallo, I.; Nawaz, S.; Landro, N.; La Grassa, R.
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces 1-gen-2018 Lanotte, Ruggero; Tini, Simone
Mostrati risultati da 24 a 32 di 32
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile