The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...
اقرأ المزيد
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
اقرأ المزيد
This open access thematic report identifies factors and conditions that can help schools and education systems promote tolerance ...
اقرأ المزيدThis survey provides an overview of the German discussion on modelling and applications in schools. It considers the development ...
اقرأ المزيد
This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...
اقرأ المزيد
This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
اقرأ المزيد
Technologies for Business Information Systems The material collected in this book covers a broad range of applications of ...
اقرأ المزيد
This book includes e-learning platforms and tools, e-learning system for education, application of e-learning systems, e-learning ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Technologies for E-Services ...
اقرأ المزيد
With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...
اقرأ المزيد
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, ...
اقرأ المزيد