Sfoglia per Titolo
Veri e falsi limiti al diritto di critica del lavoratore
2007-01-01 Franza, G
La verifica del metodo
2012-01-01 Casoli, A; Cervelli, E; Cremonesi, P; Giuseppetti, A; Iannuccelli, C; Isca, S; Mazzuca, C; Micheli, L; Montalto, R; Palleschi, A; Palleschi, G; Pascalicchio, Ffpss
Verifica delle relazioni esistenti fra parametri inematici di mezzi di allenamento basati su “Small Side Games” e competizioni ufficiali in giovani calciatori della categoria “under 18”.
2010-01-01 D'Ottavio, S; Briotti, G; Manzi, V; Tozzo, N; Tell, M
Verifica prestazionale di un impianto di incenerimento con recupero di energia
2004-01-01 Fiore, A; Lombardi, F; Rubrichi, G
Verification of imperative programs through transformation of constraint logic programs
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verification of time-aware business processes using constrained Horn clauses
2017-01-01 De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M
Verification tests of the GALLEX solar neutrino detector, with Ge-71 produced in-situ from the beta-decay of As-71
1998-01-01 Hampel, W; Handt, J; Heusser, G; Kaether, D; Kiko, J; Kirsten, T; Laubenstein, M; Neder, E; Pernicka, E; Rau, W; Richter, H; Rönn, U; Schwan, U; Wojcik, M; Zakharov, Y; V. Ammon, R; Ebert, K; Fritsch, T; Heidt, D; Henrich, E; Stieglitz, L; Weirich, F; Balata, M; Hartmann, F; Bellotti, E; Cattadori, C; Cremonesi, O; Ferrari, N; Fiorini, E; Zanotti, L; Altmann, M; Feilitzsch, F; Mößbauer, R; Berthomieu, G; Schatzman, E; Carmi, I; Dostrovsky, I; Bacci, C; Belli, P; Bernabei, R; D'Angelo, S; Paoluzi, L; Cribier, M; Rich, J; Spiro, M; Tao, C; Vignaud, D; Boger, J; Hahn, R; Rowley, J; Stoenner, R; Weneser, J
Verifying Array Programs by Transforming Verification Conditions
2014-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verifying controllability of time-aware business processes
2017-01-01 De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M
Verifying extended criteria for the interoperability of security devices
2008-01-01 Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D
Verifying programs via iterated specialization
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verifying Rollett's proviso on active devices under arbitrary passive embeddings
2017-08-01 Colangeli, S; Ciccognani, W; Palomba, M; Limiti, E
VeriMAP: A tool for Verifying Programs through Transformation.
2014-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
La verità della menzogna. Gli Alte Meister di Bernhard e il falso Tintoretto
2007-01-01 Catalano, G
Verità dell’uomo e coerenza della vita
2013-01-01 D'Agostino, F
Verità e giustizia transizionale : una proposta politico-normativa
2012-01-01 Corradetti, C
Verità senza anatemi
2011-01-01 Semplici, S
Verità, esistenza, trascendenza in Karl Jaspers
2007-01-01 Miano, F
Vernal keratoconjunctivitis in Down syndrome: a case report
2023-03-17 Artesani Maria, C; Esposito, M; Valentini, D; Villani, A; Fiocchi Alessandro, G; Buzzonetti, L
Vernice fotocatalitica
2011-01-01 Sassolini, A; D'Amico, F; Gaudio, P; Malizia, A; Richetta, M; Bellecci, C; Lupelli, I; Quaranta, R; Mugavero, R; Serafini, C; Moretti, A; Gelfusa, M
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2007 | Veri e falsi limiti al diritto di critica del lavoratore | Franza, G | Articolo su rivista | |
1-gen-2012 | La verifica del metodo | Casoli, A; Cervelli, E; Cremonesi, P; Giuseppetti, A; Iannuccelli, C; Isca, S; Mazzuca, C; Micheli, L; Montalto, R; Palleschi, A; Palleschi, G; Pascalicchio, Ffpss | Contributo in libro | |
1-gen-2010 | Verifica delle relazioni esistenti fra parametri inematici di mezzi di allenamento basati su “Small Side Games” e competizioni ufficiali in giovani calciatori della categoria “under 18”. | D'Ottavio, S; Briotti, G; Manzi, V; Tozzo, N; Tell, M | Articolo su rivista | |
1-gen-2004 | Verifica prestazionale di un impianto di incenerimento con recupero di energia | Fiore, A; Lombardi, F; Rubrichi, G | Intervento a convegno | |
1-gen-2013 | Verification of imperative programs through transformation of constraint logic programs | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2017 | Verification of time-aware business processes using constrained Horn clauses | De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-1998 | Verification tests of the GALLEX solar neutrino detector, with Ge-71 produced in-situ from the beta-decay of As-71 | Hampel, W; Handt, J; Heusser, G; Kaether, D; Kiko, J; Kirsten, T; Laubenstein, M; Neder, E; Pernicka, E; Rau, W; Richter, H; Rönn, U; Schwan, U; Wojcik, M; Zakharov, Y; V. Ammon, R; Ebert, K; Fritsch, T; Heidt, D; Henrich, E; Stieglitz, L; Weirich, F; Balata, M; Hartmann, F; Bellotti, E; Cattadori, C; Cremonesi, O; Ferrari, N; Fiorini, E; Zanotti, L; Altmann, M; Feilitzsch, F; Mößbauer, R; Berthomieu, G; Schatzman, E; Carmi, I; Dostrovsky, I; Bacci, C; Belli, P; Bernabei, R; D'Angelo, S; Paoluzi, L; Cribier, M; Rich, J; Spiro, M; Tao, C; Vignaud, D; Boger, J; Hahn, R; Rowley, J; Stoenner, R; Weneser, J | Articolo su rivista | |
1-gen-2014 | Verifying Array Programs by Transforming Verification Conditions | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2017 | Verifying controllability of time-aware business processes | De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2008 | Verifying extended criteria for the interoperability of security devices | Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D | Intervento a convegno | |
1-gen-2013 | Verifying programs via iterated specialization | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-ago-2017 | Verifying Rollett's proviso on active devices under arbitrary passive embeddings | Colangeli, S; Ciccognani, W; Palomba, M; Limiti, E | Articolo su rivista | |
1-gen-2014 | VeriMAP: A tool for Verifying Programs through Transformation. | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2007 | La verità della menzogna. Gli Alte Meister di Bernhard e il falso Tintoretto | Catalano, G | Articolo su rivista | |
1-gen-2013 | Verità dell’uomo e coerenza della vita | D'Agostino, F | Contributo in libro | |
1-gen-2012 | Verità e giustizia transizionale : una proposta politico-normativa | Corradetti, C | Contributo in libro | |
1-gen-2011 | Verità senza anatemi | Semplici, S | Articolo su rivista | |
1-gen-2007 | Verità, esistenza, trascendenza in Karl Jaspers | Miano, F | Contributo in libro | |
17-mar-2023 | Vernal keratoconjunctivitis in Down syndrome: a case report | Artesani Maria, C; Esposito, M; Valentini, D; Villani, A; Fiocchi Alessandro, G; Buzzonetti, L | Articolo su rivista | |
1-gen-2011 | Vernice fotocatalitica | Sassolini, A; D'Amico, F; Gaudio, P; Malizia, A; Richetta, M; Bellecci, C; Lupelli, I; Quaranta, R; Mugavero, R; Serafini, C; Moretti, A; Gelfusa, M | Brevetti |
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