for at udvide
kategorilisten.
Softwareudvikling
-
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in New Technologies, Interactive Interfaces and Communicability: Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Advances in New Technologies, Interactive Interfaces, and Communicability, held in Huerta Grande, Argentina, in December 2011.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Information Computing and Applications: Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
The papers are organized in topical sections on invited talk abstracts,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, 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) -
Search Computing: Broadening Web Search (Bog, Paperback / softback, Engelsk)
Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using the ranking and joining of results as the dominant factors for service composition.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology & Computing Intelligence (Bog, Hardback, Engelsk)
Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology (Bog, Hardback, Engelsk)
Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digital Media Technology (Bog, Hardback, Engelsk)
Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology (Bog, Hardback, Engelsk)
This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.
Levering: Skaffevare (forvent 14 - 30 hverdage)
