Вы здесь

Главная

IIS SB RAS

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

Adding Genericity to Object-Oriented ASMS
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs
A Knowledge Portal for Cultural Information Resources: Towards an Architecture
An Imperative Extension of the Object Constraint Language OCL
Ershov Informatics Conference, 8th Edition PSI 11: Preliminary Proc./Novosibirsk, Russia, June, 2011
Lattice Semantics for Incremental Data Extraction from Declarative Knowledge Bases
Perspectives of System Informatics: Preliminary Proceedings/Sixth International Andrei Ershov Memorial Conference. Akademgorodok, Novosibirsk, June 27-30, 2006
PSI 14: 9th Ershov Informatics Conference: Preliminary Proceedings/ Peterhof, Saint Petersburg, Russia, June 2014
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
Satisfiability of Viability Constraints for Pfaffian Dynamics
Toward C# Program Verification: A Three-level Approach