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 và các tác giả khác
    • 39,99 US$
    • 39,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Chuyên Môn & Kỹ Thuật
ĐÃ PHÁT HÀNH
2014
24 tháng 3
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
320
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
4,9
Mb
From Data to Models and Back From Data to Models and Back
2025
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