The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Lire la suiteFast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
Lire la suiteThis book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...
Lire la suiteTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lire la suiteThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lire la suiteThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suiteThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lire la suiteBuild, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...
Lire la suiteThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lire la suiteConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suiteThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suiteA concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...
Lire la suiteDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lire la suiteDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lire la suiteThe reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...
Lire la suiteThis book explains the basics of S-PLUS in a clear style at a level suitable for people with little computing or statistical ...
Lire la suiteThe Berkeley DB Book is a practical guide to the intricacies of the Berkeley DB. This book covers in-depth the complex design ...
Lire la suiteWill appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity ...
Lire la suite