Fortell venner om denne varen:
Transactions on Petri Nets and Other Models of Concurrency - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency
Kurt Jensen
Pris
zł 204,90
Bestillingsvarer
Forventes levert 7. - 15. jul
Legg til iMusic ønskeliste
Eller
Transactions on Petri Nets and Other Models of Concurrency - Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency
Kurt Jensen
This volume contains revised and extended versions of a selection of key papers from workshops held at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which took place in Siedlce, Poland, June 2007.
251 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 18. desember 2008 |
| ISBN13 | 9783540892861 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 251 |
| Mål | 156 × 234 × 14 mm · 385 g |
| Språk | Fransk |
| Redaktør | Van Der Aalst, Wil M. P. |
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/423/9783642381423.jpg?kurt-jensen-2013-transactions-on-petri-nets-and-other-models-of-concurrency-vii-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of the original 1st ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/563/9783642645563.jpg?kurt-jensen-2011-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-monographs-in-theoretical-computer-science-an-eatcs-series-pocketbok&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of hardcover 1st ed. 1995 edition] (2010)](https://imusic.b-cdn.net/images/item/original/009/9783642082009.jpg?kurt-jensen-2010-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-2-monographs-in-theoretical-computer-science-an-eatcs-series-pocketbok&class=scaled&v=1408468337)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of hardcover 2nd ed. 1996 edition] (2010)](https://imusic.b-cdn.net/images/item/original/436/9783642082436.jpg?kurt-jensen-2010-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-pocketbok&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency III - Lecture Notes in Computer Science (Pocketbok) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/548/9783642048548.jpg?kurt-jensen-2009-transactions-on-petri-nets-and-other-models-of-concurrency-iii-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Innbunden bok) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/830/9783642002830.jpg?kurt-jensen-2009-coloured-petri-nets-modelling-and-validation-of-concurrent-systems-innbunden-bok&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee (Pocketbok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/997/9783540212997.jpg?kurt-jensen-2004-tools-and-algorithms-for-the-construction-and-analysis-of-systems-10th-international-conference-tacas-2004-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2004-barcelona-spain-march-29-april-2-2004-p&class=scaled&v=1538836911)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series (Innbunden bok) [2nd ed. 1996. 2nd corr. printing 1997 edition] (1996)](https://imusic.b-cdn.net/images/item/original/438/9783540609438.jpg?kurt-jensen-1996-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-innbunden-bok&class=scaled&v=1537926439)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series (Innbunden bok) [1st ed. 1995. 2nd corr. printing 1997 edition] (1994)](https://imusic.b-cdn.net/images/item/original/762/9783540582762.jpg?kurt-jensen-1994-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-2-monographs-in-theoretical-computer-science-an-eatcs-series-innbunden-bok&class=scaled&v=1538840878)
