- 4 Résultats
prix le plus bas: € 42,79, prix le plus élevé: € 61,84, prix moyen: € 55,90
1
Advances in Petri Nets 1992 - Grzegorz Rozenberg
Commander
sur Springer.com
$ 74,99
(environ € 61,84)
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Grzegorz Rozenberg:

Advances in Petri Nets 1992 - nouveau livre

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 - … Plus…

new in stock. Frais d'envoi EUR 0.00
fermer(X)
2
Advances in Petri Nets 1992
Commander
sur Springer.com
€ 42,79
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Advances in Petri Nets 1992 - nouveau livre

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 - … Plus…

Nr. 978-3-540-47258-2. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
fermer(X)
3
Advances in Petri Nets 1992 - Grzegorz Rozenberg
Commander
sur Springer.com
€ 59,49
Commander
Détails et expédition
Lien sponsorisé
Grzegorz Rozenberg:
Advances in Petri Nets 1992 - nouveau livre

ISBN: 9783540472582

Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Architectures; Computer Communication Networks; Op… Plus…

  - Frais d'envoizzgl. Versandkosten, Livraison non-comprise
fermer(X)
4
Advances in Petri Nets 1992 - Grzegorz Rozenberg
Commander
sur Springer.com
€ 59,49
Commander
Détails et expédition
Lien sponsorisé
Grzegorz Rozenberg:
Advances in Petri Nets 1992 - nouveau livre

ISBN: 9783540472582

Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Architectures; Computer Communication Networks; Op… Plus…

  - Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Advances in Petri Nets 1992
Auteur:
Titre:
ISBN:

9783540472582

Informations détaillées sur le livre - Advances in Petri Nets 1992


EAN (ISBN-13): 9783540472582
Editeur: Springer Science+Business Media

Livre dans la base de données depuis 2017-02-16T12:32:35+01:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-21T23:59:00+01:00 (Zurich)
ISBN/EAN: 9783540472582

ISBN - Autres types d'écriture:
978-3-540-47258-2
Autres types d'écriture et termes associés:
Auteur du livre: rozenberg

Données de l'éditeur

Auteur: Grzegorz Rozenberg
Titre: Lecture Notes in Computer Science; Advances in Petri Nets 1992
Editeur: Springer; Springer Berlin
476 Pages
Date de parution: 2005-09-17
Berlin; Heidelberg; DE
Langue: Anglais
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.
< pour archiver...