Ergebnisse filtern
Fachgebiet
Medium
  • 7
  • 2
Erscheinungsjahr
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
Autoren
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 6
  • 6
  • 5
  • 1
  • 9
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
Verlag
  • 7
  • 2
Preis
  • 9
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9
9  Treffer  für „Meinke, Karl“
    Kovács / Meinke | Tests and Proofs | eBook | Sack Fachmedien
    E-Book

    Kovács / Meinke Tests and Proofs

    16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-09827-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kovács / Meinke | Tests and Proofs | Buch | Sack Fachmedien

    Kovács / Meinke Tests and Proofs

    16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-09826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus / Heering / Meinke | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Hanus / Heering / Meinke Algebraic and Logic Programming

    6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63459-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bennaceur / Hähnle / Meinke | Machine Learning for Dynamic Software Analysis: Potentials and Limits | Buch | Sack Fachmedien

    Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits

    International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96561-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Gurevich / Meinke | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Gurevich / Meinke Computer Science Logic

    7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58277-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi / Glaser / Meinke | Principles of Declarative Programming | Buch | Sack Fachmedien

    Palamidessi / Glaser / Meinke Principles of Declarative Programming

    10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65012-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bennaceur / Hähnle / Meinke | Machine Learning for Dynamic Software Analysis: Potentials and Limits | eBook | Sack Fachmedien
    E-Book

    Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits

    International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-96562-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Heering / Meinke / Möller | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Heering / Meinke / Möller Higher-Order Algebra, Logic, and Term Rewriting

    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58233-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek / Heering / Meinke | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61254-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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