for at udvide
kategorilisten.
Softwareudvikling
-
Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 5th International Conference on Mathematical Software,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 19th International GI/ITG... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Mastering Scale and Complexity in Software Reuse: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 16th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume contains the post-conference proceedings of the 10th Doctoral... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
The papers are organized along a set of thematic tracks: program analysis... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Rewriting, and Concurrency: Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday (Bog, Paperback / softback, Engelsk)
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (Bog, Paperback / softback, Engelsk)
This volume is published in Honor of PhilipWadler on the occasion of his 60th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Logical and Relational Learning (Bog, Paperback / softback, Engelsk)
Indeed, graph, network and multi-relational data mining are now popular themes in data mining, and statistical relational learning is receiving a lot of attention in the machine learning and uncertainty in art- cial intelligence communities.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
