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.
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
| 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
| 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
| 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 | ||
| ||
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
| Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| Soggetto non controllato |
Computer Programming
Computer Software Computers |
| ISBN |
9783031314766
9783031314759 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strategies in Conditional Narrowing Modulo SMT Plus Axioms -- Optimizing Maude Programs via Program Specialization -- Automated Synthesis of Software Contracts with KindSpec -- Abstract Interpretation of Graphs -- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming -- Grammar Induction for Under-resourced Languages: The Case of Ch'ol -- Answer Set Programming Made Easy -- The role of Abstraction in Model Checking -- Justifications and a Reconstruction of Parity Game Solving Algorithms -- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications -- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation -- Modularization of Logic Programs -- Proof-theoretic Foundations of Normal Logic Programs -- A Discourse on Guessing and Reasoning -- Reversible Debugging in Logic Programming -- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning -- Strand Spaces with Choice via a Process Algebra Semantics. |
| Record Nr. | UNISA-996534466503316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
| Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| Soggetto non controllato |
Computer Programming
Computer Software Computers |
| ISBN |
9783031314766
9783031314759 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strategies in Conditional Narrowing Modulo SMT Plus Axioms -- Optimizing Maude Programs via Program Specialization -- Automated Synthesis of Software Contracts with KindSpec -- Abstract Interpretation of Graphs -- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming -- Grammar Induction for Under-resourced Languages: The Case of Ch'ol -- Answer Set Programming Made Easy -- The role of Abstraction in Model Checking -- Justifications and a Reconstruction of Parity Game Solving Algorithms -- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications -- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation -- Modularization of Logic Programs -- Proof-theoretic Foundations of Normal Logic Programs -- A Discourse on Guessing and Reasoning -- Reversible Debugging in Logic Programming -- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning -- Strand Spaces with Choice via a Process Algebra Semantics. |
| Record Nr. | UNINA-9910725100503321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applicable Formal Methods for Safe Industrial Products [[electronic resource] ] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
| Applicable Formal Methods for Safe Industrial Products [[electronic resource] ] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach |
| Autore | Haxthausen Anne E |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (340 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
HuangWen-ling
RoggenbachMarkus |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-031-40132-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Laudatio -- Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial Products -- Testing -- On Testing Ethical Autonomous Decision-Making -- Bringing RoboStar and RT-Tester together -- Implementation Relations for Distributed Testing -- Conformance Relations between Input/Output Languages -- On Scenario-Based Testing of Cyber-Physical Systems -- Railway Verification and Safety & Security -- Safety vs. Security { Why Separation of Concerns is a Good Strategy for Safety-Critical Systems -- Decomposing the Verification of Interlocking Systems -- Pattern-based risk identification for model-based risk management -- A Journey through Software Model Checking of Interlocking Programs -- Formal Modelling to Improve Safety and Security -- Intelligent Systems and Cyber-Physical Systems -- Time for Traffic Manoeuvres -- Safer than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles -- Supervision of Intelligent Systems: An Overview -- Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems -- Towards A Unifying Framework for Uncertainty in Cyber-Physical Systems -- Tools and Techniques for Specification, Verification and Code Generation -- Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support -- Space Telemetry Analysis with PyContract -- An Intermediate Language-based Approach to Implementing and Verifying Communicating UML State Machines -- Polynomial Formal Verification of Complex Circuits using a Hybrid Proof Engine -- Debugging Frame Conditions. |
| Record Nr. | UNINA-9910739469003321 |
Haxthausen Anne E
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applicable Formal Methods for Safe Industrial Products [[electronic resource] ] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
| Applicable Formal Methods for Safe Industrial Products [[electronic resource] ] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach |
| Autore | Haxthausen Anne E |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (340 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
HuangWen-ling
RoggenbachMarkus |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-031-40132-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Laudatio -- Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial Products -- Testing -- On Testing Ethical Autonomous Decision-Making -- Bringing RoboStar and RT-Tester together -- Implementation Relations for Distributed Testing -- Conformance Relations between Input/Output Languages -- On Scenario-Based Testing of Cyber-Physical Systems -- Railway Verification and Safety & Security -- Safety vs. Security { Why Separation of Concerns is a Good Strategy for Safety-Critical Systems -- Decomposing the Verification of Interlocking Systems -- Pattern-based risk identification for model-based risk management -- A Journey through Software Model Checking of Interlocking Programs -- Formal Modelling to Improve Safety and Security -- Intelligent Systems and Cyber-Physical Systems -- Time for Traffic Manoeuvres -- Safer than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles -- Supervision of Intelligent Systems: An Overview -- Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems -- Towards A Unifying Framework for Uncertainty in Cyber-Physical Systems -- Tools and Techniques for Specification, Verification and Code Generation -- Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support -- Space Telemetry Analysis with PyContract -- An Intermediate Language-based Approach to Implementing and Verifying Communicating UML State Machines -- Polynomial Formal Verification of Complex Circuits using a Hybrid Proof Engine -- Debugging Frame Conditions. |
| Record Nr. | UNISA-996546852703316 |
|
Haxthausen Anne E
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets [[electronic resource] ] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / / edited by Serge Haddad, Lucia Pomello
| Application and Theory of Petri Nets [[electronic resource] ] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / / edited by Serge Haddad, Lucia Pomello |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 419 p. 139 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 Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science Data Science |
| ISBN | 3-642-31131-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465524903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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
| 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] ] : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / / edited by Didier Buchs, Josep Carmona
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / / edited by Didier Buchs, Josep Carmona |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (487 pages) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Data structures (Computer science) Information theory Computer science—Mathematics Discrete mathematics Software engineering Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Data Structures and Information Theory Discrete Mathematics in Computer Science Software Engineering |
| ISBN | 3-030-76983-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. |
| Record Nr. | UNINA-9910485588703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
