Sökt på: Sökresultat
totalt 27 träffar
Scandinavia in the Middle Ages 900-1550
Medieval Scandinavia went through momentous changes. Regional power centres merged and gave birth to the three strong kingdoms of Denmark, Norway, and Sweden. At the end of the …
The Rise and Fall of the Danish Empire
This book examines the Danish Empire, which for over four hundred years stretched from Northern Norway to Hamburg and was feared by small German principalities to the South. …
Religionen tur och retur
Religion har varit viktig för människor genom historien och i alla kulturer, men dess betydelse har varierat. Går världen nu mot sekularisering, eller är religionen tvärtom åter på …
Murder Mysteries: True, Horrific, and Unsolved Murder Cases
Schleswig Holstein
Schleswig and Holstein have been contested regions for over a thousand years, but contested between different peoples and groups, and for very different reasons. In modern times, …
Hvad er oplysning?
”Oplysning er menneskets udgang af dets selvforskyldte umyndighed.” Sådan skrev den tyske filosof Immanuel Kant (1724-1804) for over 200 år siden. I denne tekst opfordrer Kant os …
Application and Theory of Petri Nets 1992
This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri …
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 …
Transactions on Petri Nets and Other Models of Concurrency III
AccordingtoHolzmann [14], protocol speci?cationscomprise ?veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol …
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 …
Coloured Petri Nets
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 …
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 …