Karsten Wolf – författare
Visar alla böcker från författaren Karsten Wolf. Handla med fri frakt och snabb leverans.
10 produkter
Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
Av Roberto Bruni, Karsten Wolf
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 …
Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
Av Karsten Wolf, Roberto Bruni
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 …
Applications and Theory of Petri Nets
30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
Av Giuliana Franceschinis, Karsten Wolf
Häftad, 2009
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and …
Applications and Theory of Petri Nets
30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
Av Karsten Wolf, Giuliana Franceschinis
E-bok, 2009
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and …
Business Process Management
9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
Av Stefanie Rinderle-Ma, Farouk Toumani m. fl.
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, in August/September 2011.The volume contains 22 revised full research papers carefully reviewed and selected from 157 submissions, as well …
Business Process Management
9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
Av Karsten Wolf, Farouk Toumani m. fl.
E-bok, 2011
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Business Process Management, BPM 2011, held in Clermont-Ferrand, France, in August/September 2011.The volume contains 22 revised full research papers carefully reviewed and selected from 157 submissions, as well …
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 …
Präzises Denken für Informatiker
Av Karsten Wolf
Häftad, 2017
343 kr
Lägg i varukorg
Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische …
Präzises Denken für Informatiker
Av Karsten Wolf
E-bok, 2017
359 kr
Lägg i varukorg
Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische …
