Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 5
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 10
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
Verlag
  • 5
  • 3
  • 2
Preis
  • 9
  • 1
Sprachen
  • 10
Verfügbarkeit
  • 10
Katalog
  • 10
10  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
    2001
    Verlag: Springer Berlin Heidelberg
    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 | 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
    Sato / Middeldorp | Functional and Logic Programming | Buch | Sack Fachmedien

    Sato / Middeldorp Functional and Logic Programming

    4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66677-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Middeldorp / Felty | Automated Deduction - CADE-25 | Buch | Sack Fachmedien

    Middeldorp / Felty 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-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 | 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
    McMillan / Voronkov / Middeldorp | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

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

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-45220-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / van Oostrom / van Raamsdonk | Processes, Terms and Cycles: Steps on the Road to Infinity | eBook | Sack Fachmedien
    E-Book

    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
    2005
    Verlag: Springer
    ISBN: 978-3-540-32425-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Middeldorp / de Vrijer / van Oostrom | Processes, Terms and Cycles: Steps on the Road to Infinity | Buch | Sack Fachmedien

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

    Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    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