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 [[electronic resource] ] : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / / edited by Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XII, 441 p. 255 illus., 113 illus. in color.) |
Disciplina | 004.0151 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Education—Data processing
Computers Software engineering Artificial intelligence Computer organization Computer science—Mathematics Computers and Education Information Systems and Communication Service Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Systems Organization and Communication Networks Mathematics of Computing |
ISBN | 3-030-39459-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Advances in ICT and IS Research -- ICT in Teaching, Learning, and Education Management -- Applications of ICT in Industrial and Public Practice. |
Record Nr. | UNISA-996465342703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / / edited by Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XII, 441 p. 255 illus., 113 illus. in color.) |
Disciplina | 004.0151 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Education—Data processing
Computers Software engineering Artificial intelligence Computer organization Computer science—Mathematics Computers and Education Information Systems and Communication Service Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Systems Organization and Communication Networks Mathematics of Computing |
ISBN | 3-030-39459-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Advances in ICT and IS Research -- ICT in Teaching, Learning, and Education Management -- Applications of ICT in Industrial and Public Practice. |
Record Nr. | UNINA-9910373925703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
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 |
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 |
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 : 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 |
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 |
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 | ||
|