Electronic Books

Total Books: 2541 - 2560 /2814

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

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 ...

Term Rewriting and Applications

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

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 ...

Test and Analysis of Web Services

The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. ...

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 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 ...

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 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 ...

Text, Speech and Dialogue

Constitutes the refereed proceedings of the 10th International Conference on Text, Speech and Dialogue, TSD 2007, held in ...

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 ...

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, ...

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 ...

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, ...

The Agent Modeling Language - AML

During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...

The Agent Modeling Language - AML

During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...

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, ...

Total Books: 2541 - 2560 /2814