Fachgebiet
Medium
  • 8
  • 2
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
Autoren
  • 1
  • 2
  • 2
  • 1
  • 1
  • 10
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 10
Preis
  • 1
  • 7
  • 2
Sprachen
  • 10
Verfügbarkeit
  • 10
Katalog
  • 10
10  Treffer  für „Jouannaud, Jean-Pierre“


    Jouannaud Rewriting Techniques and Applications

    Dijon, France, May 20-22, 1985
    1985
    Verlag: Springer
    ISBN: 978-3-540-15976-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jouannaud Functional Programming Languages and Computer Architecture

    Proceedings, Nancy, France, September 16-19, 1985
    1985
    Verlag: Springer
    ISBN: 978-3-540-15975-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jouannaud Constraints in Computational Logics

    First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
    1994
    Verlag: Springer
    ISBN: 978-3-540-58403-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jouannaud / Shao Certified Programs and Proofs

    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-25378-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jouannaud / Shao Certified Programs and Proofs

    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-25379-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Comon / Jouannaud Term Rewriting

    French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
    1995
    Verlag: Springer
    ISBN: 978-3-540-59340-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kaplan / Jouannaud Conditional Term Rewriting Systems

    1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
    1988
    Verlag: Springer
    ISBN: 978-3-540-19242-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gaudel / Jouannaud TAPSOFT '93: Theory and Practice of Software Development

    4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
    1993
    Verlag: Springer
    ISBN: 978-3-540-56610-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Futatsugi / Jouannaud / Meseguer Algebra, Meaning, and Computation

    Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    2006
    Verlag: Springer
    ISBN: 978-3-540-35464-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Futatsugi / Jouannaud / Meseguer Algebra, Meaning, and Computation

    Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    2006
    Verlag: Springer
    ISBN: 978-3-540-35462-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular