Treffer 1 - 3 von 3 für Suche 'Cruz-Filipe, Luís', Suchdauer: 0,12s Treffer weiter einschränken
  1. 1
    Constructive real analysis a type-theoretical formalization and applications

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

    Veröffentlicht 2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Joint Post-proceedings of the First and Second International Conference on Microservices Microservices 2017/2019

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

    Veröffentlicht 2020
    Weitere Verfasser: “… Cruz-Filipe, Luís …”
    Volltext
    Volltext
    kostenfrei
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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

    Joint Post-proceedings of the First and Second International Conference on Microservices Microservices 2017, October 2017, University of Southern Denmark, Odense, Denmark : Microse...

    Veröffentlicht 2020
    Weitere Verfasser: “… Cruz-Filipe, Luís …”
    Volltext
    Volltext
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: