Your search returned 8 results.

Not what you expected? Check for suggestions
1.
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / Johan Jeuring [and others] (eds.).

by AISC (Conference) (11th : 2012 : Bremen, Germany) | Jeuring, Johan, 1965- | Calculemus (Symposium) (19th : 2012 : Bremen, Germany) | DML 2012 (2012 : Bremen, Germany) | MKM 2012 (2012 : Bremen, Germany) | CICM (Conference) (5th : 2012 : Bremen, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: AISC 2012 | Calculemus 2012 | DML 2012 | MKM 2012 | CICM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.).

by CICM (Conference) (6th : 2013 : Bath, England) | Carette, Jacques (Computer scientist) [editor.] | Aspinall, D [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | MKM (Conference) (12th : 2013 : Bath, England) | Calculemus (Symposium) (20th : 2013 : Bath, England) | DML (Workshop) (6th : 2013 : Bath, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (Eds.).

by CICM (Conference) (2014 : Coimbra, Portugal) | Watt, Stephen M [editor.] | Davenport, James H [editor.] | Sexton, Alan P [editor.] | Sojka, Petr [editor.] | Urban, Josef [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: CICM 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings / Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (eds.).

by CICM (Conference) (2015 : Washington, D.C.) | Kerber, Manfred, 1956- [editor.] | Carette, Jacques (Computer scientist) [editor.] | Kaliszyk, Cezary [editor.] | Rabe, Florian [editor.] | Sorge, Volker [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: CICM 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings / Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.).

by CICM (Conference) (9th : 2016 : Białystok, Poland) | Kohlhase, Michael, 1964- [editor.] | Johansson, Moa [editor.] | Miller, Bruce [editor.] | Moura, Leonardo de [editor.] | Tompa, Frank [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (eds.).

by CICM (Conference) (10th : 2017 : Ediburgh, Scotland) | Geuvers, Herman, 1964- [editor.] | England, Matthew [editor.] | Hasan, Osman, 1975- [editor.] | Rabe, Florian [editor.] | Teschke, Olaf [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: CICM 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Intelligent computer mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef (Eds.).

by CICM (Conference) (11th : 2018 : Hagenberg, Austria) | Rabe, Florian [editor.] | Farmer, William M [editor.] | Passmore, Grant O [editor.] | Youssef, Abdou [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018]Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Intelligent computer mathematics : 12th international conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings / Cezary Kaliszyk [and 3 others] (eds.).

by CICM (Conference) (12th : 2019 : Prague, Czech Republic) | Kaliszyk, Cezary [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2019]Other title: CICM 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha