for at udvide
kategorilisten.
Matematisk datateori
-
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) -
Neural Networks: Tricks of the Trade (Bog, Paperback / softback, Engelsk)
The second edition of the book adds more tricks, arising from fourteen years of work by some of the world's most prominent researchers. These can substantially improve speed, ease of implementation and accuracy when putting algorithms to work on real problems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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) -
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) -
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the International Symposium on... 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) -
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) -
Business Intelligence: Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures (Bog, Paperback / softback, Engelsk)
Here is a concise and comprehensive introduction to business intelligence (BI). This book combines traditional BI technologies with new topics such as business semantics, Big Data analysis, and multicriteria decision making.
Levering: Skaffevare (forvent 14 - 30 hverdage)
