Sfoglia per Titolo
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
2015-01-01 Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution)
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
Le caratteristiche strutturali e territoriali dell’offerta di lavoro nelle Marche
2009-01-01 Compagnucci, F; Lilla, M
Le città come fucine culturali. Per una lettura critica delle politiche di rigenerazione urbana
2011-01-01 Pollice, F; Urso, G
Le città della «Terza Italia»: quanto sono diversi i loro sistemi produttivi?
2012-01-01 Cirilli, A; Veneri, P
Le economie di agglomerazione urbana: dai distretti industriali alle città
2010-01-01 Compagnucci, F
Le imprese italiane sui mercati internazionali
2012-01-01 Cicerone, Gloria; Iapadre, Lelio; Mastronardi, Giovanni
Le potenzialità dell’agricoltura sociale
2012-01-01 Urso, G; Melgiovanni, M
Leader election and compaction for asynchronous silent programmable matter
2020-01-01 D'Angelo, G.; D'Emidio, M.; Das, S.; Navarra, A.; Prencipe, G.
Learning and firm dynamics: theoretical approaches and empirical analysis of dynamic capabilities
2008-01-01 Leoncini, R.; Montresor, S.
Learning DNF Formulae under Classes of Probability Distribution
1992-01-01 Flammini, M; MARCHETTI SPACCAMELA, A; Kucera, L
Learning from the past: a machine-learning approach for predicting the resilience of locked-in regions after a natural shock
2022-01-01 Fantechi, Federico; Modica, Marco
Learning in inter-organizational networks
2015-01-01 Agostino, D; Dal Molin, M
The learning mechanisms through public procurement for innovation: The case of government???funded basic research organizations
2020-01-01 Castelnovo, Paolo; DAL MOLIN, Martina
Lecture notes on gradient flows and optimal transport
2014-01-01 Daneri, S; Savare', Giuseppe
Left Ventricular Hemodynamics with an Implanted Assist Device: An In Vitro Fluid Dynamics Study
2019-01-01 Viola, Francesco; Jermyn, Elizabeth; Warnock, James; Querzoli, Giorgio; Verzicco, Roberto
Left-Right Symmetry: from LHC to Neutrinoless Double Beta Decay
2011-01-01 Tello, V; Nemevsek, M; Nesti, F; Senjanovic, G; Vissani, F
Leray weak solutions of the incompressible Navier Stokes system on exterior domains via the artificial compressibility method
2010-01-01 Donatelli, Donatella; Marcati, Pierangelo
Leveraging Collective Run-time Adaptation for UAV-based Systems
2016-01-01 Bozhinoski, Darko; Bucchiarone, Antonio; Malavolta, Ivano; Marconi, Annapaola; Pelliccione, Patrizio
Leveraging Multi-Level Modeling for Multi-Domain Quality Assessment
2021-01-01 Rossi, M. T.; Dal Molin, M.; Iovino, L.; De Sanctis, M.; Wimmer, M.
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