Telecommunications Modeling, Policy, and Technology
With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...
Lee mas
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lee mas
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lee mas
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lee mas
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lee mas
Terrorism Informatics
Terrorism informatics has been defined as the application of advanced methodologies, information fusion and analysis techniques ...
Lee mas
Test and Analysis of Web Services
The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. ...
Lee mas
TestGoal : Result-Driven Testing
TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Text Mining
One consequence of the pervasive use of computers is that most documents originate in digital form. Text mining—the process ...
Lee mas
Text, Speech and Dialogue
Constitutes the refereed proceedings of the 10th International Conference on Text, Speech and Dialogue, TSD 2007, held in ...
Lee mas
Text, Speech and Dialogue
This volume contains proceedings of the 5th International Conference Speech and Dialogue (TSD) Conference, held in Brno, ...
Lee mas
