Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science Book 9791)

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science Book 9791)

Authors:
Michael Kohlhase
ISBN13:
9783319425474
Edition:
1st ed. 2016
Published:
2016
Language:
de

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science Book 10383)

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science Book 10383)

Authors:
Author
ISBN13:
9783319620756
Edition:
1st ed. 2017
Published:
2017
Language:
de

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Computer Science, 11617)

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Computer Science, 11617)

Authors:
Cezary Kaliszyk
ISBN13:
9783030232498
Edition:
1st ed. 2019
Published:
2019-07-03
Language:
en

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers (Lecture Notes in Computer Science, 5081)

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers (Lecture Notes in Computer Science, 5081)

ISBN13:
9783540878261
Edition:
2008
Published:
2008-09-29
Language:
en

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings (Lecture Notes in Computer Science, 14960)

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings (Lecture Notes in Computer Science, 14960)

Authors:
Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
ISBN13:
9783031669965
Edition:
2024
Published:
2024-08-04
Language:
en

Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings (Lecture Notes in Computer Science Book 13467)

Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings (Lecture Notes in Computer Science Book 13467)

Authors:
John S. Schmit
ISBN13:
9783031166815
Edition:
2
Published:
2022
Language:
de

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Lecture Notes in Computer Science Book 9150)

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Lecture Notes in Computer Science Book 9150)

Authors:
Manfred Kerber
ISBN13:
9783319206158
Edition:
2015
Published:
2015
Language:
de

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... (Lecture Notes in Computer Science, 5144)

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... (Lecture Notes in Computer Science, 5144)

ISBN13:
9783540851097
Edition:
2008
Published:
2008-07-16
Language:
en

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... (Lecture Notes in Computer Science, 6167)

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... (Lecture Notes in Computer Science, 6167)

ISBN13:
9783642141270
Edition:
2010
Published:
2010-06-30
Language:
en

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... (Lecture Notes in Computer Science, 7362)

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... (Lecture Notes in Computer Science, 7362)

ISBN13:
9783642313738
Edition:
2012
Published:
2012-06-27
Language:
en

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ... Notes in Computer Science Book 6167)

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ... Notes in Computer Science Book 6167)

ISBN13:
9783642141287
Edition:
2010
Published:
2010
Language:
de

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, ... (Lecture Notes in Computer Science, 6824)

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, ... (Lecture Notes in Computer Science, 6824)

ISBN13:
9783642226724
Edition:
2011
Published:
2011-07-18
Language:
en

Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings (Lecture Notes in Computer Science, 5625)

Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings (Lecture Notes in Computer Science, 5625)

ISBN13:
9783642026133
Edition:
2009
Published:
2009-06-19
Language:
en

Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings (Lecture Notes in Computer Science, 8543)

Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings (Lecture Notes in Computer Science, 8543)

ISBN13:
9783319084336
Edition:
2014
Published:
2014-07-28
Language:
en

Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science, 7961)

Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science, 7961)

ISBN13:
9783642393198
Edition:
2013
Published:
2013-07-22
Language:
en

Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

Authors:
Ruyong Feng
ISBN13:
9783662437995
Edition:
2014
Published:
2014
Language:
de

Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

Authors:
Ruyong Feng, Wen-shin Lee, Yosuke Sato
ISBN13:
9783662525401
Edition:
1
Published:
2016
Language:
en

Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

ISBN13:
9783662437988
Edition:
2014
Published:
2014-10-10
Language:
en

Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings (Lecture Notes in Artificial Intelligence Book 12236)

Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings (Lecture Notes in Artificial Intelligence Book 12236)

Authors:
Christoph Benzmüller, Bruce Miller
ISBN13:
9783030535186
Edition:
1st ed. 2020
Published:
2020
Language:
de

Essential Discrete Mathematics for Computer Science

Essential Discrete Mathematics for Computer Science

Authors:
Harry Lewis, Rachel Zax
ISBN13:
9780691179292
Published:
2019-03-19
Language:
en