Treffer 1 – 7 von 7 für Suche 'Bonsangue, Marcello M.', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Generalized ultrametric spaces completion, topology, and powerdomains via the Yoneda embedding

    Generalized ultrametric spaces completion, topology, and powerdomains via the Yoneda embedding von Bonsangue, Marcello M., Breugel, Franck van, Rutten, Jan J.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Semantics, orderings and recursion in the weakest precondition calculus

    Semantics, orderings and recursion in the weakest precondition calculus von Bonsangue, Marcello M., Kok, Joost N.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Isomorphisms between predicate and state transformers

    Isomorphisms between predicate and state transformers von Bonsangue, Marcello M., Kok, Joost N.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings

    Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings

    Veröffentlicht 2025
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings

    Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Data Science and Artificial Intelligence Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings

    Data Science and Artificial Intelligence Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings

    Veröffentlicht 2025
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Distributed computing techniques [... Ninth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07) and the Ninth International Conference on Coordination Models and Languages (Coordination'07), were part of the federated conferences on Distributed Computing Techniques (DisCoTec'07), held in Paphos, Cyprus, June 5 - 8, 2007]

    Distributed computing techniques [... Ninth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07) and the Ninth International Confer...

    Veröffentlicht 2009
    Weitere Verfasser: “… Bonsangue, Marcello M. …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: