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.
Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
| Abstract State Machines 2004. Advances in Theory and Practice [[electronic resource] ] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 240 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Foundations Theory of Computation Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30768-4
9786610307685 3-540-24773-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
| Record Nr. | UNISA-996466226603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim
| Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / / edited by Wolf Zimmermann, Bernhard Thalheim |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 240 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Mathematical Logic and Foundations Theory of Computation Software Engineering Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30768-4
9786610307685 3-540-24773-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. |
| Record Nr. | UNINA-9910144158603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Databases and Information Systems [[electronic resource] ] : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings / / edited by András Benczúr, Bernhard Thalheim, Tomáš Horváth
| Advances in Databases and Information Systems [[electronic resource] ] : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings / / edited by András Benczúr, Bernhard Thalheim, Tomáš Horváth |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 291 p. 105 illus.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Data mining Information storage and retrieval Computer system failures Artificial intelligence Database Management Data Mining and Knowledge Discovery Information Storage and Retrieval System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-98398-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Information extraction and Integration -- Data Mining and Knowledge Discovery -- Indexing, Query Processing and Optimization -- Data Quality and Data Cleansing -- Distributed Data Platforms, Including Cloud Data Systems, Key-Value Stores, and Big Data Systems -- Streaming Data Analysis -- Web, XML and Semi-Structured Databases. |
| Record Nr. | UNISA-996466426803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings / / edited by András Benczúr, Bernhard Thalheim, Tomáš Horváth
| Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings / / edited by András Benczúr, Bernhard Thalheim, Tomáš Horváth |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 291 p. 105 illus.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Data mining Information storage and retrieval Computer system failures Artificial intelligence Database Management Data Mining and Knowledge Discovery Information Storage and Retrieval System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-98398-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Information extraction and Integration -- Data Mining and Knowledge Discovery -- Indexing, Query Processing and Optimization -- Data Quality and Data Cleansing -- Distributed Data Platforms, Including Cloud Data Systems, Key-Value Stores, and Big Data Systems -- Streaming Data Analysis -- Web, XML and Semi-Structured Databases. |
| Record Nr. | UNINA-9910349422803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Databases and Information Systems [[electronic resource] ] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun
| Advances in Databases and Information Systems [[electronic resource] ] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XV, 354 p. 123 illus.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Application software Data mining Information storage and retrieval Database Management Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Information Storage and Retrieval |
| ISBN | 3-319-44039-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote papers -- Data quality, mining, analysis and clustering -- Model-driven engineering, conceptual modeling -- Data warehouse and multidimensional modeling, recommender systems -- Spatial and temporal data processing -- Distributed and parallel data processing -- Internet of things and sensor networks. |
| Record Nr. | UNISA-996465324003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Databases and Information Systems : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun
| Advances in Databases and Information Systems : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / / edited by Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XV, 354 p. 123 illus.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Application software Data mining Information storage and retrieval Database Management Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Information Storage and Retrieval |
| ISBN | 3-319-44039-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote papers -- Data quality, mining, analysis and clustering -- Model-driven engineering, conceptual modeling -- Data warehouse and multidimensional modeling, recommender systems -- Spatial and temporal data processing -- Distributed and parallel data processing -- Internet of things and sensor networks. |
| Record Nr. | UNINA-9910485030903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Databases and Information Systems [[electronic resource] ] : 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010, Proceedings / / edited by Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim
| Advances in Databases and Information Systems [[electronic resource] ] : 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010, Proceedings / / edited by Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 600 p. 230 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Application software Information storage and retrieval Computer communication systems Data mining Management information systems Computer science Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Data Mining and Knowledge Discovery Management of Computing and Information Systems |
| ISBN | 3-642-15576-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465688403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Databases and Information Systems : 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010, Proceedings / / edited by Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim
| Advances in Databases and Information Systems : 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010, Proceedings / / edited by Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 600 p. 230 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Application software Information storage and retrieval Computer communication systems Data mining Management information systems Computer science Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Data Mining and Knowledge Discovery Management of Computing and Information Systems |
| ISBN | 3-642-15576-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484153003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Databases and Information Systems [[electronic resource] ] : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings / / edited by Leonid Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka
| Advances in Databases and Information Systems [[electronic resource] ] : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings / / edited by Leonid Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 438 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-39403-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Semantic Web Services: The Future of Integration! -- Bioinformatics Databases: State of the Art and Research Perspectives -- Compositional Development -- Multirepresentation in Ontologies -- Extension of Compositional Information Systems Development for the Web Services Platform -- Domain Based Identification and Modelling of Business Component Applications -- Advanced Query Processing -- An Optimal Divide-Conquer Algorithm for 2D Skyline Queries -- Hierarchical Data Cube for Range Queries and Dynamic Updates -- Evaluation of Common Counting Method for Concurrent Data Mining Queries -- Transactions -- taDOM: A Tailored Synchronization Concept with Tunable Lock Granularity for the DOM API -- Client-Side Dynamic Preprocessing of Transactions -- Retrieval from the Web -- Using Common Schemas for Information Extraction from Heterogeneous Web Catalogs -- UCYMICRA: Distributed Indexing of the Web Using Migrating Crawlers -- Indexing Techniques -- Revisiting M-Tree Building Principles -- Compressing Large Signature Trees -- Active Databases and Workflows -- A Conceptual Graphs Approach for Business Rules Modeling -- SnoopIB: Interval-Based Event Specification and Detection for Active Databases -- Reasoning on Workflow Executions -- Complex Value Storage -- Optimization of Storage Structures of Complex Types in Object-Relational Database Systems -- Hierarchical Bitmap Index: An Efficient and Scalable Indexing Technique for Set-Valued Attributes -- Data Mining -- Efficient Monitoring of Patterns in Data Mining Environments -- FCBI: An Efficient User-Friendly Classifier Using Fuzzy Implication Table -- Dynamic Integration of Classifiers in the Space of Principal Components -- Formal Query Semantics -- Formal Semantics of the ODMG 3.0 Object Query Language -- Spatial Aspects of IS -- Similar Sub-trajectory Retrieval for Moving Objects in Spatio-temporal Databases -- Distance Join Queries of Multiple Inputs in Spatial Databases -- XML Processing -- Rule-Based Generation of XML DTDs from UML Class Diagrams -- More Functional Dependencies for XML -- Multimedia Data Management -- Towards Collaborative Video Authoring -- Information Integration -- Updatable XML Views -- Query Containment -- Testing Containment of XPath Expressions in Order to Reduce the Data Transfer to Mobile Clients -- Query Containment with Negated IDB Predicates. |
| Record Nr. | UNISA-996465716003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Databases and Information Systems : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings / / edited by Leonid Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka
| Advances in Databases and Information Systems : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings / / edited by Leonid Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 438 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-39403-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Semantic Web Services: The Future of Integration! -- Bioinformatics Databases: State of the Art and Research Perspectives -- Compositional Development -- Multirepresentation in Ontologies -- Extension of Compositional Information Systems Development for the Web Services Platform -- Domain Based Identification and Modelling of Business Component Applications -- Advanced Query Processing -- An Optimal Divide-Conquer Algorithm for 2D Skyline Queries -- Hierarchical Data Cube for Range Queries and Dynamic Updates -- Evaluation of Common Counting Method for Concurrent Data Mining Queries -- Transactions -- taDOM: A Tailored Synchronization Concept with Tunable Lock Granularity for the DOM API -- Client-Side Dynamic Preprocessing of Transactions -- Retrieval from the Web -- Using Common Schemas for Information Extraction from Heterogeneous Web Catalogs -- UCYMICRA: Distributed Indexing of the Web Using Migrating Crawlers -- Indexing Techniques -- Revisiting M-Tree Building Principles -- Compressing Large Signature Trees -- Active Databases and Workflows -- A Conceptual Graphs Approach for Business Rules Modeling -- SnoopIB: Interval-Based Event Specification and Detection for Active Databases -- Reasoning on Workflow Executions -- Complex Value Storage -- Optimization of Storage Structures of Complex Types in Object-Relational Database Systems -- Hierarchical Bitmap Index: An Efficient and Scalable Indexing Technique for Set-Valued Attributes -- Data Mining -- Efficient Monitoring of Patterns in Data Mining Environments -- FCBI: An Efficient User-Friendly Classifier Using Fuzzy Implication Table -- Dynamic Integration of Classifiers in the Space of Principal Components -- Formal Query Semantics -- Formal Semantics of the ODMG 3.0 Object Query Language -- Spatial Aspects of IS -- Similar Sub-trajectory Retrieval for Moving Objects in Spatio-temporal Databases -- Distance Join Queries of Multiple Inputs in Spatial Databases -- XML Processing -- Rule-Based Generation of XML DTDs from UML Class Diagrams -- More Functional Dependencies for XML -- Multimedia Data Management -- Towards Collaborative Video Authoring -- Information Integration -- Updatable XML Views -- Query Containment -- Testing Containment of XPath Expressions in Order to Reduce the Data Transfer to Mobile Clients -- Query Containment with Negated IDB Predicates. |
| Record Nr. | UNINA-9910143862803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
