Sfoglia per Titolo
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Type-based access control in data-centric systems
2011-01-01 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão
Types as Specifications of Access Policies
1999-01-01 DE NICOLA, R; R., Pugliese; G., Ferrari
Types for Access Control
2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Types for Coordinating Secure Behavioural Variations
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Types in concurrency - Editorial of the Special Issue
2005-01-01 DE NICOLA, R; Sangiorgi, D.
Types of Leadership in a String Quartet
2013-01-01 Dardard, F; Gnecco, G; Glowinski, D
Typing component-based communication systems
2009-01-01 Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
Typing Context-Dependent Behavioural Variation
2012-01-01 Degano, P; Ferrari, G; Galletta, L; Mezzetti, G
Typing context-dependent behavioural variations
2013-01-01 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
Typing liveness in multiparty communicating systems
2014-01-01 Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H
Typing progress in communication-centred systems
2013-01-01 MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos
Ṯābit Ibn Qurra's Concise Exposition of the Metaphysics: Text, Translation and Commentary
2009-01-01 Reisman, D C; Bertolacci, A
U-Limb: A multi-modal, multi-center database on arm motion control in healthy and post-stroke conditions
2021-01-01 Averta, Giuseppe; Barontini, Federica; Catrambone, Vincenzo; Haddadin, Sami; Handjaras, Giacomo; Held, Jeremia P O; Hu, Tingli; Jakubowitz, Eike; Kanzler, Christoph M; Kühn, Johannes; Lambercy, Olivier; Leo, Andrea; Obermeier, Alina; Ricciardi, Emiliano; Schwarz, Anne; Valenza, Gaetano; Bicchi, Antonio; Bianchi, Matteo
Ugo Montanari in a Nutshell
2008-01-01 DE NICOLA, R; P., Degano; J., Meseguer
Ulteriori disposizioni processuali per le controversie relative a infrastrutture strategiche: commento all’art. 125 c.p.a.
2021-01-01 Averardi, Andrea
Ultra-fast stabilizing model predictive control via canonical piecewise affine approximations
2011-01-01 Bemporad, A; Oliveri, A; Poggi, T; Storace, M
Ultrametricity increases the predictability of cultural dynamics
2018-01-01 Bǎbeanu, Alexandru-Ionuţ; Vis, Jorinde Van De; Garlaschelli, Diego
Umbriatico
2012-01-01 Olivito, Riccardo
Un argine contro l'«esondazione» legislativa del Governo? La Corte costituzionale e la legge di bilancio
2019-01-01 Casini, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A type language for message passing component-based systems | 1-gen-2020 | Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio | |
Type-based access control in data-centric systems | 1-gen-2011 | Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão | |
Types as Specifications of Access Policies | 1-gen-1999 | DE NICOLA, R; R., Pugliese; G., Ferrari | |
Types for Access Control | 1-gen-2000 | R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B. | |
Types for Coordinating Secure Behavioural Variations | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
Types in concurrency - Editorial of the Special Issue | 1-gen-2005 | DE NICOLA, R; Sangiorgi, D. | |
Types of Leadership in a String Quartet | 1-gen-2013 | Dardard, F; Gnecco, G; Glowinski, D | |
Typing component-based communication systems | 1-gen-2009 | Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B | |
Typing Context-Dependent Behavioural Variation | 1-gen-2012 | Degano, P; Ferrari, G; Galletta, L; Mezzetti, G | |
Typing context-dependent behavioural variations | 1-gen-2013 | Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca | |
Typing liveness in multiparty communicating systems | 1-gen-2014 | Luca, Padovani; Vasco Thudichum, Vasconcelos; MENDES TORRES VIEIRA, H | |
Typing progress in communication-centred systems | 1-gen-2013 | MENDES TORRES VIEIRA, H; Vasco Thudichum, Vasconcelos | |
Ṯābit Ibn Qurra's Concise Exposition of the Metaphysics: Text, Translation and Commentary | 1-gen-2009 | Reisman, D C; Bertolacci, A | |
U-Limb: A multi-modal, multi-center database on arm motion control in healthy and post-stroke conditions | 1-gen-2021 | Averta, Giuseppe; Barontini, Federica; Catrambone, Vincenzo; Haddadin, Sami; Handjaras, Giacomo; Held, Jeremia P O; Hu, Tingli; Jakubowitz, Eike; Kanzler, Christoph M; Kühn, Johannes; Lambercy, Olivier; Leo, Andrea; Obermeier, Alina; Ricciardi, Emiliano; Schwarz, Anne; Valenza, Gaetano; Bicchi, Antonio; Bianchi, Matteo | |
Ugo Montanari in a Nutshell | 1-gen-2008 | DE NICOLA, R; P., Degano; J., Meseguer | |
Ulteriori disposizioni processuali per le controversie relative a infrastrutture strategiche: commento all’art. 125 c.p.a. | 1-gen-2021 | Averardi, Andrea | |
Ultra-fast stabilizing model predictive control via canonical piecewise affine approximations | 1-gen-2011 | Bemporad, A; Oliveri, A; Poggi, T; Storace, M | |
Ultrametricity increases the predictability of cultural dynamics | 1-gen-2018 | Bǎbeanu, Alexandru-Ionuţ; Vis, Jorinde Van De; Garlaschelli, Diego | |
Umbriatico | 1-gen-2012 | Olivito, Riccardo | |
Un argine contro l'«esondazione» legislativa del Governo? La Corte costituzionale e la legge di bilancio | 1-gen-2019 | Casini, L. |
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