Ergebnisse filtern
Fachgebiet
Medium
  • 4
Erscheinungsjahr
  • 2
  • 1
  • 1
Autoren
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
Verlag
  • 4
Preis
  • 3
  • 1
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4

EDV | Informatik

4  Treffer  für „Comon, Hubert“
Alle Filter löschen
    Comon | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Comon Rewriting Techniques and Applications

    8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon / Jouannaud | Term Rewriting | Buch | Sack Fachmedien

    Comon / Jouannaud Term Rewriting

    French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59340-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon / Marche / Treinen | Constraints in Computational Logics: Theory and Applications | Buch | Sack Fachmedien

    Comon / Marche / Treinen Constraints in Computational Logics: Theory and Applications

    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41950-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Comon / Finkel | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Comon / Finkel Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42345-4
    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