Free Delivery Over $100
15219 books were found.
Read More >>
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International... Read More >>
Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics.... Read More >>
The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International... Read More >>
Whether you're an artist, designer, programmer or hobbyist, Arduino lets you learn about and play with electronics.... Read More >>
There is something magical about a book waiting to be filled with your own work. Whether it's a beautifully detailed... Read More >>
This volume (a) gives an overview of motivations of TA, its history and its current practices, (b) develops a fresh... Read More >>
This book presents a collection of research papers that address the challenge of how to develop software in a principled... Read More >>
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which... Read More >>
This book constitutes the refereed proceedings of the 21st International Conference on Principles and Practice of... Read More >>
UML modelling is one of the widely used techniques in the software development industry. Business analysts use this... Read More >>
An industry insider explains why there is so much bad software—and why academia doesn't teach programmers what industry... Read More >>
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018,... Read More >>
This book presents the outcomes of the 16th International Conference on Software Engineering, Artificial Intelligence... Read More >>