CATALOGO DEI PRODOTTI DELLA RICERCA

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 54.127 a 54.146 di 116.166
Titolo Data di pubblicazione Autore(i) File
An interval temporal logic characterization of extended w-regular languages 1-gen-2023 Della Monica, D; Montanari, A; Sala, P
Interval temporal logic model checking based on track bisimilarity and prefix sampling 1-gen-2016 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, Anna; Sala, P.
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 1-gen-2012 Bresolin, Davide; D., Della Monica; A., Montanari; Sala, Pietro; G., Sciavicco
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 1-gen-2014 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 1-gen-2012 Bresolin, Davide; D., Della Monica; A., Montanari; Sala, Pietro; G., Sciavicco
Interval training for team sports 1-gen-2001 Bishop, DAVID JOHN
An interval variables approach to address measurement uncertainty in governance indicators 1-gen-2019 Ricciuti, Roberto; Drago, Carlo
Interval vs. point temporal logic model checking: An expressiveness comparison 1-gen-2016 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval-based Modelling with Constraints Propagation 1-gen-2005 Dovier, Agostino; Farenzena, Michela; Fusiello, Andrea
Interval-based Synthesis 1-gen-2014 Montanari, Angelo; Sala, Pietro
Interval-based temporal functional dependencies: specification and verification 1-gen-2014 Combi, Carlo; Sala, Pietro
Intervalence charge transfer in Pr3+- and Tb3+-doped double tungstate crystals KRE(WO4)(2) (RE = Y, Gd, Yb, Lu) 1-gen-2010 Boutinaud, P; Bettinelli, Marco Giovanni; Diaz, F.
Intervenire nella fragilità: la promozione dell’occupabilità in apprendenti italiano L2 e soggetti con DSA 1-gen-2023 Ceschi, Andrea; Sartori, Riccardo; Tommasi, Francesco; Delfitto, Denis; Vender, Maria; DAL MASO, Serena; Piccinin, Sabrina
Interventi di allungamento delle ossa tarsali 1-gen-1988 Magnan, Bruno; Nogarin, L.; Bragantini, A.; Molinaroli, F.
Interventi di allungamento delle ossa tarsali 1-gen-1988 Magnan, Bruno; Nogarin, L.; Bragantini, A.; Molinaroli, F.
Interventi di allungamento delle ossa tarsali 1-gen-1988 Magnan, Bruno; Nogarin, L.; Bragantini, A.; Molinaroli, F.
Interventi di gestione idrografica in Veneto; Campania: risorse idriche e riforma delle comunità montane 1-gen-2009 Zamberlan, Stefano
Interventi Ginecologici per via addominale. 1-gen-2005 Pf, Bolis; Beretta, P; Franchi, Massimo Piergiuseppe
Mostrati risultati da 54.127 a 54.146 di 116.166
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