Alessandro gianola (30 risultati)
Altre immaginiUn elefante si dondolava-Il gallo bello. Ediz. a colori. Con QR code
Paolo Capodacqua, Roberto Piumini, Lorenzo Tozzi, Alessandro Sanna, Maria Gianola
- Rilegato
Da: Rarewaves USA, OSWEGO, U.S.A.Rarewaves USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 28,97
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardback. Condizione: New. Illustrated.
Altre immaginiUn elefante si dondolava-Il gallo bello. Ediz. a colori. Con QR code
Paolo Capodacqua, Roberto Piumini, Lorenzo Tozzi, Alessandro Sanna, Maria Gianola
- Rilegato
Da: Rarewaves.com USA, London, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 33,47
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardback. Condizione: New. Illustrated.
- Brossura
- Prima edizione
Da: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,83
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed techni…cal machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.In 2022, the PhD dissertation won the BPM Dissertation Award, granted to outstanding PhD theses in the field of Business Process Management. This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Brossura
Da: California Books, Miami, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 81,26
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,99
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 100,50
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 348.
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 112,46
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 107,14
EUR 11,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 345 pages. 9.25x6.10x0.72 inches. In Stock.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 107,70
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 377 pages. 6.14x0.79x9.21 inches. In Stock.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 26,00
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 348 | Sprache: Englisch | Produktart: Bücher | This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems,…called Data-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.In 2022, the PhD dissertation won the ¿BPM Dissertation Award¿, granted to outstanding PhD theses in the field of Business Process Management.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,61
EUR 62,64 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Proc…esses (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.In 2022, the PhD dissertation won the 'BPM Dissertation Award', granted to outstanding PhD theses in the field of Business Process Management.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,61
EUR 62,88 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 9 12, 2025.The 19 full papers were carefully revi…ewed and seleced from 73 submissions. They were categorized under topical sections as follows:1) Enterprise Architecture2) Business Process Management3) Business Processes & Decision-Making4) Modeling and Modeling Methods5) Ontologies6) Artificial Intelligence and Agents.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,70
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Enterprise Design, Operations, and Computing | 29th International Conference, EDOC 2025, Lisbon, Portugal, September 9-12, 2025, Revised Selected Papers | Alessandro Gianola (u. a.) | Taschenbuch | xxi | Englisch | 2026 | Springer | EAN 9783032151391 | Verantwortliche Person für die EU: Springer Ver…lag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,70
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Verification of Data-Aware Processes via Satisfiability Modulo Theories | Alessandro Gianola | Taschenbuch | Lecture Notes in Business Information Processing | xxviii | Englisch | 2023 | Springer | EAN 9783031427459 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121…Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
- Prima edizione
Da: AussieBookSeller, Truganina, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 113,57
EUR 32,08 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed techni…cal machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.In 2022, the PhD dissertation won the BPM Dissertation Award, granted to outstanding PhD theses in the field of Business Process Management. This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Altre immaginiUn elefante si dondolava-Il gallo bello. Ediz. a colori. Con QR code
Paolo Capodacqua, Roberto Piumini, Lorenzo Tozzi, Alessandro Sanna, Maria Gianola
- Rilegato
Da: Rarewaves USA United, OSWEGO, U.S.A.Rarewaves USA United
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 22,85
EUR 43,35 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardback. Condizione: New. Illustrated.
Altre immaginiUn elefante si dondolava-Il gallo bello. Ediz. a colori. Con QR code
Paolo Capodacqua, Roberto Piumini, Lorenzo Tozzi, Alessandro Sanna, Maria Gianola
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 30,38
EUR 75,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardback. Condizione: New. Illustrated.
- Brossura
- Print on Demand
Da: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,25
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 912, 2025.The 19 full papers were carefully reviewed and seleced from 73 submissions. They we…re categorized under topical sections as follows:1) Enterprise Architecture2) Business Process Management3) Business Processes & Decision-Making4) Modeling and Modeling Methods5) Ontologies6) Artificial Intelligence and Agents This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Brossura
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 71,63
EUR 11,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 345 pages. 9.25x6.10x0.72 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Springer, Berlin, Springer Nature Switzerland, Springer 2026
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,61
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 9 12, 2025.The 19 full papers wer…e carefully reviewed and seleced from 73 submissions. They were categorized under topical sections as follows:1) Enterprise Architecture2) Business Process Management3) Business Processes & Decision-Making4) Modeling and Modeling Methods5) Ontologies6) Artificial Intelligence and Agents 345 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,61
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called… Data-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.In 2022, the PhD dissertation won the 'BPM Dissertation Award', granted to outstanding PhD theses in the field of Business Process Management. 348 pp. Englisch.
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 102,10
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 101,77
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 348.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,42
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,42
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Received the BPM 2022 Dissertation award for an outstanding thesis in the field of business process managementApplies principles, methods and techniques from automated reasoning to business processesInvestigates symb…olic reasoning approache.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 102,39
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND.
- Brossura
- Print on Demand
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,96
EUR 42,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 912, 2025.The 19 full papers were carefully reviewed and seleced from 73 submissions. They we…re categorized under topical sections as follows:1) Enterprise Architecture2) Business Process Management3) Business Processes & Decision-Making4) Modeling and Modeling Methods5) Ontologies6) Artificial Intelligence and Agents This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,61
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 912, 2025.The 19 full papers were car…efully reviewed and seleced from 73 submissions. They were categorized under topical sections as follows:1) Enterprise Architecture2) Business Process Management3) Business Processes & Decision-Making4) Modeling and Modeling Methods5) Ontologies6) Artificial Intelligence and AgentsSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 380 pp. Englisch.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,61
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy.It presents a new approach to safety verification of a particular class of infinite-state systems, called Dat…a-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data.In 2022, the PhD dissertation won the 'BPM Dissertation Award', granted to outstanding PhD theses in the field of Business Process Management.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 348 pp. Englisch.
- Brossura
- Print on Demand
Da: AussieBookSeller, Truganina, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 108,63
EUR 32,08 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 912, 2025.The 19 full papers were carefully reviewed and seleced from 73 submissions. They we…re categorized under topical sections as follows:1) Enterprise Architecture2) Business Process Management3) Business Processes & Decision-Making4) Modeling and Modeling Methods5) Ontologies6) Artificial Intelligence and Agents This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
