Suchergebnisse - Fernandez, Maribel

  • Treffer 1 – 12 von 12
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2014
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    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


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2009
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Fernández, Maribel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Fernández, Maribel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Fernández, Maribel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Fernández, Maribel …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Fernández, Maribel …”
    Tagungsbericht Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Fernández, Maribel …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: