ISBN: 9783540472582
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - … Altro …
Springer.com new in stock. Costi di spedizione: EUR 0.00 Details... |
ISBN: 9783540472582
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - … Altro …
Springer.com Nr. 978-3-540-47258-2. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540472582
Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Architectures; Computer Communication Networks; Op… Altro …
Springer.com Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi Details... |
ISBN: 9783540472582
Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Architectures; Computer Communication Networks; Op… Altro …
Springer.com Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783540472582
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - … Altro …
ISBN: 9783540472582
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - … Altro …
ISBN: 9783540472582
Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Architectures; Computer Communication Networks; Op… Altro …
ISBN: 9783540472582
Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Architectures; Computer Communication Networks; Op… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Advances in Petri Nets 1992
EAN (ISBN-13): 9783540472582
Editore: Springer Science+Business Media
Libro nella banca dati dal 2017-02-16T12:32:35+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-21T23:59:00+01:00 (Zurich)
ISBN/EAN: 9783540472582
ISBN - Stili di scrittura alternativi:
978-3-540-47258-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : rozenberg
Dati dell'editore
Autore: Grzegorz Rozenberg
Titolo: Lecture Notes in Computer Science; Advances in Petri Nets 1992
Editore: Springer; Springer Berlin
476 Pagine
Anno di pubblicazione: 2005-09-17
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 476 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Colored Petri Nets; Gefärbte Petrinetze; Net Design; Netzentwurf; Petri Net Models; Verteilte Systeme; algebra; calculus; complexity; concurrency; modelling; performance; petri net; program semantics; semantics; algorithm analysis and problem complexity; C; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Processor Architectures; Computer Communication Networks; Operating Systems; Computer Science; Algorithmen und Datenstrukturen; Rechnerarchitektur und Logik-Entwurf; Netzwerk-Hardware; Betriebssysteme; BC
Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —.- The box calculus: A new causal algebra with multi-label communication.- Modular functional modelling of petri nets with individual tokens.- Interleaving semantics and action refinement with atomic choice.- Maximality preservation and the ST-idea for action refinements.- A fifo-net model for processes with asynchronous communication.- A basic-net algebra for program semantics and its application to occam.- The effect of Vector synchronization: Residue and loss.- Modelling systems with dynamic priorities.- On distributed languages and models for concurrency.- Partial words versus processes: A short comparison.- A survey of basic net models and modular net classes.- Structural techniques and performance bounds of stochastic Petri net models.- A survey of recognizable languages of infinite traces.- A survey of equivalence notions for net based 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)
- 9780387556109 Advances in Petri Nets, 1992 (n/a)
- 9783540556107 Advances in Petri Nets 1992: 609 (Lecture Notes in Computer Science, 609) (Grzegorz Rozenberg)
- 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...