Electronic Books

Total Books: 2901 - 2920 /3237

Task Models and Diagrams for Users Interface Design ; 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...

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

Teaching Tolerance in a Globalized World

This open access thematic report identifies factors and conditions that can help schools and education systems promote tolerance ...

Teaching and Learning Mathematical Modelling : Approaches and Developments from German Speaking Countries

This survey provides an overview of the German discussion on modelling and applications in schools. It considers the development ...

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond

This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...

Techniques virales avancées

This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...

Technologies for Business Information Systems

Technologies for Business Information Systems The material collected in this book covers a broad range of applications of ...

Technologies for E-Learning and Digital Entertainment : Third International Conference, Edutainment 2008 Nanjing, China, June 25-27, 2008 Proceedings

This book includes e-learning platforms and tools, e-learning system for education, application of e-learning systems, e-learning ...

Technologies for E-Services

This book constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe ...

Technologies for E-Services (vol. # 3811)

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Technologies for E-Services ...

Telecommunications Modeling, Policy, and Technology

With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...

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

Total Books: 2901 - 2920 /3237