Søgning på underkategorier- og emner:
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 ikke leveres før jul.
Bemærk: Kan ikke 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
Bemærk: Kan ikke leveres før jul.
This textbook provides an accessible introduction to the most important features of Fortran 2008. Features: presents a complete discussion of all the basic features needed to write complete Fortran programs;
Bemærk: Kan ikke leveres før jul.
Beginning-Intermediate
Bemærk: Kan ikke leveres før jul.