語系
Reisig, Wolfgang.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Modeling in systems biology = the Petri net approach /
by:
Schreiber, Falk.; Reisig, Wolfgang.; Koch, Ina.; SpringerLink (Online service)
(書目-電子資源)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Dershowitz, Nachum.; Reisig, Wolfgang.; SpringerLink (Online service); Blass, Andreas.
(書目-電子資源)
主題
Software Engineering.
Computer science- Mathematics.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Information theory.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Systems Biology.
Computer Science.
Computational Biology/Bioinformatics.
Programming Languages, Compilers, Interpreters.
Petri nets.
Computational biology.