top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui