Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Second International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ubiquitous Computing and Ambient Intelligence: 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Transactions on Aspect-Oriented Software Development IX (Bog, Paperback / softback, Engelsk)
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD)... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures (Bog, Paperback / softback, Engelsk)
The summer school will focus on several of the most prominent and practical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques (Bog, Paperback / softback, Engelsk)
The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Exploring Services Science: 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
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) -
Feature-Oriented Software Product Lines: Concepts and Implementation (Bog, Hardback, Engelsk)
While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture Problems (Bog, Hardback, Engelsk)
Every enterprise architect faces similar problems when designing and governing the enterprise architecture of a medium to large enterprise.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Languages and Compilers for Parallel Computing: 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
