語系
Reisig, Wolfgang.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Understanding the digital world = modeling with HERAKLIT /
by:
Reisig, Wolfgang.; SpringerLink (Online service); Fettke, Peter.
(書目-電子資源)
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.
(書目-語言資料,印刷品)
Carl Adam Petri = ideas, personality, impact /
by:
Reisig, Wolfgang.; Rozenberg, Grzegorz.; SpringerLink (Online service)
(書目-電子資源)
Modeling in systems biology = the Petri net approach /
by:
Reisig, Wolfgang.; SpringerLink (Online service); Koch, Ina.; Schreiber, Falk.
(書目-電子資源)
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.
Business Process Management.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer and Information Systems Applications.
Algorithm Analysis and Problem Complexity.
Computational biology.
Computer simulation.
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.