The Asia Simulation Conference 2006 (JSST 2006) was aimed at exploring challenges in methodologies for modeling, control ...
Weiterlesen
This book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju ...
Weiterlesen
This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
Weiterlesen
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
Explains the various types of construction such as solid wood frame construction, hybrid wood/concrete or wood/steel constructions ...
Weiterlesen
This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface ...
Weiterlesen
The ?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality ...
Weiterlesen
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
Weiterlesen
This open access thematic report identifies factors and conditions that can help schools and education systems promote tolerance ...
WeiterlesenThis survey provides an overview of the German discussion on modelling and applications in schools. It considers the development ...
Weiterlesen
This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...
Weiterlesen
This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Weiterlesen
Technologies for Business Information Systems The material collected in this book covers a broad range of applications of ...
Weiterlesen
This book includes e-learning platforms and tools, e-learning system for education, application of e-learning systems, e-learning ...
Weiterlesen
This book constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Technologies for E-Services ...
Weiterlesen
With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...
Weiterlesen
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Weiterlesen
Describes a fast, accurate and flexible modelling methodology for PCBs. The model uses the concept of tensorial analysis ...
Weiterlesen
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Weiterlesen