登入選單
Google圖書搜尋
Probabilistic metric temporal graph logic
作者
Sven Schneider / Maria Maximova / Holger Giese
出版Universitätsverlag Potsdam, 2022-11-18
ISBN
9783869565323 / 3869565322
主題
Computers
Interval Probabilistic Timed Graph Transformation ...
作者
Maria Maximova / Holger Giese / Sven Schneider
出版Universitätsverlag Potsdam, 2022-05-19
ISBN
9783869565026 / 3869565020
主題
Computers
Compositional Analysis of Probabilistic Timed Grap...
作者
Maria Maximova / Holger Giese / Sven Schneider
出版Universitätsverlag Potsdam, 2022-05-19
ISBN
9783869565019 / 3869565012
主題
Computers
The Romanovs
作者
Maria Maximova
出版2018
ISBN
0884654680 / 9780884654681
主題
Juvenile Nonfiction
Metric Temporal Graph Logic over Typed Attributed ...
作者
Holger Giese / Maria Maximova / Lucas Sakizloglou / Sven Schneider
出版Universitätsverlag Potsdam, 2018
ISBN
9783869564333 / 3869564334
主題
Computers
Invariant Analysis for Multi-Agent Graph Transform...
作者
Sven Schneider / Maria Maximova / Holger Giese
出版Universitätsverlag Potsdam, 2022-11-17
ISBN
9783869565316 / 3869565314
主題
Computers
Transfer of Local Confluence and Termination Betwe...
作者
Maria Maximova / Hartmut Ehrig (Mathematiker) / Claudia Ermel
出版2012
ISBN
OCLC:891487200
Modeling and Formal Analysis of Meta-Ecosystems wi...
作者
Boris Flotterer / Maria Maximova / Sven Schneider / Johannes Dyck / Christian Zöllner / Holger Giese / Christelle Hély / Cédric Gaucherel
出版Universitätsverlag Potsdam, 2023-01-08
ISBN
9783869565330 / 3869565330
主題
Computers
Probalistic Timed Graph Transformation Systems
作者
Maximove, Maria / Giese, Holger / Krause, Christian
出版Universitätsverlag Potsdam, 2017-11-30
ISBN
9783869564050 / 3869564059
Analysis of Hypergraph Transformation Systems in A...
作者
Maria Maximova / Hartmut Ehrig (Mathematiker) / Claudia Ermel
出版2013
ISBN
OCLC:891487639
Functors Between M-adhesive Categories Applied to ...
作者
Maria Maximova / Hartmut Ehrig / Claudia Ermel
出版2011
ISBN
OCLC:761321232
Behavior and Confluence Analysis of M-adhesive Tra...
作者
Maria Maximova
出版2019
ISBN
OCLC:1139825298
Réorganisation socialiste des campagnes bulgares
作者
Kiril Kiriakov / Dimo Vladov / Rachko Draganov / Guéorgui Kostadinov / Maria Maximova / Vassil Todorov / Dimitre Kinov
出版1965
ISBN
OCLC:1163748184
Biography of Maria Kalis
作者
Richard Kalis / Maria Kalis
出版1993
ISBN
OCLC:31147822
主題
Germans