Suchergebnisse - Cruz-Filipe, Luís

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Constructive real analysis: a type-theoretical formalization and applications
    von Cruz-Filipe, Luís

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Joint Post-proceedings of the First and Second International Conference on Microservices: Microservices 2017/2019

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Cruz-Filipe, Luís …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Joint Post-proceedings of the First and Second International Conference on Microservices: Microservices 2017, October 2017, University of Southern Denmark, Odense, Denmark : Microservices 2019, February 2019, University of Applied Sciences and Arts Dortmund, Dortmund, Germany

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Cruz-Filipe, Luís …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: