Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
расширенный
Связанные издания:
PREENS, a Parallel Research Execution Environment for Neural Systems
Programming Language APL, Extended International Standards Organisation. Committee Draft 1
Progress in Cultural Heritage Preservation: Proc./4th International Conference, EuroMed 2012, Limassol, Cyprus, October 2012
Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention: Proc./International Workshop Held in Conjunction with MICCAI 2010, Beijing, China, September 2010
Representing Actions in Extended Logic Programming
Semantics for Null Extended Nested Relations
Serious Games Development and Applications: Proc./2nd International Conference, SGDA 2011, Lisbon, Portugal, September 2011
Similarity Search and Applications: Proc./9th International Conference, SISAP 2016, Tokyo, Japan, October 2016
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./13th European Conference, ECSQARU 2015, Compiegne, France, July 2015
The Data-parallel C Language NCX and its Implementation Strategies
The Incomputable: Journeys Beyond the Turing Barrier
Transactions on Computational Science XIII
Transactions on Edutainment III
Transactions on Edutainment IV
Transactions on Edutainment IX
Transactions on Edutainment V
Transactions on Edutainment VIII
Unifying Theories of Programming: Proc./Third International Symposium, UTP 2010, Shanghai, China, November 2010
Virtual and Mixed Reality - New Trends, Part I: Proc./International Conference, Virtual and Mixed Reality 2011 Held as Part of HCI International 2011, Orlando,FL.USA, July 2011
Virtual and Mixed Reality - Systems and Applications, Part II: Proc./International Conference, Virtual and Mixed Reality 2011 Held as Part of HCI International 2011, Orlando,FL,USA, July 2011
Web and Wireless Geographical Information Systems: Proc./11th International Symposium, W2GIS 2012, Naples, Italy, April 2012
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри
Вокруг технологии Cell
Исследование методов локальной оптимизации и их реализация в трансляторе с расширенного ФОРТРАНа
Моделирование некоторых математических объектов и операций над ними в терминах расширенной реляционной модели данных
« первая
‹ предыдущая
1
2