Treffer 1 – 10 von 10 für Suche 'Abramsky, Samson 1953-', Suchdauer: 0,07s 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
    From IF to BI a tale of dependence and separation

    From IF to BI a tale of dependence and separation von Abramsky, Samson 1953-, Väänänen, Jouko 1950-

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Full abstraction in the lazy lambda calculus

    Full abstraction in the lazy lambda calculus von Abramsky, Samson 1953-, Ong, C.-H. L.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Handbook of logic in computer science.

    Handbook of logic in computer science.

    Veröffentlicht 2000
    Weitere Verfasser: “… Abramsky, Samson, 1953- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Veröffentlicht 2010
    Weitere Verfasser: “… Abramsky, Samson 1953- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Veröffentlicht 2010
    Weitere Verfasser: “… Abramsky, Samson 1953- …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Veröffentlicht 2010
    Weitere Verfasser: “… Abramsky, Samson 1953- …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Veröffentlicht 2010
    Weitere Verfasser: “… Abramsky, Samson 1953- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Weitere Verfasser: “… Abramsky, Samson 1953- …”
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings

    Weitere Verfasser: “… Abramsky, Samson 1953- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Dependence logic theory and applications

    Dependence logic theory and applications

    Veröffentlicht 2016
    Weitere Verfasser: “… Abramsky, Samson 1953- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: