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.
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.005 secondi).
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
2008-01-01 P., Degano; DE NICOLA, R; J., Meseguer
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings.
2013-01-01 De Nicola, R; Julien, C.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016-01-01 Marco, Bernardo; De Nicola, R; Jane, Hillston:
Il Futuro della Cyber Security in Italia
2016-01-01 Baldoni, R; De Nicola, R
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421
2007-01-01 DE NICOLA, R
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
2016-01-01 De Nicola, R; Eva, Kühn
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
2015-01-01 De Nicola, R; Hennicker, R
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005
2005-01-01 DE NICOLA, R; D., Sangiorgi
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.005 secondi).
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
Opzioni
Scopri
Tipologia
- 7 Curatele 8
- 7 Curatele::7.1 Curatela 8
Data di pubblicazione
- 2010 - 2016 5
- 2005 - 2009 3
Editore
- Springer 6
- Laboratorio Nazionale di Cyber Se... 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 4
Lingua
- eng 6
- ita 1
Accesso al fulltext
- no fulltext 8