for at udvide
kategorilisten.
Softwareudvikling
-
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)
-
Transactions on Computational Science XXXI: Special Issue on Signal Processing and Security in Distributed Systems (Bog, Paperback / softback, Engelsk)
The areas of application include facial recognition, musical analysis, the diagnosis of retinal disorder, quantum circuits, intrusion detection, information leakage analysis, and the minimization of aliasing effects on text images.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Transactions on Computational Collective Intelligence XXVII (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) -
Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2018, CT-RSA 2018, held in San Francisco, CA, USA, in March 2018.The 26 papers presented in this volume were carefully reviewed and selected from 79 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage)
