Wheelers Books
Refine By
Publication Date
Fiction / Non-Fiction
    Age
      Format
        Extended Format
        Show Large Print:
        Category
          Publication Country
            Latest Additions
            Language
              Price
              -

              Books by Jacques Carette

              Stock Availability: Sort by: View:

              Total 5 jump to: go
              Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
                

              Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Trade Paperback / Paperback, 2015 ed.)

              Edited by Kerber, Manfred; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker

              • RRP: $230.50
              • $133.80
              • Save $96.70
              • In Stock US

              This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were careful...ly reviewed and selected from a total of 43 submissions.
              Read more

              ISBN 9783319206141
              Released NZ 29 Jun 2015
              Publisher Springer International Publish
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
                

              Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings (Paperback, 2009 ed.)

              Edited by Carette, Jacques; Dixon, Lucas; Sacerdoti Coen, Claudio; Watt, Stephen

              • RRP: $457.50
              • $265.73
              • Save $191.77
              • In Stock US

              As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation.

              ISBN 9783642026133
              Released NZ 19 Jun 2009
              Publisher Springer-Verlag Berlin and Hei
              Interest Age 19+ years
              Series Lecture Notes in Artificial Intelligence
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              Mathematical Software - ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings
                

              Mathematical Software - ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings (Paperback, 1st ed. 2020)

              Edited by Bigatti, Anna Maria; Carette, Jacques; Davenport, James H.; Joswig, Michael; de Wolff, Timo

              • RRP: $296.50
              • $172.04
              • Save $124.46
              • In Stock US

              This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020.

              ISBN 9783030521998
              Released NZ 8 Jul 2020
              Publisher Springer Nature Switzerland AG
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
                

              Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Trade Paperback / Paperback, 2013 ed.)

              Edited by Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang

              • RRP: $213.99
              • $124.24
              • Save $89.75
              • In Stock US

              This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part o...f CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.
              Read more

              ISBN 9783642393198
              Released NZ 22 Jul 2013
              Publisher Springer-Verlag Berlin and Hei
              Interest Age General Audience
              Series Lecture Notes in Artificial Intelligence
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              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
                

              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 (Trade Paperback / Paperback, 2012 ed.)

              Edited by Jeuring, Johan; Campbell, John; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr

              • RRP: $279.99
              • $162.48
              • Save $117.51
              • In Stock US

              Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012 and more.

              ISBN 9783642313738
              Released NZ 27 Jun 2012
              Publisher Springer
              Interest Age General Audience
              Series Lecture Notes in Artificial Intelligence
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              Total 5 jump to: go