Emanuele

Results: 530



#Item
171

DOSSIER SULLA MESSA di LUCA ZANCHI sss Direttore de “L’Emanuele” L’Eucaristia

Add to Reading List

Source URL: www.sacramentini.it

Language: Italian - Date: 2013-06-04 16:25:20
    172

    HOTEL MODERNO Viale Vittorio Emanuele II, nPavia (Italia) TelfaxE-mail http://www.hotelmoderno.it 30 camere alle seguenti tariffe convenzionate, opzionate fin

    Add to Reading List

    Source URL: www.universitacitta.it

    Language: Italian - Date: 2015-06-22 06:41:29
      173

      Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

      Add to Reading List

      Source URL: www.sci.unich.it

      Language: English - Date: 2013-11-28 03:44:27
        174

        Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA

        Add to Reading List

        Source URL: www.sci.unich.it

        Language: English - Date: 2015-01-15 16:54:25
          175

          Bridging Workflow and Data Provenance using Strong Links David Koop1 , Emanuele Santos1 , Bela Bauer2 , Matthias Troyer2 , Juliana Freire1 , and Cl´audio T. Silva1 1

          Add to Reading List

          Source URL: vgc.poly.edu

          Language: English - Date: 2011-07-16 10:04:53
            176

            Verifying Array Programs by Transforming Verification Conditions Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

            Add to Reading List

            Source URL: www.sci.unich.it

            Language: English - Date: 2014-01-22 12:57:47
              177

              Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis1,3 www.sci.unich.it/:deangelis

              Add to Reading List

              Source URL: www.sci.unich.it

              Language: English - Date: 2012-10-22 15:03:12
                178

                Branching Preserving Specialization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

                Add to Reading List

                Source URL: www.sci.unich.it

                Language: English - Date: 2012-10-22 15:04:00
                  179

                  Verification of Programs by Transformation of Constraint Logic Programs Emanuele De Angelis (University “d’Annunzio”, Pescara, Italy), Fabio Fioravanti (University “d’Annunzio”, Pescara, Italy),

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  Language: English - Date: 2013-09-19 22:49:42
                    180

                    Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

                    Add to Reading List

                    Source URL: www.iasi.cnr.it

                    Language: English - Date: 2013-03-14 08:11:04
                      UPDATE