IRIS

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 98.277 a 98.296 di 100.199
Data di pubblicazione Titolo Autore(i) Tipo File
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
1-gen-2001 Vernunftkritik und Aufklärung: Studien zur Philosophie Kants und seines Jahrhunderts: Norbert Hinske zum siebzigsten Geburtstag Pozzo, R; Delfosse, Hp; Oberhausen, M Monografia
Mostrati risultati da 98.277 a 98.296 di 100.199
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