Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 22nd International... Læs mere
Bemærk: Kan ikke leveres før jul.
The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017. The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions.
Bemærk: Kan ikke leveres før jul.
During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 8th International Conference on Rigorous... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 17th International Workshop... Læs mere
Bemærk: Kan ikke leveres før jul.
Intermediate-Advanced user level
Bemærk: Kan leveres før jul.
Bemærk: Kan leveres før jul.
This textbook provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language.
Bemærk: Kan ikke leveres før jul.
Intermediate