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.
Coalgebraic Methods in Computer Science [[electronic resource] ] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue
| Coalgebraic Methods in Computer Science [[electronic resource] ] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 245 p. 4 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
| ISBN | 3-662-44124-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
| Record Nr. | UNISA-996202528703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue
| Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / / edited by Marcello M. Bonsangue |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 245 p. 4 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
| ISBN | 3-662-44124-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. |
| Record Nr. | UNINA-9910484970403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data Science and Artificial Intelligence [[electronic resource] ] : First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings / / edited by Chutiporn Anutariya, Marcello M. Bonsangue
| Data Science and Artificial Intelligence [[electronic resource] ] : First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings / / edited by Chutiporn Anutariya, Marcello M. Bonsangue |
| Autore | Anutariya Chutiporn |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (368 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) | BonsangueMarcello M |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Machine learning Artificial intelligence - Data processing Computer vision Natural language processing (Computer science) Artificial Intelligence Machine Learning Data Science Computer Vision Natural Language Processing (NLP) |
| ISBN | 981-9979-69-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Data Science and AI -- Data Mining and Machine Learning -- Deep Learning -- Image Analysis and Object Recognition -- Large Language Models -- Data Science and AI in Healthcare -- AI and Creativity -- Data Science and AI in Education. . |
| Record Nr. | UNISA-996565863203316 |
Anutariya Chutiporn
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Data Science and Artificial Intelligence [[electronic resource] ] : First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings / / edited by Chutiporn Anutariya, Marcello M. Bonsangue
| Data Science and Artificial Intelligence [[electronic resource] ] : First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings / / edited by Chutiporn Anutariya, Marcello M. Bonsangue |
| Autore | Anutariya Chutiporn |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (368 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) | BonsangueMarcello M |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Machine learning Artificial intelligence - Data processing Computer vision Natural language processing (Computer science) Artificial Intelligence Machine Learning Data Science Computer Vision Natural Language Processing (NLP) |
| ISBN | 981-9979-69-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Data Science and AI -- Data Mining and Machine Learning -- Deep Learning -- Image Analysis and Object Recognition -- Large Language Models -- Data Science and AI in Healthcare -- AI and Creativity -- Data Science and AI in Education. . |
| Record Nr. | UNINA-9910765486203321 |
|
Anutariya Chutiporn
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
| Formal Methods for Components and Objects [[electronic resource] ] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 241 p. 125 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-40615-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components. |
| Record Nr. | UNISA-996466025803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
| Formal Methods for Components and Objects [[electronic resource] ] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 356 p. 129 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Application software Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-642-35887-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles -- A Language-Based Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction -- Modeling Application-Level Management of Virtualized Resources in ABS -- HATS Abstract Behavioral Specification: The Architectural View -- Automatic Service Categorisation through Machine Learning in Emergent Middleware -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection -- Enhancing Model Driven Security through Pattern Refinement Techniques -- Project Zeppelin: A Modern Web Application Development Framework -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems -- Paraphrasing: Generating Parallel Programs Using Refactoring -- An Abstract Annotation Model for Skeletons -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems -- Component Assemblies in the Context of Manycore -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints. |
| Record Nr. | UNISA-996465989903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
| Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 241 p. 125 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-40615-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components. |
| Record Nr. | UNINA-9910485148203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 / / edited by Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
| Formal Methods for Components and Objects [[electronic resource] ] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 / / edited by Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VII, 393 p. 145 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques |
| ISBN | 3-642-25271-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ASLan++ — A formal security specification language for distributed Systems -- Orchestration under Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component Synthesis -- Shared Event Composition/Decomposition in Event-B -- ABS: A Core Language for Abstract Behavioral Specification -- A Component Model for the ABS Language -- Compositional Algorithmic Verification of Software Product Lines -- Variability Modelling in the ABS Language -- Automated Verification of Executable UML Models -- Verification of UML models by translation to UML-B -- Towards the UML-based Formal Verification of Timed Systems -- Generic Fault Modelling for Fault Injection -- Tightening Test Coverage Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange Format -- Application of Model-Checking Technology to Controller Synthesis -- Testing Real-time Systems under Uncertainty -- Model-Checking and Simulation for Stochastic Timed Systems. |
| Record Nr. | UNISA-996466260703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
| Formal Methods for Components and Objects [[electronic resource] ] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / / edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 339 p. 111 illus., 55 illus. in color.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques |
| ISBN |
1-283-47734-3
9786613477347 3-642-17071-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465963803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / / edited by Marcello M. Bonsangue, Eric Madelaine
| Formal Methods for Components and Objects [[electronic resource] ] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / / edited by Marcello M. Bonsangue, Eric Madelaine |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Programming languages (Electronic computers) Computer logic Computer programming Software Engineering/Programming and Operating Systems Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Programming Techniques |
| Soggetto genere / forma |
Kongress.
Sophia-Antipolis (2008) |
| ISBN | 3-642-04167-1 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The COMPAS Project -- Reusable Architectural Decision Model for Model and Metadata Repositories -- Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems -- The CREDO Project -- A Real-Time Extension of Creol for Modelling Biomedical Sensors -- Conformance Testing of Distributed Concurrent Systems with Executable Designs -- Formal Verification for Components and Connectors -- The DEPLOY Project -- Formal Modular Modelling of Context-Awareness -- Towards Demonstrably Correct Compilation of Java Byte Code -- Incremental System Modelling in Event-B -- The GRIDCOMP Project -- An Asynchronous Distributed Component Model and Its Semantics -- Specification and Verification for Grid Component-Based Applications: From Models to Tools -- Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming -- The MOBIUS Project -- Session-Based Compilation Framework for Multicore Programming -- Abstract Interpretation of Symbolic Execution with Explicit State Updates -- BML and Related Tools. |
| Record Nr. | UNISA-996465642603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
