Werf jan martijn (36 risultati)

Paperback. Condizione: Brand New. 188 pages. 9.25x6.10x0.47 inches. In Stock.

Condizione: New. pp. 156.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.…

paperback. Condizione: Very Good.

Taschenbuch. Condizione: Neu. Web Services, Formal Methods, and Behavioral Types | 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers | Thomas Hildebrandt (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2016 | Springer | EAN 9783319336114 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024.The 19 full papers and 2 invited papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Business Process Modelling and Mining,Semantics and Complexity,Reachability,Verification and Model Checking,Applications and Tools.…

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Application and Theory of Petri Nets and Concurrency | 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings | Lars Michael Kristensen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2024 | Springer | EAN 9783031614323 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the BPM Forum held at the 21st International Conference on Business Process Management, BPM 2023, which took place in Utrecht, The Netherlands, in September 2023. The Blockchain Forum provided a platform for exploring and discussing innovative ideas on the intersection of BPM and blockchain technology. The RPA Forum focused on the use of the Robotic Process Automation (RPA) in the field of Business Process Management. The Educators Forum brought together educators within the BPM community for sharing resources to improve the practice of teaching BPM-related topics.The 18 full papers included in this volume were carefully reviewed and selected from a total of 39 submissions.…

Taschenbuch. Condizione: Neu. Business Process Management: Blockchain, Robotic Process Automation and Educators Forum | BPM 2023 Blockchain, RPA and Educators Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings | Julius Köpke (u. a.) | Taschenbuch | Lecture Notes in Business Information Processing | xii | Englisch | 2023 | Springer | EAN 9783031434327 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the BPM Forum held at the 21st International Conference on Business Process Management, BPM 2023, which took place in Utrecht, The Netherlands, in September 2023.The Blockchain Forum provided a platform for exploring and discussing innovative ideas on the intersection of BPM and blockchain technology. The RPA Forum focused on the use of the Robotic Process Automation (RPA) in the field of Business Process Management. The Educators Forum brought together educators within the BPM community for sharing resources to improve the practice of teaching BPM-related topics.The 18 full papers included in this volume were carefully reviewed and selected from a total of 39 submissions.…

Condizione: New. 2024th edition NO-PA16APR2015-KAP.

Paperback. Condizione: Brand New. 276 pages. 9.25x6.10x0.58 inches. In Stock.

Paperback. Condizione: Brand New. 460 pages. 9.25x6.10x9.21 inches. In Stock.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 188 pp. Englisch.…

Condizione: New. Print on Demand pp. 156.

Condizione: New. PRINT ON DEMAND pp. 156.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and .…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015.The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 188 pp. Englisch.…

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024.The 19 full papers and 2 invited papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Business Process Modelling and Mining,Semantics and Complexity,Reachability,Verification and Model Checking,Applications and Tools. 460 pp. Englisch. …

Condizione: new. Questo è un articolo print on demand.