Treffer 1 - 20 von 111 für Suche 'TYPES', Suchdauer: 0,37s Treffer weiter einschränken
  1. 1
    Types for proofs and programs : international workshop ; selected papers
    Veröffentlicht 2003
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Catalog, Types Mollusca
    Veröffentlicht 1981
    Katalogkarte der UB Frankfurt
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers
    Veröffentlicht 2002
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Types for proofs and programs : international workshop ; revised selected papers
    Veröffentlicht 2004
    Vorwort
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers
    Veröffentlicht 2004
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Inhaltstext
    Volltext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers
    Veröffentlicht 2002
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers
    Veröffentlicht 2004
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers
    Veröffentlicht 2000
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Veröffentlicht 1982-1988
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Veröffentlicht 1982-1988
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Veröffentlicht 1969
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Types for proofs and programs : selected papers
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Types for proofs and programs : selected papers
    Veröffentlicht 1998
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers
    Veröffentlicht 2007
    Cover
    Inhaltstext
    Volltext
    Table of contents
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5 - 8, 1995; selected papers
    Veröffentlicht 1996
    Cover
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27 - 31, 1998 ; selected papers
    Veröffentlicht 1999
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Types for proofs and programs : selected papers
    Veröffentlicht 1998
    Inhaltstext
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Types for proofs and programs : selected papers
    Veröffentlicht 1999
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Types for proofs and programs : selected papers
    Veröffentlicht 2000
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: