Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Business Process Management [[electronic resource] ] : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings / / edited by Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich
| Business Process Management [[electronic resource] ] : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings / / edited by Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIV, 476 p. 180 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval User interfaces (Computer systems) Computers and civilization Management information systems Computer science Information technology Business—Data processing Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society Management of Computing and Information Systems IT in Business |
| ISBN | 3-319-23063-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996200366903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings / / edited by Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich
| Business Process Management : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings / / edited by Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIV, 476 p. 180 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval systems User interfaces (Computer systems) Human-computer interaction Computers and civilization Electronic data processing - Management Business information services Computer and Information Systems Applications Information Storage and Retrieval User Interfaces and Human Computer Interaction Computers and Society IT Operations IT in Business |
| ISBN | 3-319-23063-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483610803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Conformance Checking : Relating Processes and Models / / by Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich
| Conformance Checking : Relating Processes and Models / / by Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich |
| Autore | Carmona Josep |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 270 p. 164 illus., 63 illus. in color.) |
| Disciplina | 006.312 |
| Soggetto topico |
Application software
Information technology - Management Data mining Quantitative research Computer and Information Systems Applications Business Process Management Data Mining and Knowledge Discovery Data Analysis and Big Data Computer Application in Administrative Data Processing |
| ISBN | 3-319-99414-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction to Conformance Checking -- 2 The Basics of Processes and Models -- 3 Quality Dimensions for Relating Processes and Models -- 4 A First Take on Conformance Checking -- 5 Preliminaries to Conformance Checking -- 6 Preparation -- 7 Aligning Event Data and Process Models -- 8 Interpreting Alignments -- 9 Advanced Alignment Techniques -- 10 Understanding Processes -- 11 Improving Processes Using Conformance Checking -- 12 Conformance Checking Software -- 13 Epilogue -- References -- Index. |
| Record Nr. | UNINA-9910299163903321 |
Carmona Josep
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers / / edited by Marco Montali, Arik Senderovich, Matthias Weidlich
| Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers / / edited by Marco Montali, Arik Senderovich, Matthias Weidlich |
| Autore | Montali Marco |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2023 |
| Descrizione fisica | 1 online resource (XI, 592 p. 188 illus., 140 illus. in color.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Data mining
Information technology - Management Machine learning Medical informatics Data Mining and Knowledge Discovery Business Process Management Machine Learning Computer Application in Administrative Data Processing Health Informatics |
| ISBN |
9783031278150
3031278151 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910682537203321 |
|
Montali Marco
|
||
| Cham, : Springer Nature, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Process Mining Workshops [[electronic resource] ] : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers / / edited by Marco Montali, Arik Senderovich, Matthias Weidlich
| Process Mining Workshops [[electronic resource] ] : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers / / edited by Marco Montali, Arik Senderovich, Matthias Weidlich |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XI, 592 p. 188 illus., 140 illus. in color.) |
| Disciplina | 006.312 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Data mining
Information technology—Management Machine learning Medical informatics Data Mining and Knowledge Discovery Business Process Management Machine Learning Computer Application in Administrative Data Processing Health Informatics |
| ISBN | 3-031-27815-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996547957303316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Services, Formal Methods, and Behavioral Types [[electronic resource] ] : 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 / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
| Web Services, Formal Methods, and Behavioral Types [[electronic resource] ] : 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 / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
| Disciplina | 006 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Software engineering Computer logic Computer communication systems Computer system failures Management information systems Computer science Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs Computer Communication Networks System Performance and Evaluation Management of Computing and Information Systems |
| ISBN | 3-319-33612-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
| Record Nr. | UNISA-996465709903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
| 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 / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
| Disciplina | 006 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Software engineering Computer science Computer networks Electronic digital computers - Evaluation Electronic data processing - Management Computer and Information Systems Applications Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks System Performance and Evaluation IT Operations |
| ISBN | 3-319-33612-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
| Record Nr. | UNINA-9910483617803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||