for at udvide
kategorilisten.
Softwareudvikling
-
Cloud Computing and Big Data: Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of theSecond International Conference on Cloud Computing and Big Data, CloudCom-Asia2015, held in Huangshan, China, in June 2015. The 29 full papers and two keynote speeches werecarefully reviewed and selected from 106 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Biomedical Data Management and Graph Online Querying: VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 – September 4, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Autonomous Agents and Multiagent Systems: AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the most visionary papers of the AAMAS 2016... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Augmented Reality, Virtual Reality, and Computer Graphics: 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Augmented Reality, Virtual Reality, and Computer Graphics: 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Artificial General Intelligence: 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 30th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes theproceedings of the 29th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Architecture of Computing Systems – ARCS 2015: 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 28th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
