15 Ebooks de Kurt Jensen
Kurt Jensen & Lars M. Kristensen: Coloured Petri Nets
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such …
PDF
Inglés
DRM
€74.96
Kurt Jensen & Andreas Podelski: Tools and Algorithms for the Construction and Analysis of Systems
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, …
PDF
Inglés
DRM
€111.64
Wil M. P. van der Aalst & Jonathan Billington: Transactions on Petri Nets and Other Models of Concurrency I
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. To PNo C issues …
PDF
Inglés
DRM
€56.51
Wil M. P. van der Aalst: Transactions on Petri Nets and Other Models of Concurrency II
Transactions on Petri Nets and Other Models of Concurrency (To PNo C) IIThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from …
PDF
Inglés
DRM
€56.53
Transactions on Petri Nets and Other Models of Concurrency IV
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. To PNo C issues …
PDF
Inglés
DRM
€55.96
Transactions on Petri Nets and Other Models of Concurrency V
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. To PNo C issues …
PDF
Inglés
DRM
€56.26
Wil M. P. van der Aalst & Giuliana Franceschinis: Transactions on Petri Nets and Other Models of Concurrency VI
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. To PNo C issues …
PDF
Inglés
DRM
€55.92
Wil M. P. van der Aalst & Gianfranco Balbo: Transactions on Petri Nets and Other Models of Concurrency VII
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. To PNo C issues …
PDF
Inglés
DRM
€56.36
Kurt Jensen: Coloured Petri Nets
The contents of this volume are application oriented. The volume contains a de- tailed presentation of 19 applications of CP-nets, covering a broad range of ap- plication areas. Most of the projects …
PDF
Inglés
DRM
€111.70
Kurt Jensen & Grzegorz Rozenberg: High-level Petri Nets
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it …
PDF
Inglés
DRM
€56.53
Kurt Jensen: Coloured Petri Nets
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de- veloped – from being a promising …
PDF
Inglés
DRM
€148.95
Kurt Jensen: Coloured Petri Nets
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de- veloped – from being a promising …
PDF
Inglés
DRM
€89.85
Kurt Jensen: Heterogeneous Catalysts
This book provides new research on the design, applications and research insights of heterogeneous catalysts. Chapter One discusses the assembly of nanocatalytic structures by the molecular layer …
PDF
DRM
€162.86
Kilmer Serjus McCully: Pioneer
This personal scientific memoir describes how a chance observation concerning artery disease in children with rare inherited abnormalities of metabolism, often called experiments of Nature, led to …
PDF
DRM
€300.63
