|
1 |
Definition of a type system for generic and reflective graph transformations Legros, Elodie, 2013
|
|
|
2 |
Definition of a system for the management of project-based e-learning Mohamed, Bahaaeldin Khairy, 2011
|
|
|
3 |
The definition of the NSP type system Draheim, Dirk. - Berlin : Freie Univ., Fachbereich Mathematik und Informatik, 2002
|
|
|
4 |
An axiomatic system of the elliptic plane based on transformation properties Lozanov, Chavdar. - München : Bibliothek der Fak. Mathematik und Informatik, TUM, 1995
|
|
|
5 |
Specification of the language definition system for the GRASPIN environment Sankt Augustin : GMD [u.a.], 1988
|
|
|
6 |
Definition of the celestial reference coordinate system in fundamental catalogues Fricke, Walter. - Heidelberg : Astronom. Rechen-Inst., 1975
|
|