Treffer 1 - 15 von 15 für Suche 'Etalle, Sandro', Suchdauer: 0,41s Treffer weiter einschränken
  1. 1
    Transformation and analysis of (constraint) logic programs
    von Etalle, Sandro
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Transformation and analysis of (constraint) logic programs
    von Etalle, Sandro
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Etalle, Sandro
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Bossi, Analisa
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Bossi, Annalisa
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    von Bossi, Annalisa
    Veröffentlicht 1994
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    von Etalle, Sandro
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    von Apt, Krzyszto R.
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Logic based program synthesis and transformation : 14th international symposium ; revised selected papers
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers
    Veröffentlicht 2005
    Cover
    Inhaltstext
    Inhaltstext
    Verlagsangaben
    Inhaltsverzeichnis
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    von Bossi, Annalisa
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17 - 20, 2006 ; proceedings
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Formal aspects of security and trust : 7th international Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 ; revised selected papers
    Veröffentlicht 2011
    Inhaltstext
    Cover
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Trust management : proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada
    Veröffentlicht 2007
    Inhaltsverzeichnis
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A Matter of Life and Death: Analyzing the Security of Healthcare Networks
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: