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