Electronic Books

Total Books: 2541 - 2560 /2814

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

Describes a fast, accurate and flexible modelling methodology for PCBs. The model uses the concept of tensorial analysis ...

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

It introduces the AMGM models and gives the exact form for the yields and their moment structures. … the book is well-presented ...

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

Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf ...

This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...

This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...

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

This book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...

This text book Written by a group of international experts in the field and the result of over ten years of collaboration, ...

The objective ofthis book is to collect state-of-the-art research and tech-nologyfor design, analysis, construction and maintenance ...

Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...

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

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

This book presents some of the recent work on the statistical analysis of cross-classified data using longlinear models, ...

Total Books: 2541 - 2560 /2814