THELIB
分类规则 规则 登录
  • 图书
  • 算法与理论
  • 算法
  • 并行进程建模。Petri网
并行进程建模。Petri网
A

并行进程建模。Petri网

算法
# Petri nets# parallel processes# modeling# asynchronous systems# system analysis# verification# formal methods
作者
Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В.
出版社
Профессиональная литература
年份
2014
语言
俄语
26
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

计算机网络。原理、技术与协议

计算机网络。原理、技术与协议

В. Олифер, Н. Олифер

编译器构造。基础与应用

编译器构造。基础与应用

Ханспетер Мёссенбёк

面向初学者的Java设计模式示例

面向初学者的Java设计模式示例

Дэвид Бернштейн

兰德·D·V·斯纳尔斯基 A·A·别兹苏德诺夫 I·V 互联网学 复杂网络导航

兰德·D·V·斯纳尔斯基 A·A·别兹苏德诺夫 I·V 互联网学 复杂网络导航

Web应用程序设计与开发。JavaScript和Node.js前端与后端开发入门。

Web应用程序设计与开发。JavaScript和Node.js前端与后端开发入门。

А. М. Заяц, Н. П. Васильев

C++ 响应式编程:使用 RxCpp 库和现代 C++17 设计并行与异步应用

C++ 响应式编程:使用 RxCpp 库和现代 C++17 设计并行与异步应用

Прасид Пай, Питер Абрахам

.NET平台上的并发与并行。高效设计模式

.NET平台上的并发与并行。高效设计模式

Рикардо Террелл

机器学习。从数据中提取知识的科学与艺术。

机器学习。从数据中提取知识的科学与艺术。

Петер Флах (Peter Flach)

JavaScript 专业级 Web 开发。第4版国际版

JavaScript 专业级 Web 开发。第4版国际版

Мэтт Фрисби

机器学习。从概念到实现的系统设计

机器学习。从概念到实现的系统设计

Валерий Бабушкин, Арсений Кравченко

THELIB

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

目录

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

账户

  • 注册
  • 登录
  • 支持

信息

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