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.
Big data management and analytics : 9th European Summer School, EBISS 2019, Berlin, Germany, June 30 - July 5, 2019, revised selected papers / / Ralf-Detlef Kutsche, Esteban Zimanyi (Eds.)
| Big data management and analytics : 9th European Summer School, EBISS 2019, Berlin, Germany, June 30 - July 5, 2019, revised selected papers / / Ralf-Detlef Kutsche, Esteban Zimanyi (Eds.) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XI, 121 p. 111 illus., 50 illus. in color.) |
| Disciplina | 658 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business intelligence
Management information systems Business - Data processing |
| ISBN | 3-030-61627-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Actionable Conformance Checking: From Intuitions to Code -- Introduction to Text Analytics -- Automated Machine Learning: Techniques and Frameworks -- Travel-Time Computation Based on GPS Data -- Laplacian Matrix for Dimensionality Reduction and Clustering. |
| Record Nr. | UNISA-996465355903316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Big data management and analytics : 9th European Summer School, EBISS 2019, Berlin, Germany, June 30 - July 5, 2019, revised selected papers / / Ralf-Detlef Kutsche, Esteban Zimanyi (Eds.)
| Big data management and analytics : 9th European Summer School, EBISS 2019, Berlin, Germany, June 30 - July 5, 2019, revised selected papers / / Ralf-Detlef Kutsche, Esteban Zimanyi (Eds.) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XI, 121 p. 111 illus., 50 illus. in color.) |
| Disciplina | 658 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Business intelligence
Management information systems Business - Data processing |
| ISBN | 3-030-61627-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Actionable Conformance Checking: From Intuitions to Code -- Introduction to Text Analytics -- Automated Machine Learning: Techniques and Frameworks -- Travel-Time Computation Based on GPS Data -- Laplacian Matrix for Dimensionality Reduction and Clustering. |
| Record Nr. | UNINA-9910427676403321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Intelligence [[electronic resource] ] : 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures / / edited by Esteban Zimányi, Ralf-Detlef Kutsche
| Business Intelligence [[electronic resource] ] : 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures / / edited by Esteban Zimányi, Ralf-Detlef Kutsche |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 149 p. 59 illus.) |
| Disciplina | 005.365 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Data mining
Management information systems Artificial intelligence Application software Knowledge management Data Mining and Knowledge Discovery Business Information Systems Artificial Intelligence Computer Appl. in Administrative Data Processing Knowledge Management |
| ISBN | 3-319-17551-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Complexity of Requirements Engineering for Decision-Support Systems: The CID Case Study -- Multi-perspective Analysis of Mobile Phone Call Data Records: A Visual Analytics Approach -- From the Web of Documents to the Linked Data -- A Survey on Supervised Classification on Data Streams -- Knowledge Reuse: Survey of Existing Techniques and Classification Approach. |
| Record Nr. | UNINA-9910299234003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VI, 342 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-45923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Frameworks -- An Approach to Composition Motivated by wp -- Compositional Verification of Secure Applet Interactions -- A Generic Component Framework for System Modeling -- Model and Program Analysis -- Implementing Condition/Event Nets in the Circal Process Algebra -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation by Moderated Regular Extrapolation -- Better Slicing of Programs with Jumps and Switches -- Architecture Descriptions -- Architectural Types Revisited: Extensible And/Or Connections -- Mapping an ADL to a Component-Based Application Development Environment -- From EDOC Components to CCM Components: A Precise Mapping Specification -- Meta-Models -- Engineering Modelling Languages: A Precise Meta-Modelling Approach -- AToM3: A Tool for Multi-formalism and Meta-modelling -- A Toolbox for Automating Visual Software Engineering -- Formal Approaches towards UML -- Enriching OCL Using Observational Mu-Calculus -- Formal Verification of UML Statecharts with Real-Time Extensions -- Requirements Engineering -- An Authoring Tool for Informal and Formal Requirements Specifications -- Introducing Context-Based Constraints -- Formal Requirements Engineering Using Observer Models -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach -- Meta-modeling Techniques Meet Web Application Design Tools -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications -- Tool Demonstrations -- The Coordination Development Environment -- The Key System: Integrating Object-Oriented Design and Formal Methods -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. |
| Record Nr. | UNINA-9910143910903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / / edited by Ralf-Detlef Kutsche, Herbert Weber |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VI, 342 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-45923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Frameworks -- An Approach to Composition Motivated by wp -- Compositional Verification of Secure Applet Interactions -- A Generic Component Framework for System Modeling -- Model and Program Analysis -- Implementing Condition/Event Nets in the Circal Process Algebra -- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation by Moderated Regular Extrapolation -- Better Slicing of Programs with Jumps and Switches -- Architecture Descriptions -- Architectural Types Revisited: Extensible And/Or Connections -- Mapping an ADL to a Component-Based Application Development Environment -- From EDOC Components to CCM Components: A Precise Mapping Specification -- Meta-Models -- Engineering Modelling Languages: A Precise Meta-Modelling Approach -- AToM3: A Tool for Multi-formalism and Meta-modelling -- A Toolbox for Automating Visual Software Engineering -- Formal Approaches towards UML -- Enriching OCL Using Observational Mu-Calculus -- Formal Verification of UML Statecharts with Real-Time Extensions -- Requirements Engineering -- An Authoring Tool for Informal and Formal Requirements Specifications -- Introducing Context-Based Constraints -- Formal Requirements Engineering Using Observer Models -- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach -- Meta-modeling Techniques Meet Web Application Design Tools -- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications -- Tool Demonstrations -- The Coordination Development Environment -- The Key System: Integrating Object-Oriented Design and Formal Methods -- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs -- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. |
| Record Nr. | UNISA-996465548903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||