Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
функция
Связанные издания:
About primitive recursive algorithms
A Comparison of Three Strategies for Computing Letter Oriented, Minimal Perfect Hashing Functions
Advances in Computer Games: Revised Selected Papers/15th Interntional Conference, ACG 2017, Leiden, The Netherlands, July 2017
Affine Timings for Systems of Affine Recurrence Equations
A Generalization of Binary Search
A Generic Programming Extension for Clean
Algebraic Simplification of Multiple-Valued Functions
A Method for Using Object-Oriented Frameworks to Support Various High-level Parallel Computing Models
A Modulus Oriented Hash Function for the Construction of Minimal Perfect Tables
An Analog Characterization of Elementary Computable Functions over the Real Numbers
A New Approach to Recursion Removal
An Undergraduate Project to Compute Minimal Perfect Hashing Functions
APL2 Implementation of a New Definition of Consistency of Pairwise Comparisons
A Portable Generic Elementary Function Package in Ada and an Accurate Test Suite
A Programmer s Reduction Semantics for Classes and Mixins
Association Sequences as Self-Modifying Functions
A Universal Data-Base for Data Compression
A User s Friendly Syntax to Define Recursive Functions as Typed Lambda-terms
Automatic Synthesis of the Inverses of APL Functions
Average case analysis of unification algorithms
Average Case Analysis of Unification Algorithms
A Visual Execution Model for Ada Tasking
Brain Informatics: Proc./International Conference, BI 2010, Toronto, ON, Canada, August 2010
C++ Function Object Binders Made Easy
Classes and Mixins
Complexity Classes for Partial Functions
Computers and Games: Revised Selected Papers/8th International Conference, CG 2013, Yakohama, Japan, August 2013
Configurable REC
Defense (et Illustration) de la Combinaison de Methodes en CLOS
Delphi, Win32 и системные функции
Developing a Tool for Memoizing Functions in C++
Dynamic File Allocation in Disk Arrays
Dynamic Types and Type Dependent Functions
Efficient Building of Gating Functions
Efficient Dynamic Dispatch without Virtual Function Tables. The SmallEiffel Compiler
Eliminating Virtual Function Calls in C++ Programs
Equations in nets Computer oriented lattices
Erlang BIF Guide. Version 3.2
Extending RICS-CLP(Real) to Handle Symbolic Functions
Extracting Reusable Functions by Flow Graph-Based Program Slicing
Fast Static Analysis of C++ Virtual Function Calls
Functional and Constraint Logoc Programming: Proc./20th International Workshop, WFLP 2011, Odense. Denmark, July 2011
Function preconditions in object oriented software
Graphs, Hypergraphs and Hashing
Handling Schema Evolution Functions Using an Object Algebra
Implementing Complex Elementary Functions Using Exception Handling
Inlining Semantics for Subroutines which are Recursive
Integration of AI and OR Techniques in Constraint Programming: Proc./11th International Conference, CPAIOR 2014, Cork, Ireland, May 2014
Interprocedural Constant Propagation: A Study of Jump Function Implementations
Introducing External Functions in Constraint Query Languages
1
2
3
4
следующая ›
последняя »