for at udvide
kategorilisten.
Matematisk datateori
-
Bemærk: Kan ikke leveres før jul.
Algorithms and Computation: 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the revised selected papers of the 8th International Workshop on Algorithms and Computation, WALCOM 2014, held in Chennai, India, in February 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Pairing-Based Cryptography -- Pairing 2013: 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 6th International Conference on Pairing-Based Cryptography, Pairing 2013, held in Beijing, China, in November 2013. The 14 full papers presented were carefully reviewed and selected from 59 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Unconventional Computation and Natural Computation: 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, held in London, ON, Canada, in July 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 11th European Workshop on Performance... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computational Complexity of Solving Equation Systems (Bog, Paperback / softback, Engelsk)Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Ramsey Theory for Discrete Structures (Bog, Paperback / softback, Engelsk)This monograph covers the most important developments in Ramsey theory from its beginning in the early 20th century via its many breakthroughs and highlights in the late 20th century up to recent important developments in the early 21st century.
Levering: Skaffevare (forvent 14 - 30 hverdage)
