المؤلفون: Khazhmukhamed Etuev, Antoniy Shvindt, Olga Frolova, Maria Maximova

المصدر: Вопросы образования, Iss 2 (2023)

مصطلحات موضوعية: competency model, competency matrix, competency, competence, scope of competencies, competency assessment criteria, descriptor, competency level, higher education, digital economy, Education (General), L7-991

وصف الملف: electronic resource

Relation: https://vo.hse.ru/article/view/16323; https://doaj.org/toc/1814-9545; https://doaj.org/toc/2412-4354

URL الوصول: https://doaj.org/article/6b87db938a3240a484d18fd6c405e492

المؤلفون: Maria Maximova, Olga Frolova, Tatiana Chekalina

المصدر: Вопросы образования, Iss 2, Pp 190-215 (2022)

مصطلحات موضوعية: neuromyths, neurobiology, educational neurobiology, brain function, university faculties, Education (General), L7-991

وصف الملف: electronic resource

Relation: https://vo.hse.ru/article/view/15795; https://doaj.org/toc/1814-9545; https://doaj.org/toc/2412-4354

URL الوصول: https://doaj.org/article/b262bb58a1aa4058b0e9351cfbb5ed46

المؤلفون: Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Garbriel, Frank Hermann

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 93, Iss Proc. ACCAT 2012, Pp 83-104 (2012)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1209.1436v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/7e657144623b48ac9e0cd552db474187

المؤلفون: Maria Maximova*, Young Hwan Kim

المصدر: European Journal of Educational Research, Vol 10, Iss 1, Pp 145-159 (2021)

مصطلحات موضوعية: educational robotics, innovation diffusion, rural education, ict4d, Education

Relation: https://eu-jer.com/EU-JER_10_1_145.pdf; https://doaj.org/toc/2165-8714; https://doaj.org/article/8339ec362d7549a2931c96fbcf7fbd24

الاتاحة: https://doi.org/10.12973/eu-jer.10.1.145
https://doaj.org/article/8339ec362d7549a2931c96fbcf7fbd24

المؤلفون: Lucas Sakizloglou, Sven Schneider, Holger Giese, Maria Maximova

المصدر: International Journal on Software Tools for Technology Transfer. 23:411-488

مصطلحات موضوعية: Structure (mathematical logic), Graph rewriting, Theoretical computer science, Computer science, Formalism (philosophy), Hasso-Plattner-Institut für Digital Engineering GmbH, 020207 software engineering, 02 engineering and technology, Extension (predicate logic), Development (topology), 020204 information systems, Metric (mathematics), Theory of computation, ddc:000, 0202 electrical engineering, electronic engineering, information engineering, State (computer science), Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ecfbcb4cc7d5abd868af4f1befeb9fb8
https://doi.org/10.1007/s10009-020-00585-w

المؤلفون: Johannes Dyck, Boris Flotterer, Sven Schneider, Holger Giese, Cédric Gaucherel, Christelle Hély, Maria Maximova, Christian Zöllner

المصدر: Ecological Informatics. 75:101908

مصطلحات موضوعية: Structure (mathematical logic), Graph rewriting, Theoretical computer science, Computational Theory and Mathematics, Ecology, Computer science, Applied Mathematics, Ecological Modeling, Modeling and Simulation, Ecology, Evolution, Behavior and Systematics, Computer Science Applications

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0018a842e79d9a6267d6471c8403f7e3
https://doi.org/10.1016/j.ecoinf.2022.101908

المؤلفون: Sven Schneider, Maria Maximova, Holger Giese

المصدر: Graph Transformation ISBN: 9783031098420

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::15ded9c74b2ada52cf32bac9cd224b09
https://doi.org/10.1007/978-3-031-09843-7_4

المؤلفون: Sven Schneider, Maria Maximova, Holger Giese

المصدر: Graph Transformation ISBN: 9783031098420

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::fb2cc56a97669d719a6c89b6133c7047
https://doi.org/10.1007/978-3-031-09843-7_10

المؤلفون: Holger Giese, Sven Schneider, Maria Maximova

المصدر: Graph Transformation ISBN: 9783030789459
ICGT

مصطلحات موضوعية: Model checking, Graph rewriting, Correctness, Theoretical computer science, Computer science, Formalism (philosophy), Component-based software engineering, Probabilistic logic, Cyber-physical system, Interval (graph theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8413cec3b559544f612311588cd30fb9
https://doi.org/10.1007/978-3-030-78946-6_12

المؤلفون: Maria Maximova, Hartmut Ehrig, Claudia Ermel, Kathrin Hoffmann, Tiziana Margaria, Julia Padberg, Gabriele Taentzer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://journal.ub.tu-berlin.de/eceasst/article/viewFile/628/645/.

مصطلحات موضوعية: M-adhesive transformation system, equivalence, graph transformation, Petri net transformation, M-adhesive category

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.9333; http://journal.ub.tu-berlin.de/eceasst/article/viewFile/628/645/

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.9333
http://journal.ub.tu-berlin.de/eceasst/article/viewFile/628/645/

المؤلفون: Maria Maximova, Matthias Barkowsky, Christian Zöllner, Melanie Schneider, Holger Giese

المصدر: Graph Transformation ISBN: 9783030513719
ICGT

مصطلحات موضوعية: Model checking, System of systems, Structure (mathematical logic), Graph rewriting, Scale (ratio), Computer science, Probabilistic logic, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Network topology, 01 natural sciences, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, State (computer science), Simulation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d07f0b1adc6dfb292b1cabc839b1566b
https://doi.org/10.1007/978-3-030-51372-6_20

المؤلفون: Lucas Sakizloglou, Holger Giese, Sven Schneider, Maria Maximova

المصدر: Graph Transformation ISBN: 9783030513719
ICGT

مصطلحات موضوعية: Graph rewriting, Theoretical computer science, 010201 computation theory & mathematics, Computer science, On the fly, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Graph, Three-valued logic

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::24a57d0e2b8cd06c5959914b8204240e
https://doi.org/10.1007/978-3-030-51372-6_16

المؤلفون: Maria Maximova, Jinhee Kim

المصدر: Korean Comparative Education Society. 26:123-142

مصطلحات موضوعية: Higher education, Information and Communications Technology, business.industry, Political science, Pedagogy, Economics education, Primary education, Context (language use), Education policy, Comparative education, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::abf46184aa3fc6ef3014d11acb0d27ac
https://doi.org/10.20306/kces.2016.26.5.123

المؤلفون: Holger Giese, Maria Maximova, Sven Schneider, Lucas Sakizloglou

المصدر: Fundamental Approaches to Software Engineering ISBN: 9783030167219
FASE

مصطلحات موضوعية: 050101 languages & linguistics, Graph rewriting, Theoretical computer science, Computer science, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, 02 engineering and technology, Rotation formalisms in three dimensions, Graph

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::17cd59b804b9fd4ec001a86cb010b68f
https://doi.org/10.1007/978-3-030-16722-6_16

المؤلفون: Holger Giese, Christian Krause, Maria Maximova

مصطلحات موضوعية: Structure (mathematical logic), Graph rewriting, Service (systems architecture), Wait-for graph, Logic, Computer science, business.industry, Distributed computing, 010102 general mathematics, Probabilistic logic, Hasso-Plattner-Institut für Digital Engineering GmbH, 0102 computer and information sciences, 01 natural sciences, PRISM model checker, Theoretical Computer Science, Software, Computational Theory and Mathematics, 010201 computation theory & mathematics, ddc:000, 0101 mathematics, business, Moral graph

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f17e4341bbbe998251a1807296855b3b
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/51139

المؤلفون: Maria Maximova, Hartmut Ehrig, Claudia Ermel

المصدر: Science of Computer Programming. 104:44-70

مصطلحات موضوعية: Discrete mathematics, Graph rewriting, Hypergraph, Functor, General theory, Computer science, Confluence, Transformation systems, Algorithm, Software, Graph

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3a6d35edd64a2de7bfd242e50908196a
https://doi.org/10.1016/j.scico.2014.10.002

المؤلفون: Christian Krause, Maria Maximova, Holger Giese

المصدر: Graph Transformation ISBN: 9783319614694
ICGT

مصطلحات موضوعية: Structure (mathematical logic), Interconnection, Service (systems architecture), Graph rewriting, business.industry, Computer science, Distributed computing, 010102 general mathematics, Probabilistic logic, 0102 computer and information sciences, Probabilistic behavior, 01 natural sciences, Software, 010201 computation theory & mathematics, 0101 mathematics, Architecture, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1c0c2cb8a81c66e05205a5b302aca025
https://doi.org/10.1007/978-3-319-61470-0_10

المؤلفون: Hartmut Ehrig, Hanna Schölzel, Maria Maximova, Karsten Gabriel, Frank Hermann

المصدر: ACCAT
Electronic Proceedings in Theoretical Computer Science, Vol 93, Iss Proc. ACCAT 2012, Pp 83-104 (2012)

مصطلحات موضوعية: FOS: Computer and information sciences, Computer science [C05] [Engineering, computing & technology], Computer Science - Logic in Computer Science, Property (philosophy), lcsh:Mathematics, Contrast (statistics), Composition (combinatorics), Type (model theory), lcsh:QA1-939, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Base (topology), lcsh:QA75.5-76.95, Logic in Computer Science (cs.LO), Algebra, Morphism, Negation, Compatibility (mechanics), lcsh:Electronic computers. Computer science, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8cfa275bc1b0fc04e1df97dbc293ebe
https://doi.org/10.4204/eptcs.93.5

المؤلفون: Maria Maximova, Hartmut Ehrig, Claudia Ermel, Matthias Tichy, Leila Ribeiro

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://journal.ub.tu-berlin.de/eceasst/article/viewFile/841/836/.

مصطلحات موضوعية: M-adhesive transformation system, graph transformation, hypergraph transformation, M-adhesive category, M-functor, critical pair analysis

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.9017; http://journal.ub.tu-berlin.de/eceasst/article/viewFile/841/836/

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.9017
http://journal.ub.tu-berlin.de/eceasst/article/viewFile/841/836/

المؤلفون: Maria Maximova, Hartmut Ehrig, Claudia Ermel, Julia Padberg, Kathrin Hoffmann, Tiziana Margaria, Gabriele Taentzer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://journal.ub.tu-berlin.de/eceasst/article/download/758/752/.

مصطلحات موضوعية: M-adhesive transformation system, graph transformation, Petri net transformation

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.8041; http://journal.ub.tu-berlin.de/eceasst/article/download/758/752/

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.8041
http://journal.ub.tu-berlin.de/eceasst/article/download/758/752/