Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
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) -
Agent-Oriented Software Engineering XIII: 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Personal Web: A Research Agenda (Bog, Paperback / softback, Engelsk)
This book grew out of the First Symposium on the Personal Web, co-located with CASCON 2010 in Markham, Ontario, Canada.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings (Bog, Paperback / softback, Engelsk)
The 34 revised full papers (22 technical papers, 9 application... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 4th International Conference on Runtime... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
