Tendon ailments are a significant cause of morbidity among athletes of all levels and are increasing in prevalence. Their ...
Continue reading
Algebra was born as the study of the solvability of polynomial equations and essentially remained so until in 1830 Evariste ...
Continue reading
The technology of terahertz detection has largely been developed around expensive and bulky femtosecond laser systems but, ...
Continue reading
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Continue reading
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Continue reading
Over 100 authors present 25 contributions on the impacts of global change on terrestrial ecosystems including: key processes ...
Continue reading
Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf ...
Continue reading
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Continue reading
Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...
Continue reading
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Continue reading
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Continue reading
Provides an understanding of peer-reviewed international construction materials and their testing methods in a simplified ...
Continue reading
Presents recent developments in the field of testing of materials and elements in civil engineering. For this reason, the ...
Continue reading
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Continue reading
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Continue reading
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Continue reading
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue reading
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue reading
One consequence of the pervasive use of computers is that most documents originate in digital form. Text mining—the process ...
Continue reading
Constitutes the refereed proceedings of the 10th International Conference on Text, Speech and Dialogue, TSD 2007, held in ...
Continue reading