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.
ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
| ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 245 p. 52 illus.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Artificial intelligence Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-642-35737-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstraction and Verification of Properties of a Real-Time Java.- Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models.- University as a Corporation Which Serves Educational Interests.- A Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.- A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.- Combining Verification and MDE Illustrated by a Formal Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation -- Cross-Diagram UML Design Verification.- Coursework Peer Reviews Increase Students’ Motivation and Quality of Learning.- Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers.- General Disciplines and Tools for E-Learning Software Engineering.- Formation of Digital Competence of Future Teachers of Elementary School. Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models.- University as a Corporation Which Serves Educational Interests.- A Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.- A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.- Combining Verification and MDE Illustrated by a Formal Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation -- Cross-Diagram UML Design Verification.- Coursework Peer Reviews Increase Students’ Motivation and Quality of Learning.- Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers.- General Disciplines and Tools for E-Learning Software Engineering.- Formation of Digital Competence of Future Teachers of Elementary School. |
| Record Nr. | UNINA-9910437592603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers / / edited by Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky
| Information and Communication Technologies in Education, Research, and Industrial Applications : 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers / / edited by Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 323 p. 143 illus., 83 illus. in color.) |
| Disciplina | 374.26 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Machine learning Application software Computers Computers and Education Machine Learning Computer Appl. in Social and Behavioral Sciences Information Systems and Communication Service |
| ISBN | 3-030-13929-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances in ICT Research -- ICT in Education and Education Management -- ICT Solutions for Industrial Applications. |
| Record Nr. | UNINA-9910337578603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
| Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 255 p. 102 illus.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Artificial intelligence Software engineering Computer system failures Computer logic Computers and Education Artificial Intelligence Software Engineering System Performance and Evaluation Logics and Meanings of Programs |
| ISBN | 3-319-76168-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299265903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers / / edited by Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Vadim Ermolayev, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy
| Information and Communication Technologies in Education, Research, and Industrial Applications : 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers / / edited by Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Vadim Ermolayev, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 201 p. 80 illus.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Artificial intelligence Application software Data mining Computer organization Computers and Education Artificial Intelligence Computer Applications Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks |
| ISBN | 3-319-69965-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited paper -- Advances in ICT research -- ICT in education. |
| Record Nr. | UNINA-9910254825303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / / edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis
| Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / / edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XI, 157 p. 44 illus. in color.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Computer logic Software engineering Artificial intelligence Programming languages (Electronic computers) Mathematical logic Computers and Education Logics and Meanings of Programs Software Engineering Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-319-30246-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910255001903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
| Information and Communication Technologies in Education, Research, and Industrial Applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 371 p. 106 illus.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Software engineering Computer logic Artificial intelligence Computers and Education Software Engineering Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-319-13206-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Framework and tools -- Information and communication technologies in teaching and learning -- Information and communication technologies in research and industrial applications. |
| Record Nr. | UNINA-9910298967103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
| Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 379 p. 89 illus.) |
| Disciplina | 374.26 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Software engineering Computer logic Artificial intelligence Computers and Education Software Engineering Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-319-03998-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification. |
| Record Nr. | UNINA-9910739450803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||