Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.

This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017. The 28 full papers presented in this volume were carefully reviewed and selected from 33 submissions. They deal with cutting-edg...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gerdt, Vladimir P. (Editor), Koepf, Wolfram (Editor), Seiler, Werner M. (Editor), Vorozhtsov, Evgenii V. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Theoretical Computer Science and General Issues ; 10490 Springer eBook Collection.
Subjects:	Algorithms. Computer science—Mathematics. Special purpose computers. Management information systems. Computer science. Software engineering. Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings
Published: (2020)

Computer algebra in scientific computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings
Published: (2021)

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Published: (2018)

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Published: (2019)

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Published: (2017)

Model-based safety and assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings
Published: (2022)

Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings
Published: (1999)

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
Published: (2007)

Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings
Published: (2001)

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Published: (2018)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Published: (2018)

Computer Safety, Reliability, and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
Published: (2003)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
Published: (2017)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
Published: (2017)

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
Published: (2006)

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
Published: (2005)

Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings
Published: (2020)

Computer Safety, Reliability, and Security 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
Published: (2004)

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Published: (2016)

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Published: (2015)

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
Published: (2017)

Computer-Aided Verification 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Published: (1991)

Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Published: (2000)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Published: (2013)

Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings
Published: (1998)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings
Published: (2008)

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
Published: (2010)

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Published: (2019)

Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings
Published: (2009)

Computer Aided Verification 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Published: (1992)

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Published: (2019)

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings
Published: (2017)

Computer Safety, Reliability, and Security 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings
Published: (2011)

Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings
Published: (2009)

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
Published: (1997)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
Published: (2001)

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Published: (2008)

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Published: (2007)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Published: (2005)

Parallel Scientific Computing First International Workshop, PARA '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings
Published: (1994)