for at udvide
kategorilisten.
Softwareudvikling
-
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) -
Theory and Practice of Natural Computing: Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 4thInternational... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 19th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Bog, Paperback / softback, Engelsk)
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International Colloquium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
The Semantic Web – ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
