登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
High-level Petri Nets
EISBN:
9783642845246
PISBN:
9783540541257
出版社:
Springer Berlin Heidelberg
出版类型:
Professional book
出版时间:
1991
作者:
Kurt Jensen,Grzegorz Rozenberg
主题词:
Software Engineering,Computation by Abstract Devices,Programming Techniques,Computer Communication Networks,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs
语种:
英语
所属数据库:
SpringerLink电子图书
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
High-level Petri Nets
作者:
Kurt Jensen,Grzegorz Rozenberg
EISBN:
9783642845246
出版社:
Springer Berlin Heidelberg
出版时间:
1991
High-Level System Modeling
作者:
Ronald Waxman,Jean-Michel Bergé,Oz Levia,Jacques Rouillard
EISBN:
9781461313090
出版社:
Springer US
出版时间:
1996
High-Level VLSI Synthesis
作者:
Raul Camposano,Wayne Wolf
EISBN:
9781461539667
出版社:
Springer US
出版时间:
1991
High-Level System Modeling
作者:
Ronald Waxman,Jean-Michel Bergé,Oz Levia,Jacques Rouillard
EISBN:
9781461313090
出版社:
Springer US
出版时间:
1996
High-Level Verification
作者:
Sudipta Kundu,Sorin Lerner,Rajesh K. Gupta
EISBN:
9781441993595
出版社:
Springer New York
出版时间:
2011
High-Level System Modeling
作者:
Jean-Michel Bergé,Oz Levia,Jacques Rouillard
EISBN:
9781461523031
出版社:
Springer US
出版时间:
1995
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。