![]() |
Young informatics - 2005 |
![]() |
Collection of papers of graduate students and young scientists
|
The knowledge system of informational Internet-portal on scientific subjects |
Integrated environment SFP for visual functional programming |
Exception handling elimination while translating from C#-light into C#-kernel |
Implementation of a Closed Set of Boolean Operations over Polygonal Regions on a Discrete Grid |
Visual representation of running the algorithms of global interval optimization |
Translation of SDL-specifications with dynamic constructions to Coloured Petri Nets by Jensen |
Survey of Methods of Application of Ontology and Data Schemes to Integration of Distributed Heterogeneous Information Resources |
Extension of capabilities of the FinPlan system using structure models |
Analysis of timed Petri Nets based on testing equivalences |
Document processing methods based on expert knowledge |
Graphical metalanguage for translator specification |
Graph rewriting systems: leader selection and topology recognition in anonymous nets |