Cesare

Results: 411



#Item
31[Vicino Oriente XXI (2017), ppA NOTE ON AN UMAYYAD CARVED IVORY PLAQUE KEPT AT THE WALTERS ART GALLERY Michelina Di Cesare - Sapienza University of Rome This paper proposes an iconographical and stylistic ana

[Vicino Oriente XXI (2017), ppA NOTE ON AN UMAYYAD CARVED IVORY PLAQUE KEPT AT THE WALTERS ART GALLERY Michelina Di Cesare - Sapienza University of Rome This paper proposes an iconographical and stylistic ana

Add to Reading List

Source URL: www.lasapienzatojericho.it

Language: English - Date: 2018-07-04 09:53:10
    32Corrente Cesare Negri (1602) .=60 

    Corrente Cesare Negri (1602) .=60 

    Add to Reading List

    Source URL: sca.uwaterloo.ca

    - Date: 1999-07-02 07:59:52
      33BANCA CARIGE BANCA CARIGE ITALIA BANCA CARIPE BANCA CESARE PONTI BANCA DEL FUCINO BANCA DEL MONTE DI LUCCA

      BANCA CARIGE BANCA CARIGE ITALIA BANCA CARIPE BANCA CESARE PONTI BANCA DEL FUCINO BANCA DEL MONTE DI LUCCA

      Add to Reading List

      Source URL: www.aci.it

      Language: Portuguese - Date: 2017-07-20 09:20:23
        34Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s

        Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s

        Add to Reading List

        Source URL: hott-uf.github.io

        - Date: 2018-03-28 14:04:14
          35Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi School of Mathematics University of Leeds HoTT/UF Workshop

          Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi School of Mathematics University of Leeds HoTT/UF Workshop

          Add to Reading List

          Source URL: hott-uf.github.io

          - Date: 2018-03-28 14:04:14
            36Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

            Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

            Add to Reading List

            Source URL: lara.epfl.ch

            - Date: 2017-08-25 12:01:44
              37LE SCHEDE DIDATTICHE DELLA MAESTRA MPM Il cifrario dei Romani Questo codice segreto sembra sia stato usato per primo da Giulio Cesare per mandare dispacci ai suoi comandanti.

              LE SCHEDE DIDATTICHE DELLA MAESTRA MPM Il cifrario dei Romani Questo codice segreto sembra sia stato usato per primo da Giulio Cesare per mandare dispacci ai suoi comandanti.

              Add to Reading List

              Source URL: www.ciaomaestra.it

              - Date: 2017-07-18 10:36:02
                38© Monica Bulaj Centro per la formazione degli insegnanti Mons. Cesare Mazzolari Cuiebet (Sud Sudan)

                © Monica Bulaj Centro per la formazione degli insegnanti Mons. Cesare Mazzolari Cuiebet (Sud Sudan)

                Add to Reading List

                Source URL: www.cesarsudan.org

                - Date: 2013-12-18 05:04:43
                  39REGOLAMENTO del concorso a premi promosso dalla Società WIND TELECOMUNICAZIONI S.p.A. con sede in Via Cesare Giulio Viola 48, CAP 00148, Roma, denominato “Ricarica Online e Vinci HUAWEI nova!” SOGGETTO DELEGATO: Alf

                  REGOLAMENTO del concorso a premi promosso dalla Società WIND TELECOMUNICAZIONI S.p.A. con sede in Via Cesare Giulio Viola 48, CAP 00148, Roma, denominato “Ricarica Online e Vinci HUAWEI nova!” SOGGETTO DELEGATO: Alf

                  Add to Reading List

                  Source URL: www.wind.it

                  - Date: 2016-11-30 06:27:14
                    40Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

                    Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2015-06-23 07:23:45