Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
Disciplina | 004.24015115 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Data Science Software Engineering Artificial Intelligence |
ISBN | 3-030-21571-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
Record Nr. | UNISA-996466330303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
Disciplina | 004.24015115 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Data Science Software Engineering Artificial Intelligence |
ISBN | 3-030-21571-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
Record Nr. | UNINA-9910337846703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 427 p. 124 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Artificial intelligence—Data processing Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Data Science Discrete Mathematics in Computer Science |
ISBN | 3-319-91268-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools. |
Record Nr. | UNISA-996465825003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 427 p. 124 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Artificial intelligence—Data processing Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Data Science Discrete Mathematics in Computer Science |
ISBN | 3-319-91268-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools. |
Record Nr. | UNINA-9910349429703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
ISBN | 3-642-38697-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
Record Nr. | UNISA-996465839703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings / / edited by Jose-Manuel Colom, Jörg Desel |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 411 p. 166 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Artificial intelligence—Data processing Compilers (Computer programs) Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science Compilers and Interpreters |
ISBN | 3-642-38697-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Right Timing: Reflections on the Modeling and Analysis of Time -- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets -- Contextual Merged Processes -- ω-Petri Nets -- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets -- A Semantics for Every GSPN -- Expressing and Computing Passage Time Measures of GSPN Models with HASL -- On Multi-enabledness in Time Petri Nets -- Complexity Results for Elementary Hornets -- Complexity Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework -- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case -- Hierarchical Conformance Checking of Process Models Based on Event Logs -- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach -- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows -- Unifying the Semantics of Modular Extensions of Petri Nets -- Channel Properties of Asynchronously Composed Petri Nets -- MARCIE – Model Checking and Reachability Analysis Done Efficiently -- CPN Tools 4: Multi-formalism and Extensibility. |
Record Nr. | UNINA-9910483208403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of Operational Research in Business and Industries [[electronic resource] ] : Proceedings of 54th Annual Conference of ORSI / / edited by Angappa Gunasekaran, Jai Kishore Sharma, Samarjit Kar |
Autore | Gunasekaran Angappa |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (512 pages) |
Disciplina | 658.4034 |
Altri autori (Persone) |
SharmaJai Kishore
KarSamarjit |
Collana | Lecture Notes in Operations Research |
Soggetto topico |
Operations research
Mathematical optimization Big data Machine learning Artificial intelligence—Data processing Operations Research and Decision Theory Optimization Big Data Machine Learning Data Science |
Soggetto non controllato |
Technology
Technology & Engineering |
ISBN |
9789811980121
9789811980114 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Optimization of an inventory model with demand dependent on selling price and stock, nonlinear holding cost along with trade credit policy -- Chapter 2: Software Defect Prediction Through a Hybrid Approach Comprising of a Statistical Tool and a Machine Learning Model -- Chapter 3: Conservation of a prey species through optimal taxation: a model with Beddington-DeAngelis Functional Response -- Chapter 4: Investigate the reason for students' absenteeism in Engineering College in Fuzzy MCDM environment -- Chapter 5: Optimal inventory management policies for substitutable products considering non-instantaneous decay and cost of substitution. . |
Record Nr. | UNINA-9910726276403321 |
Gunasekaran Angappa | ||
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Apply Data Science [[electronic resource] ] : Introduction, Applications and Projects / / edited by Thomas Barton, Christian Müller |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 005.7 |
Soggetto topico |
Artificial intelligence—Data processing
Information storage and retrieval systems Data mining Business information services Business—Data processing Big data Data Science Information Storage and Retrieval Data Mining and Knowledge Discovery IT in Business Business Informatics Big Data |
ISBN | 3-658-38798-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Introduction to Data Science -- Systems, Tools and Methods -- Applications. |
Record Nr. | UNINA-9910637710203321 |
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Apply Data Science [[electronic resource] ] : Introduction, Applications and Projects / / edited by Thomas Barton, Christian Müller |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 005.7 |
Soggetto topico |
Artificial intelligence—Data processing
Information storage and retrieval systems Data mining Business information services Business—Data processing Big data Data Science Information Storage and Retrieval Data Mining and Knowledge Discovery IT in Business Business Informatics Big Data |
ISBN | 3-658-38798-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Introduction to Data Science -- Systems, Tools and Methods -- Applications. |
Record Nr. | UNISA-996547963203316 |
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Approximation and Online Algorithms [[electronic resource] ] : 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers / / edited by Roberto Solis-Oba, Rudolf Fleischer |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 329 p. 42 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Numerical analysis Artificial intelligence—Data processing Computer networks Computer graphics Discrete Mathematics in Computer Science Numerical Analysis Data Science Computer Communication Networks Computer Graphics |
ISBN | 3-319-89441-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph algorithms -- Inapproximability results -- Network design -- Packing and covering -- Paradigms for the design and analysis of approximation and online algorithms -- Parameterized complexity -- Scheduling problems -- Algorithmic game theory -- Coloring and partitioning -- Competitive analysis -- Computational advertising -- Computational finance -- Cuts and connectivity -- Geometric problems -- Mechanism design -- Resource augmentation -- Real-world applications. |
Record Nr. | UNISA-996466231403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|