for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 25th International Symposium on Model... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 21st International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Internet of Things – ICIOT 2018: Third International Conference, 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 proceedings of the International Conference on Internet of Things, ICIOT 2018, held in Seattle, WA, USA, in June 2018. The contributions are organized in topical sections named: Research Track – Architecture; Research Track – Smart IoT;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Services Computing – SCC 2018: 15th International Conference, 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 proceedings of the International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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)
