Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 4
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 1
  • 1
  • 2
Verlag
  • 8
  • 1
Preis
  • 8
  • 1
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9
9  Treffer  für „Middeldorp, Aart“
    Middeldorp | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Middeldorp Rewriting Techniques and Applications

    12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42117-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp | Rewriting Techniques and Applications | eBook | Sack Fachmedien
    E-Book

    Middeldorp Rewriting Techniques and Applications

    12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45127-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Middeldorp / Sato | Functional and Logic Programming | Buch | Sack Fachmedien

    Middeldorp / Sato Functional and Logic Programming

    4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66677-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / Sato | Functional and Logic Programming | eBook | Sack Fachmedien
    E-Book

    Middeldorp / Sato Functional and Logic Programming

    4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-47950-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Felty / Middeldorp | Automated Deduction - CADE-25 | eBook | Sack Fachmedien
    E-Book

    Felty / Middeldorp Automated Deduction - CADE-25

    25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21401-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Felty / Middeldorp | Automated Deduction - CADE-25 | Buch | Sack Fachmedien

    Felty / Middeldorp Automated Deduction - CADE-25

    25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21400-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McMillan / Middeldorp / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    McMillan / Middeldorp / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45220-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McMillan / Middeldorp / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | eBook | Sack Fachmedien
    E-Book

    McMillan / Middeldorp / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45221-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Middeldorp / van Oostrom / van Raamsdonk | Processes, Terms and Cycles: Steps on the Road to Infinity | Buch | Sack Fachmedien

    Middeldorp / van Oostrom / van Raamsdonk Processes, Terms and Cycles: Steps on the Road to Infinity

    Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30911-6
    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