Treffer 1 - 6 von 6 für Suche 'Mascari, Gianfranco', Suchdauer: 0,44s Treffer weiter einschränken
  1. 1
    Model-theoretic specifications and back-and-forth equivalences

    Model-theoretic specifications and back-and-forth equivalences von Mascari, Gianfranco, Vincenzi, Antonio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    On the integration of numeric and algebraic computations

    On the integration of numeric and algebraic computations von Mascari, Gianfranco, Miola, Alfonso


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A logic of recursion

    A logic of recursion von Abrusci, V.Michele, Mascari, Gianfranco

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    While-programs with nondeterministic assignments and the logic ALNA

    While-programs with nondeterministic assignments and the logic ALNA von Mascari, Gianfranco, Venturini Zilli, Marisa

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Preface for the special issue “NFT-05: Italy and Greece”: nuclear fission technology in Italy

    Preface for the special issue “NFT-05: Italy and Greece”: nuclear fission technology in Italy von Caruso, Gianfranco, Mascari, Fulvio

    Veröffentlicht in Nuclear engineering and design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Nuclear safety Enhanced: A Deep dive into current and future RAVEN applications

    Nuclear safety Enhanced: A Deep dive into current and future RAVEN applications von D’Onorio, Matteo, Glingler, Tommaso, Molinari, Martina, Maccari, Pietro, Mascari, Fulvio, Mandelli, Diego, Alfonsi, Andrea, Caruso, Gianfranco

    Veröffentlicht in Nuclear engineering and design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: