Electronic Books

Total Books: 1841 - 1860 /2039

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

Testing and Tuning Market Trading Systems : Algorithms in C++ / Timothy Masters

Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Tests and Proofs

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

Text Analytics : An Introduction to the Science and Applications of Unstructured Information Analysis / John Atkinson-Abutridy

A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...

Textpattern Solutions: PHP-Based Content Management Made Easy

The book leaves no stone unturned. It starts by introducing you to Textpattern and guiding you through its very simple installation ...

The Acquisition of Verbs and their Grammar: The Effect of Particular Languages

This volume investigates the linguistic development of children with regard to their knowledge of the verb and its grammar.

The Agent Modeling Language - AML

During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...

The Agent Modeling Language - AML

During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...

The Algorithm Design Manual

The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...

The Art of Semiparametrics

This selection of articles has emerged from different works presented at the conference "The Art of Semiparametrics" celebrated ...

The Basel II Risk Parameters

The focus of this book is on the estimation and validation of the three key Basel II risk parameters, probability of default ...

The Basics of S-PLUS

This book explains the basics of S-PLUS in a clear style at a level suitable for people with little computing or statistical ...

The Berkeley DB Book

The Berkeley DB Book is a practical guide to the intricacies of the Berkeley DB. This book covers in-depth the complex design ...

The Best Software Writing I

Will appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity ...

The Best of Verity Stob

Verity Stob is the comedienne of the programming world. She has been writing satirical chronicles of techie life since 1988. ...

The Career Programmer

This guide, delivered with the wit and aplomb to make a serious topic entertaining and palatable, will help you survive the ...

Total Books: 1841 - 1860 /2039