Host Europe GmbH
header_caution_sign_verlauf.gif, 9 kB

Die von Ihnen gewünschte Seite ist aufgrund von Wartungsarbeiten temporär nicht erreichbar.

Bitte versuchen Sie es zu einem späteren Zeitpunkt noch einmal.

This site is temporarily down for maintenance.

Please try again later.

Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 13 Treffer.


Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

Verlag: Springer Berlin, 411 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 16.07.2010

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

Produktform: Buch / Einband - flex.(Paperback)


Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

Verlag: Springer Berlin, Auflage 1, 411 Seiten

Erscheinungsdatum: 30.07.2010

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Process Mining Workshops

ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 592 Seiten

Erscheinungsdatum: 26.03.2023

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Rules and Reasoning

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 207 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 13.09.2019

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Rules and Reasoning

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 207 Seiten

Erscheinungsdatum: 14.09.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management Forum

BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 245 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.08.2018

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management

16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 514 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.08.2018

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management

16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 514 Seiten

Erscheinungsdatum: 11.08.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management Forum

BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 245 Seiten

Erscheinungsdatum: 12.08.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Enterprise Design, Operations, and Computing. EDOC 2022 Workshops

IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations and Doctoral Consortium Track, Bozen-Bolzano, Italy, October 4–7, 2022, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 378 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 23.02.2023

69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel