Ergebnisse filtern
-
- 162
-
- 30
- 122
- 7
- 3
-
- 2
- 5
- 135
- 20
-
- 161
- 1
-
- 162
-
- 162
- 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
17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24020-6Medium: 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
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 -
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 -
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 -
Watt / Sexton / Urban Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08433-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlhase / Johansson / Tompa Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42546-7Medium: Buch44,94 € (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 -
Bradley Computer Performance Engineering
6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02923-3Medium: Buch53,49 € (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 -
Gaspary / Bartolini Integrated Management of Systems, Services, Processes and People in IT
20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04988-0Medium: Buch53,49 € (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-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 -
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 -
Bertels / Wong / Dimopoulos Embedded Computer Systems: Architectures, Modeling, and Simulation
9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03137-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berekovic / Wong / Dimopoulos Embedded Computer Systems: Architectures, Modeling, and Simulation
8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70549-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gordon Foundations of Software Science and Computational Structures
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00897-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Amadio Foundations of Software Science and Computational Structures
11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-78497-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Engberg / Nielsen Foundations of Software Science and Computation Structures
5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43366-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Danezis / Sako / Dietrich Financial Cryptography and Data Security
FC 2011 Workshops, RLCPS and WECSR, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-29888-2Medium: 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