登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Programs as Diagrams
EISBN：9783031348273
PISBN：9783031348266
出版社：Springer Nature
出版时间：2023
作者：Dusko Pavlovic
主题词：BISAC Category: Computers,Computer Science,Mathematics,Logic
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Theory and Applications of Computability
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Thinking with Diagrams
  • 作者：Alan F. Blackwell
  • EISBN：9789401735247
  • 出版社：Springer Netherlands
  • 出版时间：2001
...

Diagrams and Gestures
  • 作者：Francesco La Mantia,Charles Alunni,Fernando Zalamea
  • EISBN：9783031291111
  • 出版社：Springer Nature
  • 出版时间：2023
...

Thinking with Diagrams
  • 作者：Alan F. Blackwell
  • EISBN：9789401735247
  • 出版社：Springer Netherlands
  • 出版时间：2001
...

Electronic Diagrams
  • 作者：Colwell,Morris A.
  • PISBN：9780408002011
  • 出版时间：Legacy
...

Logics of Programs
  • 作者：D. Kozen
  • EISBN：9783540390473
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1982
...

The Evolution of Programs
  • 作者：DERSHOWITZ
  • EISBN：9781461256212
  • 出版社：Birkhäuser Boston
  • 出版时间：1983