Ergebnisse filtern
-
- 185
-
- 40
- 129
- 16
-
- 2
- 2
- 159
- 22
-
- 184
- 1
-
- 185
-
- 185
- 13
Mathematik Interdisziplinär
-
Janßen Trends in Computer Algebra
International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18928-2Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Vorozhtsov / Koepf Computer Algebra in Scientific Computing
19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66319-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Vorozhtsov / Koepf Computer Algebra in Scientific Computing
15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-02296-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Vorozhtsov / Koepf Computer Algebra in Scientific Computing
14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-32972-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Vorozhtsov / Koepf Computer Algebra in Scientific Computing
20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-99638-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Vorozhtsov / Koepf Computer Algebra in Scientific Computing
16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10514-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boulier / Vorozhtsov / England Computer Algebra in Scientific Computing
22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-60025-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Vorozhtsov / Koepf Computer Algebra in Scientific Computing
18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45640-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hulzen Computer Algebra
EUROCAL'83, European Computer Algebra Conference London, England, March 28-30, 1983 ProceedingsSoftcover Nachdruck of the original 1. Auflage 1983Verlag: Springer Berlin HeidelbergISBN: 978-3-540-12868-7Medium: Buch28,88 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Camilleri / Srivas Formal Methods in Computer-Aided Design
First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61937-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berry / Finkel / Comon Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42345-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miller / Benzmüller Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-53517-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peled / Halbwachs Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kaliszyk / Sacerdoti Coen / Brady Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-23249-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Somenzi / Hunt, Jr. / Hunt Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40524-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Henzinger / Alur Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61474-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gutierrez / Weimann / Schicho Computer Algebra and Polynomials
Applications of Algebra and Number Theory2015Verlag: Springer International PublishingISBN: 978-3-319-15080-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pong / Chin Computer Vision - ACCV'98
Third Asian Conference on Computer Vision, Hong Kong, China, January 8 - 10, 1998, Proceedings, Volume I1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63930-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miguet / Ubeda / Montanvert Discrete Geometry for Computer Imagery
6th International Workshop, DGCI'96, Lyon, France, November 13 - 15, 1996, Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62005-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreno-Diaz / Pichler Computer Aided Systems Theory - EUROCAST '89
A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52215-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreno-Díaz / Quesada-Arencibia / Pichler Computer Aided Systems Theory - EUROCAST 2015
15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-27339-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreno-Díaz / Quesada-Arencibia / Pichler Computer Aided Systems Theory - EUROCAST 2017
16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-74717-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreno-Díaz / Quesada-Arencibia / Pichler Computer Aided Systems Theory - EUROCAST 2017
16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-74726-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vassiliadis / Hämäläinen / Berekovic Embedded Computer Systems: Architectures, Modeling, and Simulation
7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73622-6Medium: 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