Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Bemærk: Kan ikke leveres før jul.
Transactions on Rough Sets XVI (Bog, Paperback / softback, Engelsk)This book presents extensions of papers from the Rough Sets and Knowledge Technology Conference held in October 2011, along with a longer paper based on a PhD thesis. Together, they explore both the theory and applications of rough, fuzzy and near sets.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Bog, Paperback / softback, Engelsk)The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 19th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. They are organized in topical sections on multi-core and distributed systems;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 10th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 5th International Conference on Reversible... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 9th European Conference on Modelling... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
