Treffer 1 – 8 von 8 für Suche 'Podelski, Andreas', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Functions as passive constraints in LIFE

    Functions as passive constraints in LIFE von Aït-Kaci, Hassan, Podelski, Andreas

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Equational and membership constraints for infinite trees

    Equational and membership constraints for infinite trees von Niehren, Joachim, Podelski, Andreas, Treinen, Ralf

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A feature-based constraint system for logic programming with entailment

    A feature-based constraint system for logic programming with entailment von Aït-Kaci, Hassan, Podelski, Andreas, Smolka, Gert 1955-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Towards a meaning of LIFE

    Towards a meaning of LIFE von Aït-Kaci, Hassan, Podelski, Andreas

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Static analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

    Static analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Podelski, Andreas …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Networked systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018 : revised selected papers

    Networked systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere Verfasser: “… Podelski, Andreas …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Static analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

    Static analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Podelski, Andreas …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Networked systems 6th international conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers

    Networked systems 6th international conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere Verfasser: “… Podelski, Andreas …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: