1986, ISBN: 3540164804
[EAN: 9783540164807], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], FINITE; INVARIANT; MORPHISM; ALGEBRA; PROOF, Druck auf Anfrage Neuware -The signing of a contract ¿ a tree-stru… Plus…
| ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
1986, ISBN: 3540164804
[EAN: 9783540164807], Gebraucht, sehr guter Zustand, [SC: 3.0], [PU: Springer, Berlin], COMPUTER COMMUNICATIONS & NETWORKING, MATHEMATICS, DATENKOMMUNIKATION, MAILBOXEN, NETZE, GENERAL, M… Plus…
| ZVAB.com NEPO UG, Rüsselsheim am Main, Germany [51070922] [Rating: 5 (von 5)] NOT NEW BOOK. Frais d'envoi EUR 3.00 Details... |
1986, ISBN: 3540164804
Taschenbuch 508 Seiten Taschenbuch Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex … Plus…
| Achtung-Buecher.de Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1986, ISBN: 9783540164807
508 Seiten Taschenbuch Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in go… Plus…
| buchfreund.de Mosakowski GbR, 65428 Rüsselsheim am Main Frais d'envoiVersandkosten innerhalb der BRD. (EUR 2.90) Details... |
1986, ISBN: 9783540164807
Buch, Softcover, 1986, [PU: Springer Berlin], Springer Berlin, 1986
| lehmanns.de Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00) Details... |
1986, ISBN: 3540164804
[EAN: 9783540164807], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], FINITE; INVARIANT; MORPHISM; ALGEBRA; PROOF, Druck auf Anfrage Neuware -The signing of a contract ¿ a tree-stru… Plus…
1986, ISBN: 3540164804
[EAN: 9783540164807], Gebraucht, sehr guter Zustand, [SC: 3.0], [PU: Springer, Berlin], COMPUTER COMMUNICATIONS & NETWORKING, MATHEMATICS, DATENKOMMUNIKATION, MAILBOXEN, NETZE, GENERAL, M… Plus…
1986
ISBN: 3540164804
Taschenbuch 508 Seiten Taschenbuch Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex … Plus…
1986, ISBN: 9783540164807
508 Seiten Taschenbuch Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in go… Plus…
1986, ISBN: 9783540164807
Buch, Softcover, 1986, [PU: Springer Berlin], Springer Berlin, 1986
Données bibliographiques du meilleur livre correspondant
| Auteur: | |
| Titre: | |
| ISBN: |
Informations détaillées sur le livre - Advances in Petri Nets 1985
EAN (ISBN-13): 9783540164807
ISBN (ISBN-10): 3540164804
Livre de poche
Date de parution: 1986
Editeur: Springer Berlin
508 Pages
Poids: 0,760 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2008-01-22T13:26:44+01:00 (Zurich)
Page de détail modifiée en dernier sur 2024-03-17T09:51:17+01:00 (Zurich)
ISBN/EAN: 9783540164807
ISBN - Autres types d'écriture:
3-540-16480-4, 978-3-540-16480-7
Autres types d'écriture et termes associés:
Auteur du livre: rozenberg
Titre du livre: petri, lecture notes computer science, 1985
Données de l'éditeur
Auteur: Grzegorz Rozenberg
Titre: Lecture Notes in Computer Science; Advances in Petri Nets 1985
Editeur: Springer; Springer Berlin
500 Pages
Date de parution: 1986-05-01
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 500 p.
BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Finite; Invariant; Morphism; algebra; proof; Computer Communication Networks; EA
The signing of a contract — a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta processes of C/E systems.- Synchronic distances in C/E systems.- Process periods and system reconstruction.- Guidelines on using net analysis techniques with large specifications.- Application of an extension of petri nets to modelization of control and production processes.- Making nets abstract and structured.- Petri net tools.- Projections of CE-systems.- Synchronic structure.- Safe states in Banker like resource allocation Problems.- Coordination technology and Petri nets.- Pascal semantics by a combination of denotational semantics and high-level petri nets.- On the invariants of coloured Petri Nets.- A logical formalism for the study of the finite behaviour of Petri nets.- Determination of a poset by its co-relation.- Some equivalence notions for concurrent systems. An overview.- Towards a comprehensive office model integrating information and resources.- Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.- Protocol analysis using Numerical Petri Nets.- Petri nets, morphisms and compositionality.- M-timed Petri nets, priorities, preemptions, and performance evaluation of systems.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9780387164809 Advances in Petri Nets 1985 (Lecture Notes in Computer Science) (GRZEGORZ ROZENBERG)
- 9780387164809 Advances in Petri Nets 1985 (Lecture Notes in Computer Science) (GRZEGORZ ROZENBERG)
- 9780387505800 Small-Animal Spect Imaging (Rozenberg, Grzegorz (ed.))
- 9780387252940 Small-Animal SPECT Imaging (Matthew A. Kupinski; Harrison H. Barrett)
- 9780387152042 Advances in Petri Nets 1984 (Lecture Notes in Computer Science) (Grzegorz Rozenberg)
- 9780387180861 Advances in Petri Nets 1987 (Lecture Notes in Computer Science) (Grzegorz Rozenberg)
< pour archiver...