Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
выражение
Связанные издания:
Algorithms of Numeric Deduction of Analytical Expressions
Combinatorial Pattern Matching: Proc./Third Annual Symposium. Tucson, Arizona, USA, April-May 1992
Computational Intelligence Methods for Bioinformatics and Biostatistics: Revised Selected Papers/9th International Meeting, CIBB 2012, Houston,TX,USA, July 2012
Computer Vision and Graphics: Proc./International Conference, ICCVG 2012, Warsaw, Poland, September 2012
Concurrent regular expressions and thier relationship to Petri nets
Declarative Peephole Optimization Using String Pattern Matching
Descriptional Complexity of Formal Systems: Proc./15th International Workshop, DCFS 2013, London,ON,Canada, July 2013
Deterministic Expressions in C
Developments in Language Theory: Proc./17th International Conference, DLT 2013, Marne-la-Vallee, France, June 2013
Developments in Language Theory: Proc./18th International Conference, DLT 2014, Ekaterinburg, Russia, August 2014
Efficient Representation of Algebraic Expressions
Explicit Expression of Multimedimensional Data Parallelism
Extending Structure, Type, and Expression in APL2
From partial evaluation to mixed computation
From partial evalution to mixed computation
Functional Programming and Mathematical Objects
Implementation and Application of Automata: Proc./21st International Conference, CIAA 2016, Seoul, South Korea, July 2016
Implementation and Application of Automata: Proc./23rd International Conference, CIAA 2018, Charlottetown,PE,Canada, July 2018
Intelligent Virtual Agents: Proc./12th International Conference, IVA 2012, Santa Cruz, USA, September 2012
Module Algebra
Object Comprehensions: A Guery Notation for Object-Oriented Databases
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers
Optimal Evaluation of Array Expressions on Massively Parallel Machines
Programming Languages: Proc./16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 2012
Putting More Meaning in Expressions
Relaxing the Constraints on Ada s limited private Types Through Functional Expressions
Satisfiability of XPath Expressions
Specialization of Imperative Programs Through Analysis of Relational Expressions
Specificational Functions
Synchronized Regular Expressions
The Modeling and Retrieval of Documents Using Index Expressions
Trends in Functional Programming: Revised Selected Papers/13th International Symposium, TFP 2012, St.Andrews, UK, June 2012
Une representation abstraite expressions et continuations en Scheme
Алгоритм построения логических правил при разметке текстов
Алгоритм упро ения тензорных выражений в компьютерной алгебре
Атрибутная трансляция арифметических выражений
Изучаем JavaScript, часть 3
Индуктивный синтез многоточечных выражений
Композиционное построение детерминированного конечного автомата по множеству регулярных выражений
Метод хеширования для базы данных алгебраических выражений
Монады для формализации процедуры сопоставления с образцом
Некоторые оценки конечноавтоматной сложности обобщённых регулярных выражений и порождающих схем
О вычислении шаблонов выражений в С++
Простой компилятор
Система эквивалентных преобразований выражений
Статистические вычисления в программах
Суперкомпиляция высшего уровня как путь к метасистемному переходу
Трансляция выражений в информационно-поисковой системе ВЕГА
Формальная семантика выражений и операторов языка Java
Эквивалентные преобразования для одного класса параллельных выражеиий
1
2
следующая ›
последняя »