for at udvide
kategorilisten.
Softwareudvikling
-
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Services – SERVICES 2018: 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th World Congress... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection: 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 16th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Comparing and Aligning Process Representations: Foundations and Technical Solutions (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Bog, Paperback / softback, Engelsk)
Machine learning of software artefacts is an emerging area of interaction... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Cryptology – CRYPTO 2018: 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mobile Web and Intelligent Information Systems: 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Artificial General Intelligence: 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 11th International Conference on Artificial General Intelligence, AGI 2018, held in Prague, Czech Republic, in August 2018.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Management Perspective for Transport Telematics: 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed proceedings of the 18th International Conference on Transport Systems Telematics, TST 2018, held in Krakow, Poland in March 2018. The 36 full papers presented in this volume were carefully reviewed and selected from 128 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Security and Cryptography for Networks: 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 11th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
