for at udvide
kategorilisten.
Softwareudvikling
-
Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 25th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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) -
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) -
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) -
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) -
ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 27th European Conference on Object-Oriented... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Web Engineering: 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
The papers cover a wide spectrum of topics, such as, among others: web mining and knowledge extraction,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed proceedings of the 8th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory, Practice, and Applications of Rules on the Web: 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
The accepted papers address topics such as rule-based programming and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 4th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications -- ICCSA 2013: 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Bog, Paperback / softback, Engelsk)
This book presents 5 tutorial lectures by leading researchers given at... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
