Treffer 1 – 12 von 12 für Suche 'Fernández, Maribel', Suchdauer: 0,06s 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
    Programming languages and operational semantics a concise overview

    Programming languages and operational semantics a concise overview von Fernández, Maribel

    Veröffentlicht 2014
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Programming Languages and Operational Semantics A Concise Overview

    Programming Languages and Operational Semantics A Concise Overview von Fernández, Maribel

    Veröffentlicht 2014
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Models of computation an introduction to computability theory

    Models of computation an introduction to computability theory von Fernández, Maribel

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Models of Computation An Introduction to Computability Theory

    Models of Computation An Introduction to Computability Theory von Fernandez, Maribel

    Veröffentlicht 2009

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Diccionari del català antic [un utilíssim repertori de tres mil paraules que facilita l'accés a la literatura medieval]

    Diccionari del català antic [un utilíssim repertori de tres mil paraules que facilita l'accés a la literatura medieval] von Costa Clos, Mercè, Tarrés Fernández, Maribel

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Diccionari del català antic

    Diccionari del català antic von Costa Clos, Mercè, Tarrés Fernández, Maribel

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Logic-based program synthesis and transformation 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, proceedings

    Logic-based program synthesis and transformation 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, proceedings

    Veröffentlicht 2021
    Weitere Verfasser: “… Fernández, Maribel …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Graph transformation 16th international conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19–20, 2023, proceedings

    Graph transformation 16th international conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19–20, 2023, proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Fernández, Maribel …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Logic-based program synthesis and transformation 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings

    Logic-based program synthesis and transformation 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser: “… Fernández, Maribel …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    26th International Conference on Rewriting Techniques and Applications (RTA 2015) RTA’15, June 29 to July 1, 2015, Warsaw, Poland

    26th International Conference on Rewriting Techniques and Applications (RTA 2015) RTA’15, June 29 to July 1, 2015, Warsaw, Poland

    Veröffentlicht 2015
    Weitere Verfasser: “… Fernández, Maribel …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Graph transformation 16th international conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023 : proceedings

    Graph transformation 16th international conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Fernández, Maribel …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    28th EACSL Annual Conference on Computer Science Logic CSL 2020, January 13–16, 2020, Barcelona, Spain

    28th EACSL Annual Conference on Computer Science Logic CSL 2020, January 13–16, 2020, Barcelona, Spain

    Veröffentlicht 2020
    Weitere Verfasser: “… Fernández, Maribel …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: