Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 9th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 9th International Symposium on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes revised, selected, and invited papers from the 4th... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016.