Вы здесь

Главная

Current Topics in Informatics Systems Research

Связанные издания:

An Orthogonal Programming System Manifesto
Behavioral Notions for Eager Data Flow Computing with I-structures
Educational Software Development
From Partial Evaluation to Mixed Computation
Hypertext as a Software Development Environment
On an Approach to Machine Translation Problem: Automation of Technical Prose Translation
Problem-oriented verification system and its application to linear algebra program
Propositional Dynamic Logic with Fixed Points as a Tool for Verification of Finite State Machines