Treffer 1 - 12 von 12 für Suche 'ONG, LUKE', Suchdauer: 0,31s Treffer weiter einschränken
  1. 1
    Veröffentlicht 2015
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings
    Veröffentlicht 2011
    Inhaltstext
    Cover
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings
    Veröffentlicht 2017
    Inhaltstext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as Part of the Joint European Conferences on Theory and Practice of Softwrae, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings
    Veröffentlicht 2010
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicted to Samson Abramsky on the occasion of his 60th birthday
    Veröffentlicht 2013
    Inhaltsverzeichnis
    Inhaltstext
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005; proceedings
    Veröffentlicht 2005
    Inhaltsverzeichnis
    Einführung/Vorwort
    Cover
    Inhaltstext
    Volltext
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Computer science logic : 19th international workshop ; proceedings
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3 - 6, 2012 ; proceedings
    Veröffentlicht 2012
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 : IFIP 20th World Computer Congress [WCC 2008], TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
    Veröffentlicht 2008
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: