語系
Reisig, Wolfgang.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Blass, Andreas.; Dershowitz, Nachum.; Reisig, Wolfgang.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Modeling in systems biology = the Petri net approach /
by:
Koch, Ina.; Reisig, Wolfgang.; Schreiber, Falk.; SpringerLink (Online service)
(書目-電子資源)
Carl Adam Petri = ideas, personality, impact /
by:
Reisig, Wolfgang.; Rozenberg, Grzegorz.; SpringerLink (Online service)
(書目-電子資源)
Lectures on Petri nets. = advances in Petri nets /. II,. Application
by:
Rozenberg, Grzegorz.; SpringerLink (Online service); Advanced Course on Petri Nets ((1996 :); Reisig, Wolfgang.
(書目-電子資源)
Lectures on Petri nets. = advances in Petri nets /. I,. Basic models
by:
Reisig, Wolfgang.; Rozenberg, Grzegorz.; SpringerLink (Online service); Advanced Course on Petri Nets ((1996 :)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Petri, Carl Adam.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computational biology.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Petri nets.
Systems Biology.
Petri nets- Congresses.
Computer science- Mathematics.
Computer Science.
Computer Communication Networks.
Information theory.
Computational Biology/Bioinformatics.