Algorithmic Aspects of Cloud Computing [[electronic resource] ] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 193 p. 49 illus. in color.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science |
ISBN | 3-319-29919-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorials -- Algorithmic Aspects of Large-Scale Data Stores -- Software Tools and Distributed Architectures for Cloud-based Data Management. |
Record Nr. | UNISA-996466000203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithmic Aspects of Cloud Computing [[electronic resource] ] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 193 p. 49 illus. in color.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science |
ISBN | 3-319-29919-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorials -- Algorithmic Aspects of Large-Scale Data Stores -- Software Tools and Distributed Architectures for Cloud-based Data Management. |
Record Nr. | UNINA-9910484309103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms - ESA 2015 [[electronic resource] ] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / / edited by Nikhil Bansal, Irene Finocchi |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXIII, 1053 p. 142 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Computer science—Mathematics Discrete mathematics Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Discrete Mathematics in Computer Science Software Engineering Formal Languages and Automata Theory |
ISBN | 3-662-48350-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466185003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms - ESA 2015 [[electronic resource] ] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / / edited by Nikhil Bansal, Irene Finocchi |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXIII, 1053 p. 142 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Computer science—Mathematics Discrete mathematics Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Discrete Mathematics in Computer Science Software Engineering Formal Languages and Automata Theory |
ISBN | 3-662-48350-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483520803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets [[electronic resource] ] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / / edited by Lars M. Kristensen, Laure Petrucci |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XII, 349 p. 130 illus., 23 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory |
ISBN | 3-642-21834-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465409703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 351 p. 136 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-57861-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. |
Record Nr. | UNISA-996466228503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 351 p. 136 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-57861-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. |
Record Nr. | UNINA-9910485143603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVI, 345 p. 114 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer graphics Computer networks Formal Languages and Automata Theory Computer Graphics Computer Communication Networks |
ISBN | 3-319-39086-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Petri Net Synthesis -- Tools -- Applications -- Conformance Checking -- Time and Stochastic Models -- Structural Methods. |
Record Nr. | UNISA-996465712003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVI, 345 p. 114 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer graphics Computer networks Formal Languages and Automata Theory Computer Graphics Computer Communication Networks |
ISBN | 3-319-39086-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Petri Net Synthesis -- Tools -- Applications -- Conformance Checking -- Time and Stochastic Models -- Structural Methods. |
Record Nr. | UNINA-9910484823903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications and Theory of Petri Nets [[electronic resource] ] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings / / edited by Giuliana Franceschinis, Karsten Wolf |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 353 p.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Algorithms Software engineering Machine theory Theory of Computation Discrete Mathematics in Computer Science Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming |
ISBN | 3-642-02424-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Component-Based Construction of Heterogeneous Real-Time Systems in Bip -- Unifying Petri Net Semantics with Token Flows -- Reaction Systems: A Formal Framework for Processes -- Full Papers -- Simple Composition of Nets -- Towards a Standard for Modular Petri Nets: A Formalisation -- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication -- Pomset Languages of Finite Step Transition Systems -- Deficiency Zero Petri Nets and Product Form -- Bisimilarity Minimization in O(m logn) Time -- P-Semiflow Computation with Decision Diagrams -- Orthomodular Lattices in Occurrence Nets -- Hasse Diagram Generators and Petri Nets -- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed -- Oclets – Scenario-Based Modeling with Petri Nets -- Hornets: Nets within Nets Combined with Net Algebra -- Monotonicity in Service Orchestrations -- Compositional Service Trees -- Tool Papers -- ASAP: An Extensible Platform for State Space Analysis -- The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator -- DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets -- Workcraft – A Framework for Interpreted Graph Models -- PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. |
Record Nr. | UNISA-996465535703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|