THELIB
分类规则 规则 登录
  • 图书
  • 算法与理论
  • 算法
  • 元计算方法及其应用
元计算方法及其应用
A

元计算方法及其应用

算法
# metacomputation# program transformation# TSG language# program analysis# verification# inverse programming# software reliability
作者
С. М. Абрамов
出版社
Директ-Медиа
年份
2021
语言
俄语
37
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

算法:设计与应用。计算机科学经典

算法:设计与应用。计算机科学经典

Дж. Клейнберг, Е. Тардос

算法与计算模型

算法与计算模型

Дмитрий Голубенко, Алексей Крошнин, Эдуард Горбунов

什么是数学?基本思想与方法概述

什么是数学?基本思想与方法概述

Р. Курант, Г. Роббинс

高效算法与计算复杂性

高效算法与计算复杂性

Н. Н. Кузюрин, С. А. Фомин

C和C++编程语言问题解决:实验任务执行指南

C和C++编程语言问题解决:实验任务执行指南

А.Ю. Быков

算法理论

算法理论

В.И. Игошин

数学决策方法

数学决策方法

А.А. Грешилов

理解SQL。SQL入门指南

理解SQL。SQL入门指南

Мартин Грабер

大数据分析。技术与方法

大数据分析。技术与方法

Не указан

THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译