ISBN: 9783540469988
Computer Science; Computation by Abstract Devices; Theory of Computation; Mathematics, general; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Archi… Plus…
Springer.com Frais d'envoi EUR 0.00 Details... |
ISBN: 9783540469988
Computer Science; Computation by Abstract Devices; Theory of Computation; Mathematics, general; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Archi… Plus…
Springer.com Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
ISBN: 9783540469988
There is currently no description available Books > Computer Science eBook, Springer Shop
Springer.com new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540469988
Computer Science; Computation by Abstract Devices; Theory of Computation; Mathematics, general; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Archi… Plus…
ISBN: 9783540469988
Computer Science; Computation by Abstract Devices; Theory of Computation; Mathematics, general; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Archi… Plus…
ISBN: 9783540469988
There is currently no description available Books > Computer Science eBook, Springer Shop
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Advances in Petri Nets 1989
EAN (ISBN-13): 9783540469988
Editeur: Springer Science+Business Media
Livre dans la base de données depuis 2017-02-08T00:53:36+01:00 (Zurich)
Page de détail modifiée en dernier sur 2021-08-26T07:22:27+02:00 (Zurich)
ISBN/EAN: 9783540469988
ISBN - Autres types d'écriture:
978-3-540-46998-8
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 1989
Editeur: Springer; Springer Berlin
528 Pages
Date de parution: 2005-07-02
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 528 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Petri net models; Petri-Netz-Modelle; Problemkomplexität; Prozeßalgebra; concurrent systems; distributed systems; konkurrente Systeme; logic; petri net; problem complexity; process algebra; semantics; algorithm analysis and problem complexity; C; Computation by Abstract Devices; Theory of Computation; Mathematics, general; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Processor Architectures; Theory of Computation; Mathematics; Algorithms; Computer Science Logic and Foundations of Programming; Processor Architectures; Computer Science; Mathematik; Algorithmen und Datenstrukturen; Rechnerarchitektur und Logik-Entwurf; BC
Stochastic Petri nets: An elementary introduction.- Improving the efficiency of the analysis of DSPN models.- Synchronized elementary net systems.- Descriptive and analytical process algebras.- P/T-systems as abstractions of C/E-systems.- The semantics of capacities in P/T nets.- Petri net tool overview 1989.- Equivalence transformations of PrT-Nets.- A reduction theory for coloured nets.- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets.- S-CORT®: A method for the development of electronic payment systems.- Timed Petri nets and application to multi-stage production systems.- Petri net systems and their closure properties.- Occam and the transputer.- About the concurrent behaviour of EN systems: Definability and closure results.- Petri nets and flexible manufacturing.- Some properties of timed nets under the earliest firing rule.- A comparative study of different techniques for semi-flows computation in place/transition nets.- Elementary net systems and dynamic logic.- Representation of a swapping class by one net.- Design methods based on nets.- CEDISYS compositional distributed systems state of the art, research goals, references.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)
- 9780387524948 Advances in Petri Nets, 1989 (Grzegorz Rozenberg)
- 9780387538631 Advances in Petri Nets (Rozenberg, Grzegorz (editor))
- 9780387505800 Small-Animal Spect Imaging (Rozenberg, Grzegorz (ed.))
- 9780387152042 Advances in Petri Nets 1984 (Lecture Notes in Computer Science) (Grzegorz Rozenberg)
< pour archiver...