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… Altro …
| ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (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… Altro …
| ZVAB.com NEPO UG, Rüsselsheim am Main, Germany [51070922] [Rating: 5 (von 5)] NOT NEW BOOK. Costi di spedizione: 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 … Altro …
| Achtung-Buecher.de Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main Costi di spedizione:Versandkostenfrei 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… Altro …
| buchfreund.de Mosakowski GbR, 65428 Rüsselsheim am Main Costi di spedizione:Versandkosten innerhalb der BRD. (EUR 2.90) Details... |
1986, ISBN: 9783540164807
Buch, Softcover, 1986, [PU: Springer Berlin], Springer Berlin, 1986
| lehmanns.de Costi di spedizione:Versand 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… Altro …
1986, ISBN: 3540164804
[EAN: 9783540164807], Gebraucht, sehr guter Zustand, [SC: 3.0], [PU: Springer, Berlin], COMPUTER COMMUNICATIONS & NETWORKING, MATHEMATICS, DATENKOMMUNIKATION, MAILBOXEN, NETZE, GENERAL, M… Altro …
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 … Altro …
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… Altro …
1986, ISBN: 9783540164807
Buch, Softcover, 1986, [PU: Springer Berlin], Springer Berlin, 1986
Dati bibliografici del miglior libro corrispondente
| Autore: | |
| Titolo: | |
| ISBN: |
Informazioni dettagliate del libro - Advances in Petri Nets 1985
EAN (ISBN-13): 9783540164807
ISBN (ISBN-10): 3540164804
Copertina flessibile
Anno di pubblicazione: 1986
Editore: Springer Berlin
508 Pagine
Peso: 0,760 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-01-22T13:26:44+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-17T09:51:17+01:00 (Zurich)
ISBN/EAN: 9783540164807
ISBN - Stili di scrittura alternativi:
3-540-16480-4, 978-3-540-16480-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : rozenberg
Titolo del libro: petri, lecture notes computer science, 1985
Dati dell'editore
Autore: Grzegorz Rozenberg
Titolo: Lecture Notes in Computer Science; Advances in Petri Nets 1985
Editore: Springer; Springer Berlin
500 Pagine
Anno di pubblicazione: 1986-05-01
Berlin; Heidelberg; DE
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...