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.
1: Equations and initial semantics / H. Ehrig, B. Mahr
| 1: Equations and initial semantics / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1985 |
| Descrizione fisica | XI, 321 p. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Collana | EATCS monographs on theoretical computer science |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| ISBN |
0387137181
3540137181 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002683 |
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer, c1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff
| 2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.73 |
| Soggetto topico | Data Structures (Computer Science) |
| ISBN | 1-5386-1600-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2017 IEEE Second International Conference on Data Science in Cyberspace |
| Record Nr. | UNINA-9910213840703321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff
| 2017 IEEE Second International Conference on Data Science in Cyberspace (DSC) / / IEEE Staff |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.73 |
| Soggetto topico | Data Structures (Computer Science) |
| ISBN | 1-5386-1600-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2017 IEEE Second International Conference on Data Science in Cyberspace |
| Record Nr. | UNISA-996278328803316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2: Module specification and constraints / H. Ehrig, B. Mahr
| 2: Module specification and constraints / H. Ehrig, B. Mahr |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1990 |
| Descrizione fisica | XI, 427 p. ; 25 cm. |
| Disciplina |
005.7
005.73 |
| Altri autori (Persone) | Mahr, Bernd |
| Collana | EATCS monographs on theoretical computer science |
| Soggetto topico |
Archivi di dati - Struttura
Algebra |
| ISBN |
0387517995
3540517995 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002685 |
|
Ehrig, Hartmut
|
||
| Berlin [etc.], : Springer, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
A practical introduction to data structures and algorithm analysis / Clifford A.Shaffer
| A practical introduction to data structures and algorithm analysis / Clifford A.Shaffer |
| Autore | Shaffer, Clifford A. |
| Pubbl/distr/stampa | Upper Saddle River (N.J.) : Prentice Hall, c1997 |
| Descrizione fisica | xvi, 494 p. : ill. ; 25 cm |
| Disciplina | 005.73 |
| Soggetto non controllato |
Computer science
Strutture dati Algoritmi |
| ISBN | 0-13-190752-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001439100403321 |
|
Shaffer, Clifford A.
|
||
| Upper Saddle River (N.J.) : Prentice Hall, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts
| Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts |
| Autore | Geurts Frederic <1965-> |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XII, 280 p. 78 illus.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Abstract data types (Computer science)
System analysis Electronic data processing - Structured techniques |
| ISBN | 3-540-49211-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work. |
| Record Nr. | UNINA-9910143504103321 |
|
Geurts Frederic <1965->
|
||
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts
| Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / / Frederic Geurts |
| Autore | Geurts Frederic <1965-> |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XII, 280 p. 78 illus.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Abstract data types (Computer science)
System analysis Electronic data processing - Structured techniques |
| ISBN | 3-540-49211-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work. |
| Record Nr. | UNISA-996466160603316 |
|
Geurts Frederic <1965->
|
||
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ACM SOCC'15 : proceedings of the Sixth ACM Symposium on Cloud Computing : August 27-29, 2015, Kohala Coast, Hawaii, USA / / edited by Magdalena Balazinska
| ACM SOCC'15 : proceedings of the Sixth ACM Symposium on Cloud Computing : August 27-29, 2015, Kohala Coast, Hawaii, USA / / edited by Magdalena Balazinska |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2015 |
| Descrizione fisica | 1 online resource (446 pages) : illustrations |
| Disciplina | 005.73 |
| Soggetto topico |
Data structures (Computer science)
Database management |
| ISBN | 1-4503-3651-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376534603321 |
| New York, NY : , : Association for Computing Machinery, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced data structures : theory and applications / / Suman Saha, Shailendra Shukla
| Advanced data structures : theory and applications / / Suman Saha, Shailendra Shukla |
| Autore | Saha Suman |
| Pubbl/distr/stampa | Boca Raton : , : Chapman & Hall/CRC, , 2019 |
| Descrizione fisica | 1 online resource (261 pages) |
| Disciplina | 005.73 |
| Soggetto topico | Data structures (Computer science) |
| ISBN |
0-429-94985-5
0-429-94984-7 0-429-48875-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910793662703321 |
|
Saha Suman
|
||
| Boca Raton : , : Chapman & Hall/CRC, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced information systems engineering : 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002, proceedings / / Anne Banks Pidduck [and three others] (editors)
| Advanced information systems engineering : 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002, proceedings / / Anne Banks Pidduck [and three others] (editors) |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2002] |
| Descrizione fisica | 1 online resource (XIV, 782 p.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Data structures (Computer science) |
| ISBN | 3-540-47961-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentations -- The Grand Challenge in Information Technology and the Illusion of Validity -- Metadata and Cooperative Knowledge Management -- Ontology-Driven Conceptual Modeling -- Metadata and Cooperative Knowledge Management -- Web Component: A Substrate for Web Service Reuse and Composition -- Developing Web Applications -- Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach -- A State Machine Based Approach for a Process Driven Development of Web-Applications -- Knowledge Management -- Supporting Dimension Updates in an OLAP Server -- The COMET Metamodel for Temporal Data Warehouses -- Exploring RDF for Expertise Matching within an Organizational Memory -- Deployment Issues -- Describing and Communicating Software Architecture in Practice: Observations on Stakeholders and Rationale -- The Individual Deployment of Systems Development Methodologies -- Supporting the Deployment of Object-Oriented Frameworks -- Semantics of Information -- A Conceptual Modeling Approach to Semantic Document Retrieval -- Multidimensional Semistructured Data: Representing Context-Dependent Information on the Web -- The Role of Semantic Relevance in Dynamic User Community Management and the Formulation of Recommendations -- System Qualities -- Can We Ever Build Survivable Systems from COTS Components? -- Towards a Data Model for Quality Management Web Services: An Ontology of Measurement for Enterprise Modeling -- A Modelling Approach to the Realisation of Modular Information Spaces -- Integration Issues -- Data Integration under Integrity Constraints -- Babel: An XML-Based Application Integration Framework -- Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic -- Analysis and Adaptation -- Verification of Payment Protocols via MultiAgent Model Checking -- SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog -- Usage—Centric Adaptation of Dynamic E—Catalogs -- Retrieval and Performance -- Reengineering of Database Applications to EJB Based Architecture -- Efficient Similarity Search for Time Series Data Based on the Minimum Distance -- A High-Performance Data Structure for Mobile Information Systems -- Requirements Issues -- External Requirements Validation for Component-Based Systems -- Using Business Rules in Extreme Requirements -- Evaluating CM3: Problem Management -- Schema Matching and Evolution -- Database Schema Matching Using Machine Learning with Feature Selection -- Evolving Partitions in Conceptual Schemas in the UML -- Schema Evolution in Heterogeneous Database Architectures, A Schema Transformation Approach -- Workflows -- Serviceflow Beyond Workflow? Concepts and Architectures for Supporting Inter-Organizational Service Processes -- Design for Change: Evolving Workflow Specifications in ULTRAflow -- An Alternative Way to Analyze Workflow Graphs -- Semantics and Logical Representations -- Auditing Interval-Based Inference -- A Logical Foundation for XML -- Providing the Semantic Layer for WIS Design -- Understanding and Using Methods -- Towards a Framework for Comparing Process Modelling Languages -- Generic Models for Engineering Methods of Diverse Domains -- Role of Model Transformation in Method Engineering -- Modeling Objects and Relationships -- A Generic Role Model for Dynamic Objects -- Understanding Redundancy in UML Models for Object-Oriented Analysis -- Representation of Generic Relationship Types in Conceptual Modeling -- Short Papers -- Building Spatio-Temporal Presentations Warehouses from Heterogeneous Multimedia Web Servers -- A Practical Agent-Based Method to Extract Semantic Information from the Web -- Process Inheritance -- Addressing Performance Requirements Using a Goal and Scenario-Oriented Approach -- Querying Data with Multiple Temporal Dimensions -- Query Explorativeness for Integrated Search in Heterogeneous Data Sources -- Using Nested Tables for Representing and Querying Semistructured Web Data -- Defining and Validating Measures for Conceptual Data Model Quality -- An Architecture for Building Multi-device Thin-Client Web User Interfaces -- A Framework for Tool—Independent Modeling of Data Acquisition Processes for Data Warehousing -- Managing Complexity of Designing Routing Protocols Using a Middleware Approach -- Deferred Incremental Refresh of XML Materialized Views -- Requirements for Hypermedia Development Methods: A Survey of Outstanding Methods -- An Approach for Synergically Carrying out Intensional and Extensional Integration of Data Sources Having Different Formats -- DSQL — An SQL for Structured Documents Extended Abstract -- A Comparative Study of Ontology Languages and Tools -- Life Cycle Based Approach for Knowledge Management: A Knowledge Organization Case Study -- Parallel Query Processing Algorithms for Semi-structured Data -- Domain-Specific Instance Models in UML -- Extended Faceted Ontologies -- On the Logical Modeling of ETL Processes -- Intelligent Agent Supported Flexible Workflow Monitoring System -- A Meeting Scheduling System Based on Open Constraint Programming. |
| Record Nr. | UNINA-9910143908603321 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2002] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
