for at udvide
kategorilisten.
Softwareudvikling
-
Artificial Intelligence: 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019. The conference deals with a wide range of topics, including multi-agent systems, intelligent robots and behaviour planning;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 26th International Symposium on Model... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cooperative Design, Visualization, and Engineering: 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 16th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2019, held in Alcudia, Mallorca, Spain, in October 2019.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Bog, Paperback / softback, Engelsk)
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This volume constitutes the refereed proceedings of the 6th Workshop on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This volume contains papers presented at UTP 2019, the 7th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 10th International Conference on Computational Logistics, ICCL 2019, held in Barranquilla, Colombia, in September/October 2019. They were organized in topical sections named: freight transportation and urban logistics;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Perspectives in Business Informatics Research: 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This year’s theme was: Responsibilities of Digitalization – Responsible... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
