Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Intelligent Computing Theories and Methodologies: 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 6th International Conference on Interactive... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computing in Bioinformatics: 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book – in conjunction with the volumes LNCS 8588 and LNAI 8589 – constitutes... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the joint refereed proceedings of Calculemus 2014,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computing Theories and Application: 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Data Engineering and Automated Learning – IDEAL 2017: 18th International Conference, Guilin, China, October 30 – November 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 18th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage)
