Søgning på underkategorier- og emner:
Computer programming is an empowering skill for those who wants to better the world, improve their career, or just have fun. This book covers... Læs mere
"User level: intermediate-advanced"--Back cover.
Beginning-Intermediate
This book constitutes the proceedings of the 11th International... Læs mere
Visual Basic and Visual Basic .NET for Scientists and Engineers begins with an overview of the Visual Basic and Visual Basic .NET IDEs, their important characteristics, and how the development environments can be manipulated to suit developers' needs.
VMCAI provides topics including: program verification, model checking,... Læs mere
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.