Ergebnisse filtern
-
- 11
-
- 3
- 1
- 1
- 2
- 2
- 1
- 1
-
- 11
-
- 1
- 7
- 3
-
- 11
-
- 11
-
- 11
Mathematische & Statistische Software
-
Messina / Murli Problems and Methodologies in Mathematical Software Production
International Seminar, Held at Sorrento, Italy, November 3-8, 19801. Auflage 1982Verlag: SpringerISBN: 978-3-540-11603-5Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66463-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlhase OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Foreword by Alan Bundy1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37897-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leung / Lee / Chan Neural Information Processing
16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II1. Auflage 2009Verlag: SpringerISBN: 978-3-642-10682-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kobourov / Goodrich Graph Drawing
10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00158-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smith / Boyle / Dongarra Matrix Eigensystem Routines - EISPACK Guide
2. Auflage 1976. 6th printing 1976Verlag: SpringerISBN: 978-3-540-07546-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dams / Gerth / Leue 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, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66499-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhong / Li / Lu Brain Informatics
International Conference, BI 2009, Beijing, China, October 22-24, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-04953-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adali / Jutten / Romano Independent Component Analysis and Signal Separation
8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00598-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mutzel / Jünger / Leipert Graph Drawing
9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43309-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asperti / Bancerek / Trybulec Mathematical Knowledge Management
Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23029-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort