Вы здесь

Главная

точка

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

An "Ehrenfeucht-Fraisse Game" for Fixpoint Logic and Stratified Fixpoint Logic
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
Combining Knowledge and Fixpoints
Finding Maximum Convex Polygons
Inductive Definability with Counting on Finite Structures
Об одном методе решения массовых задач принадлежности точек произвольным покрытиям на GPU
построение градиентного алгоритма локального перебора точек на основе метода функционально-воксельного моделирования
Усовершенствованный алгоритм восстановления интерферометрической фазы на базе технологии NVIDIA CUDA