IRIS
RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 11 - 20 di 20 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) File
Formal Methods for Eternal Networked Software Systems (SFM 2011) 1-gen-2011 Bernardo, Marco; Issarny, Valerie
Formal Methods for Model-Driven Engineering (SFM 2012) 1-gen-2012 Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso
Formal Methods for Dynamical Systems (SFM 2013) 1-gen-2013 Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Formal Methods for Executable Software Models (SFM 2014) 1-gen-2014 Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Formal Methods for Multicore Programming (SFM 2015) 1-gen-2015 Bernardo, Marco; Johnsen, Einar Broch
Special Issue on Open Problems in Concurrency Theory 1-gen-2015 Bernardo, Marco; Gebler, Daniel; Loreti, Michele
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016) 1-gen-2016 Bernardo, Marco; De Nicola, Rocco; Hillston, Jane
Italian Conference on Theoretical Computer Science (ICTCS 2018) 1-gen-2018 Aldini, Alessandro; Bernardo, Marco
Special Issue of the Italian Conference on Theoretical Computer Science 2018 1-gen-2020 Aldini, Alessandro; Bernardo, Marco
MoodleMoot Italia 2022 (MMIT 2022) 1-gen-2022 Fiorentino, Giuseppe; Gallo, Pierpaolo; Rabellino, Sergio; Bernardo, Marco; De Waal, Paula
Risultati 11 - 20 di 20 (tempo di esecuzione: 0.017 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 6 Curatela 20
  • 6 Curatela::6.1 Curatela 20
Autore
  • ALDINI, ALESSANDRO 4
  • BOGLIOLO, ALESSANDRO 1
  • PADOVANI, LUCA 1
Data di pubblicazione
  • 2020 - 2022 2
  • 2010 - 2019 10
  • 2003 - 2009 8
Editore
  • Springer 15
  • Elsevier 3
  • CEUR-WS.org 1
  • Media Touch 2000 1
Rivista
  • JOURNAL OF LOGIC AND ALGEBRAIC PR... 1
  • THE JOURNAL OF LOGICAL AND ALGEBR... 1
  • THEORETICAL COMPUTER SCIENCE 1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 15
  • CEUR WORKSHOP PROCEEDINGS 1
Lingua
  • eng 19
  • ita 1
Accesso al fulltext
  • no fulltext 20