A Comparison of Legal Visualization and Technical Visualization Vytautas ČYRAS Vilnius University, Faculty of Mathematics and Informatics, Vilnius, Lithuania.
Document Navigation: Ontologies or Knowledge Organisation Systems Simon Jupp Bio-Health Informatics Group University of Manchester, UK Bio-ontologies SIG,
EE-Forum.org Model-Driven Mechanism in Information Systems and Enterprise Engineering An extract from the lecture on Enterprise, Model, and Information.
Polymorphism Discrete Mathematics and Its Applications Baojian Hua [email protected].
Model-Driven Mechanism in Information Systems and Enterprise Engineering
Document Navigation: Ontologies or Knowledge Organisation Systems
Automated functional program verification using fixpoint fusion