for at udvide
kategorilisten.
Softwareudvikling
-
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
VMCAI provides topics including: program verification, model checking,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Unconventional Computation and Natural Computation: 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Trust, Privacy and Security in Digital Business: 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Transactions on Petri Nets and Other Models of Concurrency X (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Transactions on Computational Collective Intelligence XXV (Bog, Paperback / softback, Engelsk)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Transactions on Modularity and Composition I (Bog, Paperback / softback, Engelsk)
The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Transactions on Foundations for Mastering Change I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
