Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
software architectures and their models, refinement and verification;... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held in Salvador, Brazil, in September 2014. understanding and verifying correctness of OpenMP programs; OpenMP memory extensions; experiences with OpenMP device constructs.
Bemærk: Kan ikke leveres før jul.
This volume constitutes the thoroughly refereed post-conference... Læs mere
Bemærk: Kan ikke leveres før jul.
This easy-to-follow textbook provides a student-friendly introduction to programming and algorithms. Although R is used as the language of choice for all... Læs mere
Bemærk: Kan ikke leveres før jul.
Suitable for the general reader, this concise and easy-to-read reference will be of interest to anyone curious about the inspiring men and women who have shaped the field of computer science.
Bemærk: Kan ikke leveres før jul.
much on their perceptions of C as an important language, which it certainly is, and on C programming experience as a highly marketable skill, as it is on the suitability of C for scientific computation.
Bemærk: Kan ikke leveres før jul.
“Over 170 figures are included in the book. … the material covered in the book is self-contained … . The balanced mix of real data examples, modeling software, and... Læs mere
Bemærk: Kan ikke leveres før jul.