Concurrency, Graphs and Models

EISBN:9783540686798
PISBN:9783540686767
出版社:Springer Berlin Heidelberg
出版类型:Commemorative publication
出版时间:2008
作者:Pierpaolo Degano,Rocco Nicola,José Meseguer
主题词:Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Software Engineering,Artificial Intelligence (incl. Robotics),Symbolic and Algebraic Manipulation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Graphs as Structural Models

  • 作者:Erhard Godehardt
  • EISBN:9783322963109
  • 出版社:Vieweg+Teubner Verlag
  • 出版时间:1988

Graphs as Structural Models

  • 作者:Erhard Godehardt
  • EISBN:9783322963109
  • 出版社:Vieweg+Teubner Verlag
  • 出版时间:1988

Models of Sharing Graphs

  • 作者:Masahito Hasegawa
  • EISBN:9781447108658
  • 出版社:Springer London
  • 出版时间:1999

Models of Sharing Graphs

  • 作者:Masahito Hasegawa
  • EISBN:9781447108658
  • 出版社:Springer London
  • 出版时间:1999

Transactions on Petri Nets and Other Models of Concurrency IX

  • 作者:Maciej Koutny,Serge Haddad,Alex Yakovlev
  • EISBN:9783662457306
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2014

Transactions on Petri Nets and Other Models of Concurrency XVII

  • 作者:Maciej Koutny,Robin Bergenthum,Gianfranco Ciardo
  • EISBN:9783662681916
  • 出版社:Springer Nature
  • 出版时间:2024