Søgning på underkategorier- og emner:
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
The papers are organized in topical sections on flight systems, automotive... Læs mere
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016.
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way... Læs mere
This book constitutes the proceedings of the 14th International Symposium... Læs mere
This book constitutes the refereed proceedings of the 17th Industrial Conference on Advances in Data Mining, ICDM 2017, held in New York, NY, USA, in July 2017.
This book constitutes the proceedings of the 11th International Symposium on... Læs mere
This Brief provides a roadmap for the R language and programming environment with signposts to further resources and documentation.