Kurt Jensen – författare
Visar alla böcker från författaren Kurt Jensen. Handla med fri frakt och snabb leverans.
23 produkter
Peerless
Rouben Mamoulian, Hollywood, and Broadway
Av Kurt Jensen
Inbunden, 2024
426 kr
Lägg i varukorg
A proud Armenian who claimed a distant link to nobility, born in what was then part of czarist Russia, Rouben Mamoulian (1897–1987) became one of the most astonishing and confounding directors of American film and theater, directing the original stage productions of Porgy and Bess, Carousel, and …
Murder Mysteries: True, Horrific, and Unsolved Murder Cases
Av Kurt Jensen
Häftad
167 kr
Lägg i varukorg
Shocking Spree Killers: True, Horrific, and Puzzling Stories of Cold Blooded Murderers
Av Kurt Jensen
Häftad
156 kr
Lägg i varukorg
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, Proceedings
Av Kurt Jensen, Andreas Podelski
Häftad, 2004
1128 kr
Lägg i varukorg
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, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice …
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, Proceedings
Av Andreas Podelski, Kurt Jensen
E-bok, 2004
1470 kr
Lägg i varukorg
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, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice …
Application and Theory of Petri Nets 1992
13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings
Av Kurt Jensen
Häftad, 1992
568 kr
Lägg i varukorg
This volume contains the proceedings of the 13thInternational Conference onApplication and Theory of PetriNets, held in Sheffield, England, in June 1992.The aim of the Petri net conferences is to create aforum for discussing progress in the application and theoryof Petri nets. Typically, the …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 2
Av Kurt Jensen
Inbunden, 1994
1128 kr
Lägg i varukorg
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 1
Av Kurt Jensen
Inbunden, 1996
1576 kr
Lägg i varukorg
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 theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation …
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Av Kurt Jensen, Lars M. Kristensen
Inbunden, 2009
904 kr
Lägg i varukorg
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 systems is particularly challenging because of inherent intricacies like possible nondeterminism and …
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Av Lars M. Kristensen, Kurt Jensen
E-bok, 2009
887 kr
Lägg i varukorg
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 systems is particularly challenging because of inherent intricacies like possible nondeterminism and …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 2
Av Kurt Jensen
Häftad, 2010
1128 kr
Lägg i varukorg
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.The main …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 1
Av Kurt Jensen
Häftad, 2010
1576 kr
Lägg i varukorg
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 theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation …
Transactions on Petri Nets and Other Models of Concurrency VII
Av Kurt Jensen, Wil M. P. van der Aalst m. fl.
Häftad, 2013
568 kr
Lägg i varukorg
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. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own …
Transactions on Petri Nets and Other Models of Concurrency VII
Av Karsten Wolf, Maciej Koutny m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
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. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own …
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Av Kurt Jensen, Lars M. Kristensen
Häftad, 2014
680 kr
Lägg i varukorg
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 systems is particularly challenging because of inherent intricacies like possible nondeterminism and …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use
Av Kurt Jensen
E-bok, 2012
1459 kr
Lägg i varukorg
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 have been carried out in an industrial set ting. The volume presents the most important ideas and …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use
Av Kurt Jensen
Häftad, 2011
1128 kr
Lägg i varukorg
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 have been carried out in an industrial set ting. The volume presents the most important ideas and …
High-level Petri Nets
Theory and Application
Av Grzegorz Rozenberg, Kurt Jensen
E-bok, 2012
739 kr
Lägg i varukorg
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 possible to obtain much more succinct and manageable de scriptions than can be obtained by means of …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 1
Av Kurt Jensen
E-bok, 2013
1948 kr
Lägg i varukorg
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 theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation …
Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use, Volume 1
Av Kurt Jensen
E-bok, 2013
1183 kr
Lägg i varukorg
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 theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation …
