Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Weiterlesen
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Weiterlesen
Transactions on Edutainment I
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
Weiterlesen
Web Information Systems Engineering - WISE 2005 Workshops
Constitutes the joint refereed proceedings of the three workshops held in conjunction with the 6th International Conference ...
Weiterlesen
Web Information Systems and Technologies
This book constitutes the thoroughly refereed post-proceedings of the 1st and 2nd International Conference on Web Information ...
Weiterlesen
Web Information Systems and Technologies : Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers
This book covers topics on internet technology; Web interfaces and applications; society, e-business and e-government; and ...
Weiterlesen
e-Learning : Nuovi strumenti per insegnare, apprendere, comunicare online = New tools to teach, learn, communicate online
Offers an overview of the evolution of online training, focusing both on the possible transformations made by new technologies ...
Weiterlesen
e-Learning, e-Education, and Online Training : 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part I
This 2-volume set constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online ...
Weiterlesen
e-Learning, e-Education, and Online Training : 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part II
This 2-volume set constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online ...
Weiterlesen
eLearning and Digital Publishing
This book provides a framework which clearly portrays the relationships between information literacy, eLearning and digital ...
Weiterlesen
