for at udvide
kategorilisten.
Softwareudvikling
-
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-workshop proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
The papers address all aspects of static analysis, including abstract domains, abstract interpretation,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This volume contains the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Bog, Paperback / softback, Engelsk)
This book is dedicated to Professor Martin Wirsing on the occasion of his... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 10th European Conference on Software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
?This book constitutes the refereed proceedings of the 15th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Quality Assurance: Consistency in the Face of Complexity and Change (Bog, Paperback / softback, Engelsk)
In doing so it provides readers with a comprehensive understanding of where software quality fits into the development... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
