Maurizio

Results: 569



#Item
151Generalization Strategies for the Verification of Infinite State Systems Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2 1 2

Generalization Strategies for the Verification of Infinite State Systems Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2 1 2

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-06-10 06:51:04
    152Indice 5 Prefazione | Maurizio Landini 15 Introduzione Capitolo 1 | Informazioni generali sul gruppoNote storiche

    Indice 5 Prefazione | Maurizio Landini 15 Introduzione Capitolo 1 | Informazioni generali sul gruppoNote storiche

    Add to Reading List

    Source URL: www.asinoedizioni.it

    Language: Italian - Date: 2013-03-28 06:27:10
      153Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

      Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

      Add to Reading List

      Source URL: www.sci.unich.it

      Language: English - Date: 2013-07-17 03:26:19
        154MAURIZIO NANNUCCI WHERE TO START FROM 26 giugno / 18 ottobre 2015 www.fondazionemaxxi.it Roma, giugnoDal 26 giugno al 18 ottobre 2015, il MAXXI dedica a Maurizio Nannucci, tra i maggiori protagonisti dell’arte c

        MAURIZIO NANNUCCI WHERE TO START FROM 26 giugno / 18 ottobre 2015 www.fondazionemaxxi.it Roma, giugnoDal 26 giugno al 18 ottobre 2015, il MAXXI dedica a Maurizio Nannucci, tra i maggiori protagonisti dell’arte c

        Add to Reading List

        Source URL: www.fondazionemaxxi.it

        Language: Italian - Date: 2015-06-24 11:12:38
          155RES4MED DAYS ICT for energy management R. Maurizio Pellegrini Fondazione Ugo Bordoni 16 September 2014

          RES4MED DAYS ICT for energy management R. Maurizio Pellegrini Fondazione Ugo Bordoni 16 September 2014

          Add to Reading List

          Source URL: www.res4med.org

          Language: English - Date: 2014-09-22 05:03:03
            156Generalization Strategies for the Verification of Infinite State Systems Fabio Fioravanti1, Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2 1 2

            Generalization Strategies for the Verification of Infinite State Systems Fabio Fioravanti1, Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2 1 2

            Add to Reading List

            Source URL: www.sci.unich.it

            Language: English - Date: 2013-07-17 03:27:29
              157Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi DISI, Dipartimento di In

              Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi DISI, Dipartimento di In

              Add to Reading List

              Source URL: ceur-ws.org

              Language: Italian - Date: 2010-06-07 07:16:08
                158CORSI & WORKSHOP FOTOGRAFICI ____________________________________________________________________________________________ Maurizio D’Angelo @ Corso baseHo cominciato ad insegnare le basi della tecnica fotografic

                CORSI & WORKSHOP FOTOGRAFICI ____________________________________________________________________________________________ Maurizio D’Angelo @ Corso baseHo cominciato ad insegnare le basi della tecnica fotografic

                Add to Reading List

                Source URL: www.ivanaporta.com

                Language: Italian - Date: 2012-10-04 03:36:32
                  159A Linguistically-driven Approach to Cross-Event Damage Assessment of Natural Disasters from Social Media Messages Stefano Cresci, Maurizio Tesconi Andrea Cimino, Felice Dell’Orletta

                  A Linguistically-driven Approach to Cross-Event Damage Assessment of Natural Disasters from Social Media Messages Stefano Cresci, Maurizio Tesconi Andrea Cimino, Felice Dell’Orletta

                  Add to Reading List

                  Source URL: www.iit.cnr.it

                  Language: English - Date: 2015-03-21 06:33:35
                    160Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti1 , Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’,

                    Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti1 , Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’,

                    Add to Reading List

                    Source URL: www.sci.unich.it

                    Language: English - Date: 2013-07-17 03:26:56