Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the18th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the First OpenSHMEM Workshop, held... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the Third OpenSHMEM Workshop,... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018. The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 20th International Symposium on Model... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 22nd International Symposium... Læs mere
Bemærk: Kan ikke leveres før jul.
Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 12th International... Læs mere