Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 22nd International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 19th International Conference... Læs mere
Bemærk: Kan ikke leveres før jul.
Starting with a simple shooting game, the authors move on to puzzle games consisting of multiple levels, and conclude the book by developing a full-fledged platform game with animation, game physics, and intelligent enemies.
Bemærk: Kan ikke leveres før jul.
This LNCS book is part of the FOLLI book series and constitutes the proceedings of... Læs mere
Bemærk: Kan ikke leveres før jul.
Teaching you to create 12 game projects from a variety of genres, the software is user friendly and powerful, and the games you create can be... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 12th International Conference on Scalable Uncertainty Management, SUM 2018, which was held in Milan, Italy, in October 2018.
Bemærk: Kan leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.
Bemærk: Kan ikke leveres før jul.
Beginning-Advanced user level