Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Lecture Notes in Computer Science
Связанные издания:
Z Browser - Tool for Visualisation of Z Specifications
Zippers: A Focus+Context Display of Web Pages
ZUM 95: The Z Formal Specification Notation: Proc./9th International Conference of Z Users. Limerick, Ireland, September 1995
ZUM 97: The Z Formal Specification Nonation: Proc./10th Intern. Conf. of Z Users. Reading, UK, April 1997
ZUM 98: The Z Formal Specification Notation: Proc./11th Intern. Conf. of Z Users. Berlin, Germany, September 1998
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
Zur Ubersetzung von E/R-Schemata nach Spectrum
Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри
Анализ свойств рекурсивных схем и проблема древесной эквивалентности
Архитектура и функциональное назначение адаптивной среды обучения программированию
Институт гидродинамики; люди, дела, даты...
Исследование области применимости Байесовского подхода к регуляризации аппроксимации
Компьютерно-алгебраические методы решения систем линейных обыкновенных уравнений, основанные на индуцированных рекурренциях
Концептуальный базис трехуровневого метода верификации C# программ
Меры сложности программ. Обзор
Методы построения и верификации моделей системного программного обеспечения информационно-управляю их систем
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка C-kernel
О распараллеливании метода МЕДУЗА
О сущности трансляции
Поведенческий и инструментальный аспекты проектирования встроенных вычислительных систем
Семантические модели потоковых вычислений
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов
Система сбора и анализа трафика сети Интернет ННЦ
СТРУНА: структурный универсальный ассемблер
Стуктурный анализ и систематизация условий олимпиадных задач по программированию
Технология конструирования развитых систем обработки знаний на основе семантических сетей и систем продукций
« первая
‹ предыдущая
…
211
212
213
214
215
216
217
218
219