Electronic Books

Total Books: 401 - 420 /476

Supervisory Control of Concurrent Systems

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...

System Verilog for Verification : A Guide to Learning the Testbench Language Features

This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...

SystemVerilog for Verification

Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...

Taxonomies for the Development and Verification of Digital Systems

"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...

Temporal Logic and State Systems

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

Term Rewriting and Applications

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

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Term Rewriting and Applications (vol. # 4098)

PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...

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

This volume contains proceedings of the 5th International Conference Speech and Dialogue (TSD) Conference, held in Brno, ...

Text, Speech and Dialogue (vol. # 3658)

Thisyear’sconferencewaspartiallyorientedtowardsmulti-modalhuman-computer interaction (HCI), which can be seen as the most ...

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

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

The Calculus of Computation

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...

Total Books: 401 - 420 /476