Treffer 1 - 5 von 5 für Suche 'Vene, Varmo', Suchdauer: 0,24s Treffer weiter einschränken
  1. 1
    Categorical programming with inductive and coinductive types
    von Vene, Varmo
    Veröffentlicht 2000
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Advanced functional programming : 5th international school ; revised lectures
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 ; revised lectures
    Veröffentlicht 2005
    Inhaltsverzeichnis
    Inhaltstext
    Cover
    Inhaltstext
    Publisher description
    Table of contents only
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Seidl, Helmut
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5 - 8, 2006 : proceedings
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Verlagsangaben
    Cover
    Inhaltstext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: