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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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) |
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|