Languages
Reisig, Wolfgang.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
Modeling in systems biology = the Petri net approach /
by:
Reisig, Wolfgang.; SpringerLink (Online service); Schreiber, Falk.; Koch, Ina.
(Electronic resources)
Carl Adam Petri = ideas, personality, impact /
by:
Reisig, Wolfgang.; Rozenberg, Grzegorz.; SpringerLink (Online service)
(Electronic resources)
Lectures on Petri nets. = advances in Petri nets /. II,. Application
by:
Rozenberg, Grzegorz.; SpringerLink (Online service); Advanced Course on Petri Nets ((1996 :); Reisig, Wolfgang.
(Electronic resources)
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 :)
(Language materials, printed)
Subjects
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.