A primer in Petri Net design

A primer in Petri Net design

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Reisig, Wolfgang (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1992
Θέματα:	Λογική, Συμβολική και μαθηματική ΕΠΕΑΕΚ

Παρόμοια τεκμήρια

Petrinetze Eine Einfuhrung
ανά: Reisig, Wolfgang
Έκδοση: (1986)

Cornerstones of Undecidability
ανά: Rozenberg, Grzegorz, κ.ά.
Έκδοση: (1994)

Free choice Petri Nets
ανά: Desel, Jorg, κ.ά.
Έκδοση: (1995)

Petri nets Μοντέλα και η εφαρμογή τους στήν τεχνολογία λογισμικού. Διπλωματική εργασία.
ανά: Βαίτης, Μιχάλης, κ.ά.
Έκδοση: (1992)

Ασαφή δίκτυα Petri
ανά: Κυρίτσης, Χαρίλαος
Έκδοση: (2008)

Petri nets and performance models International workshop. Madison, Wisconsin August 24-26, 1987
Έκδοση: (1987)

Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986)

Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship
ανά: Olderog, E.-R
Έκδοση: (1991)

A mathematical introduction to logic /
ανά: Enderton, Herbert B.
Έκδοση: (2001)

A course in mathematical logic for mathematicians /
ανά: Manin, IU I.
Έκδοση: (1977)

A treatise on many-valued logics
ανά: Gottwald, Siegfried
Έκδοση: (2001)

Outlines of a formalist philosophy of mathematics
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1958)

Lincos : design of a language for cosmic intercourse /
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1960)

The design and analysis of efficient learning algorithms
ανά: Schapire, Robert E.
Έκδοση: (1992)

Introduction to mathematical proofs a transition
ανά: Roberts, Charles E.
Έκδοση: (2010)

Mathematical logic a course with exercises
ανά: Cori, Rene

Logic of mathematics a modern course of classical logic
ανά: Adamowicz, Zofia
Έκδοση: (1997)

Logic Colloquium : proceedings of a conference held in Oxford in July 1976 /
Έκδοση: (1977)

Extensional Gödel functional interpretation : a consistency proof of classical analysis /
ανά: Luckhardt, Horst
Έκδοση: (1973)

Extensional constructs in intensional type theory
ανά: Hofmann, Martin
Έκδοση: (1997)

Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)

Topics in philoshophical logic
ανά: Rescher, Nicholas
Έκδοση: (1968)

Self-reference and modal logic /
ανά: Smorynski, C.
Έκδοση: (1985)

From Frege to Godel a source book in mathematical logic, 1879-1931
ανά: Van Heijenoort, Jean, 1912-1986
Έκδοση: (1967)

Εισαγωγή στη συμβολική λογική
ανά: Καργόπουλος, Φίλιππος Β.
Έκδοση: (2008)

A first course in logic an introduction to model theory, proof theory, computability and complexity
ανά: Hedman, Shawn
Έκδοση: (2004)

Fuzzy expert system tools
ανά: Schneider, Moti
Έκδοση: (1996)

Normalization, cut-elimination, and the theory of proofs /
ανά: Ungar, A. M. (Anthony M.), 1945-
Έκδοση: (1992)

Mathematische Gesetze der Logik /
ανά: Schmidt, H. Arnold, 1902-
Έκδοση: (1960)

An algebraic introduction to mathematical logic /
ανά: Barnes, D. W. (Donald W.), 1935-
Έκδοση: (1975)

Many-valued logics
ανά: Bolc, Leonard

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Έκδοση: (1982)

Proper and improper forcing
ανά: Shelah, Saharon
Έκδοση: (1998)

The lambda calculus : its syntax and semantics /
ανά: Barendregt, H. P. (Hendrik Pieter)
Έκδοση: (1984)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6 August, 1983 /
Έκδοση: (1985)

An accompaniment to higher mathematics /
ανά: Exner, George R.
Έκδοση: (1996)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1965)

Nomological statements and admissible operations /
ανά: Reichenbach, Hans, 1891-1953
Έκδοση: (1954)

Solvable cases of the decision problem /
ανά: Ackermann, W. (Wilhelm), 1896-
Έκδοση: (1954)

Mathematical interpretation of formal systems /
Έκδοση: (1955)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών