Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability [[electronic resource] ] : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers / / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos
| Information Technology and Open Source: Applications for Education, Innovation, and Sustainability [[electronic resource] ] : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers / / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XV, 305 p. 70 illus.) : online resource |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Education—Data processing
Software engineering Computer simulation Computers and civilization Artificial intelligence Computers and Education Software Engineering Simulation and Modeling Computers and Society Artificial Intelligence |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-54338-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Innovation and Sustainability in Education -- Inquiry-based science education in secondary school informatics challenges and rewards -- Innovation and sustainability in higher education: lessons learnt from the case study of an online university -- Mobile augmented reality with audio; supporting fieldwork of Cultural sciences students in Florence -- Mathematical literacy as a condition for sustainable development -- Learning CSCW by Fairytales: a Practical Model -- The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments -- Creative Classrooms: A Systemic Approach for Mainstreaming ICT-enabled Innovation for Learning in Europe -- FLOSS in Technology-Enhanced Learning -- A preliminary analysis of learning awareness in FLOSS projects -- Concept and Experiences on using a Wiki-based System for Software-related Seminar Papers -- Modelling and Knowledge Management for Sustainable Development -- Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches -- Modelling Population Dynamics Using Grid Systems -- Transition to sustainability: Italian scenarios towards a low-carbon economy -- Models of Knowledge Transfer for Sustainable Development -- A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes -- Model-Based Tool Qualification: The Roadmap of Eclipse towards Tool Qualification -- Secure Migration of Legacy Applications to the Web -- A Web Portal for the Certification of Open Source Software -- Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems -- Using Open Source Projects in Higher Education: A Two-Way Certification Framework -- Guidelines for the application of Data Envelopment Analysis to assess evolving software -- A Certification Process for Android Applications. |
| Record Nr. | UNISA-996205172903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 / / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos
| 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 / / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XV, 305 p. 70 illus.) : online resource |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Education - Data processing
Software engineering Computer simulation Computers and civilization Artificial intelligence Computers and Education Software Engineering Computer Modelling Computers and Society Artificial Intelligence |
| ISBN | 3-642-54338-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Innovation and Sustainability in Education -- Inquiry-based science education in secondary school informatics challenges and rewards -- Innovation and sustainability in higher education: lessons learnt from the case study of an online university -- Mobile augmented reality with audio; supporting fieldwork of Cultural sciences students in Florence -- Mathematical literacy as a condition for sustainable development -- Learning CSCW by Fairytales: a Practical Model -- The Role of Peer Review in Supporting the Sustainability of Technology-Enhanced Learning Environments -- Creative Classrooms: A Systemic Approach for Mainstreaming ICT-enabled Innovation for Learning in Europe -- FLOSS in Technology-Enhanced Learning -- A preliminary analysis of learning awareness in FLOSS projects -- Concept and Experiences on using a Wiki-based System for Software-related Seminar Papers -- Modelling and Knowledge Management for Sustainable Development -- Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches -- Modelling Population Dynamics Using Grid Systems -- Transition to sustainability: Italian scenarios towards a low-carbon economy -- Models of Knowledge Transfer for Sustainable Development -- A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes -- Model-Based Tool Qualification: The Roadmap of Eclipse towards Tool Qualification -- Secure Migration of Legacy Applications to the Web -- A Web Portal for the Certification of Open Source Software -- Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems -- Using Open Source Projects in Higher Education: A Two-Way Certification Framework -- Guidelines for the application of Data Envelopment Analysis to assess evolving software -- A Certification Process for Android Applications. |
| Record Nr. | UNINA-9910484809203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Based Safety and Assessment [[electronic resource] ] : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / / edited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
| Model-Based Safety and Assessment [[electronic resource] ] : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / / edited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 380 p. 236 illus., 101 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Special purpose computers Architecture, Computer Microprogramming Computer security Logics and Meanings of Programs Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Systems and Data Security |
| ISBN | 3-030-32872-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety Models and Languages -- Dependability Analysis Process -- Safety Assessment -- Safety Assessment in Automotive Industry -- AI in Safety Assessment. . |
| Record Nr. | UNISA-996466177303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / / edited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
| Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / / edited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 380 p. 236 illus., 101 illus. in color.) |
| Disciplina |
005.1
005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer science
Software engineering Computers, Special purpose Computer systems Microprogramming Data protection Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Data and Information Security |
| ISBN | 3-030-32872-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety Models and Languages -- Dependability Analysis Process -- Safety Assessment -- Safety Assessment in Automotive Industry -- AI in Safety Assessment. . |
| Record Nr. | UNINA-9910349273503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||