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

Mathematische & Statistische Software

10  Treffer  für „Lecture Notes in Computer Science“
    Murli / Messina | Problems and Methodologies in Mathematical Software Production | Buch | Sack Fachmedien

    Murli / Messina Problems and Methodologies in Mathematical Software Production

    International Seminar, Held at Sorrento, Italy, November 3-8, 1980
    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11603-5
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Thery | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Thery Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leung / Lee / Chan | Neural Information Processing | Buch | Sack Fachmedien

    Leung / Lee / Chan Neural Information Processing

    16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II
    2009
    Verlag: Springer
    ISBN: 978-3-642-10682-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leung / Lee / Chan | Neural Information Processing | Buch | Sack Fachmedien

    Leung / Lee / Chan Neural Information Processing

    16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part I
    2009
    Verlag: Springer
    ISBN: 978-3-642-10676-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greuel / Sommese / Koch | Mathematical Software ¿ ICMS 2016 | Buch | Sack Fachmedien

    Greuel / Sommese / Koch Mathematical Software ¿ ICMS 2016

    5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42431-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mutzel / Leipert / Jünger | Graph Drawing | Buch | Sack Fachmedien

    Mutzel / Leipert / Jünger Graph Drawing

    9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43309-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith / Boyle / Dongarra | Matrix Eigensystem Routines - EISPACK Guide | Buch | Sack Fachmedien

    Smith / Boyle / Dongarra Matrix Eigensystem Routines - EISPACK Guide

    2. Auflage 1976. 6th printing 1976
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-07546-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goodrich / Kobourov | Graph Drawing | Buch | Sack Fachmedien

    Goodrich / Kobourov Graph Drawing

    10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00158-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asperti / Trybulec / Bancerek | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Asperti / Trybulec / Bancerek Mathematical Knowledge Management

    Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23029-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dams / Massinek / Gerth | Theoretical and Practical Aspects of SPIN Model Checking | Buch | Sack Fachmedien

    Dams / Massinek / Gerth Theoretical and Practical Aspects of SPIN Model Checking

    5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66499-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