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
Tensorial Analysis of Networks (TAN) Modelling for PCB Signal Integrity and EMC Analysis (Materials, Circuits and Devices)
Describes a fast, accurate and flexible modelling methodology for PCBs. The model uses the concept of tensorial analysis ...
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 Structure Modeling and Estimation in a State Space Framework
It introduces the AMGM models and gives the exact form for the yields and their moment structures. … the book is well-presented ...
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
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
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 masText 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 ...
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 : 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 ...
Lee mas
Textbook on Scar Management State of the Art Management and Emerging Technologies
This text book Written by a group of international experts in the field and the result of over ten years of collaboration, ...
Lee mas
Textile Composites and Inflatable Structures
The objective ofthis book is to collect state-of-the-art research and tech-nologyfor design, analysis, construction and maintenance ...
Lee mas
The Adaptive Web
Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
Lee mas
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lee mas
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lee mas
The Analysis of Cross-Classified Categorical Data
This book presents some of the recent work on the statistical analysis of cross-classified data using longlinear models, ...
Lee mas
