Systems, Control, Modeling and Optimization
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
اقرأ المزيد
Taking Your iPod touch to the Max
Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
اقرأ المزيد
Taxonomies for the Development and Verification of Digital Systems
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
اقرأ المزيد
Technical Translation
This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...
اقرأ المزيد
Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond
This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...
اقرأ المزيد
Technology Enhanced Learning
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
TestGoal : Result-Driven Testing
TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also ...
اقرأ المزيد
Testing Commercial-off-the-Shelf Components and Systems
Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf ...
اقرأ المزيد
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 Communicating Systems (vol. # 3502)
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
اقرأ المزيد
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
اقرأ المزيد
Testing of Software and Communicating Systems
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
اقرأ المزيد
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, Speech and Dialogue : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedings
This book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...
اقرأ المزيد
