Information Technology and Open Source: Applications for Education, Innovation, and Sustainability Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Antonio Cerone and Others
    • $39.99
    • $39.99

Publisher Description

This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.

GENRE
Professional & Technical
RELEASED
2014
March 24
LANGUAGE
EN
English
LENGTH
320
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
4.9
MB
Formal Methods for an Informal World Formal Methods for an Informal World
2023
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
2022
Formal Methods for Software Engineering Formal Methods for Software Engineering
2022
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
2021
Formal Methods – Fun for Everybody Formal Methods – Fun for Everybody
2021
Software Engineering and Formal Methods Software Engineering and Formal Methods
2020