Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
The conference focuses on all areas related to formal engineering methods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014. The 36 revised full papers were carefully reviewed and selected from 62 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 21st International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Essentials of Constraint Programming (Bog, Paperback / softback, Engelsk)
Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi natorial problems, as they are... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Enterprise Interoperability: 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the proceedings of the Fourth International IFIP Working Conference on Enterprise Interoperability (IWEI 2012) , held in Harbin, China, September 6-7, 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015. MAS software engineering methodologies and techniques, and development concerns;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Symposium on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Bog, Paperback / softback, Engelsk)
A record of some of the lectures and seminars delivered at the Second... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised, selected, and invited papers from the 4th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
