Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lire la suite
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lire la suite
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suite
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lire la suite
Test and Analysis of Web Services
The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lire la suite
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 ...
Lire la suite
Text, Speech and Dialogue
Constitutes the refereed proceedings of the 10th International Conference on Text, Speech and Dialogue, TSD 2007, held in ...
Lire la suite
Text, Speech and Dialogue
This volume contains proceedings of the 5th International Conference Speech and Dialogue (TSD) Conference, held in Brno, ...
Lire la suite
Text, Speech and Dialogue (vol. # 3658)
Thisyear’sconferencewaspartiallyorientedtowardsmulti-modalhuman-computer interaction (HCI), which can be seen as the most ...
Lire la suite
Text, Speech and Dialogue (vol. # 4188)
Here are the refereed proceedings of the 9th International Conference on Text, Speech and Dialogue, TSD 2006. Coverage ranges ...
Lire la suite
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 ...
Lire la suite
The Calculus of Computation
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...
Lire la suite
The Calculus of Computation
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...
Lire la suite
The Common Component Modeling Example : Comparing Software Component Models
The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Lire la suite
The Finite Element Method and Applications in Engineering Using ANSYS®
The Finite Element Method and Applications with ANSYS® provides the reader with theoretical and practical knowledge of the ...
Lire la suite
The Grammar of Technology Development
This book includes the keynote lecture and fourteen selected papers that - scribe a general guideline and supporting concepts ...
Lire la suite
The Next Wave in Computing, Optimization, and Decision Technologies
THE NEXT WAVE IN COMPUTING, OPTIMIZATION, AND DECISION TECHNOLOGIES is divided into six sections. The first section contains ...
Lire la suite
