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.
Adaptive Hypermedia and Adaptive Web-Based Systems [[electronic resource] ] : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings / / edited by Peter Brusilovsky, Oliviero Stock, Carlo Strapparava
| Adaptive Hypermedia and Adaptive Web-Based Systems [[electronic resource] ] : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings / / edited by Peter Brusilovsky, Oliviero Stock, Carlo Strapparava |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIII, 424 p.) |
| Disciplina | 006.7/776 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer science Computer communication systems Multimedia information systems Application software User interfaces (Computer systems) Theory of Computation Popular Computer Science Computer Communication Networks Multimedia Information Systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-44595-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Enhancing Adaptive Hypermedia Presentation Systems 1 by Lifelike Synthetic Characters -- Full Papers -- Dynamic Generation of Adaptive Web Catalogs -- An Intelligent Tutor for a Web-Based Chess Course -- Adapting Web-Based Information to the Needs of Patients with Cancer -- Group User Models for Personalized Hyperlink Recommendations -- Adaptive Navigation Support and Adaptive Collaboration Support in WebDL -- Case-Based User Profiling for Content Personalisation -- Providing Tailored (Context-Aware) Information to City Visitors -- Adding Adaptive Features to Virtual Reality Interfaces for E-Commerce -- WAPing the Web: Content Personalisation for WAP-Enabled Devices -- Extendible Adaptive Hypermedia Courseware: Integrating Different Courses and Web Material -- Logically Optimal Curriculum Sequences for Adaptive Hypermedia Systems -- Towards Zero-Input Personalization: Referrer-Based Page Prediction -- LiveInfo: Adapting Web Experience by Customization and Annotation -- Adaptivity for Conceptual and Narrative Flow in Hyperbooks: The MetaLinks System -- The MacroNode Approach: Mediating Between Adaptive and Dynamic Hypermedia -- ECHOES: An Immersive Training Experience -- A Connectionist Approach for Supporting Personalized Learning in a Web-Based Learning Environment -- Adaptive Hypertext Design Environments: Putting Principles into Practice -- ECSAIWeb: A Web-Based Authoring System to Create Adaptive Learning Systems -- Adaptive Content in an Online Lecture System -- A Web-Based Socratic Tutor for Trees Recognition -- Adaptation Control in Adaptive Hypermedia Systems -- Short Papers -- An Agent-Based Approach to Adaptive Hypermedia Using a Link Service -- Adaptive Testing by Test++ -- What Does the User Want to Know About Web Resources? A User Model for Metadata -- Web Information Retrieval for Designing Distance Hypermedia Courses -- Formative Evaluation of Adaptive CALLware: A Case Study -- How Adaptivity Affects the Development of TANGOW Web-Based Courses -- An Adaptive Web Content Delivery System -- Knowledge Computing Method for Enhancing the Effectiveness of a WWW Distance Education System -- Interface Adaptation to Style of User-Computer Interaction -- Adaptation and Generation in a Web-Based Lisp Tutor -- Collaborative Maintenance in ULYSSES -- An Adaptive Open Hypermedia System on the Web -- Towards an Adaptive Learners’ Dictionary -- Concept Filtering and Spatial Filtering in an Adaptive Information System -- Analysing Web Search Logs to Determine Session Boundaries for User-Oriented Learning -- Learning User Profiles in NAUTILUS -- Lexical Chaining for Web-Based Retrieval of Breaking News -- Designing for Social Navigation of Food Recipes -- A Study Comparing the Use of Shaded Text and Adaptive Navigational Support in Adaptive Hypermedia -- Layered Evaluation of Adaptive Applications and Services -- Exploratory Activity Support Based on a Semantic Feature Map -- Adaptivity in AHMED -- An Adaptive Document Generation Based on Matrix of Contents -- Logical Dimensions for the Information Provided by a Virtual Guide -- Automated Collaborative Filtering Applications for Online Recruitment Services -- ConTexts: Adaptable Hypermedia -- Coherence in Modularly Composed Adaptive Learning Documents -- ACE-Adaptive Courseware Environment -- The Adaptive University Calendar -- Sense-Based User Modelling for Web Sites -- Generating Personal Travel Guides from Discourse Plans -- Doctoral Consortium Papers -- Distributed Systems for Group Adaptivity on the Web -- Open Multimedia Environment to Retrieve and Organise Documents: An Adaptive Web-Based IR System in the Field of Textile and Clothing Industry -- Researching Adaptive Instruction -- A Modular Approach for User Modelling. |
| Record Nr. | UNISA-996465415903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [[electronic resource] ] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / / edited by Ladjel Bellatreche, Mária Bieliková, Omar Boussaïd, Barbara Catania, Jérôme Darmont, Elena Demidova, Fabien Duchateau, Mark Hall, Tanja Merčun, Boris Novikov, Christos Papatheodorou, Thomas Risse, Oscar Romero, Lucile Sautot, Guilaine Talens, Robert Wrembel, Maja Žumer
| ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [[electronic resource] ] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / / edited by Ladjel Bellatreche, Mária Bieliková, Omar Boussaïd, Barbara Catania, Jérôme Darmont, Elena Demidova, Fabien Duchateau, Mark Hall, Tanja Merčun, Boris Novikov, Christos Papatheodorou, Thomas Risse, Oscar Romero, Lucile Sautot, Guilaine Talens, Robert Wrembel, Maja Žumer |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVIII, 370 p. 28 illus.) |
| Disciplina | 005.74 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Database management
Artificial intelligence Application software Computers Data structures (Computer science) Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Applications Theory of Computation Data Structures and Information Theory |
| ISBN | 3-030-55814-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1st Workshop on Intelligent Data - From Data to Knowledge (DOING 2020) -- 2nd Workshop on Modern Approaches in Data Engineering and Information System Design (MADEISD 2020) -- 1st Workshop on Scientic Knowledge Graphs (SKG 2020) -- 2nd Workshop of BI & Big Data Applications (BBIGAP 2020) -- International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2020) -- The 1st International Workshop on Assessing Impact and Merit in Science (AIMinScience 2020) -- Doctoral Consortium. |
| Record Nr. | UNINA-9910416081603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [[electronic resource] ] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / / edited by Ladjel Bellatreche, Mária Bieliková, Omar Boussaïd, Barbara Catania, Jérôme Darmont, Elena Demidova, Fabien Duchateau, Mark Hall, Tanja Merčun, Boris Novikov, Christos Papatheodorou, Thomas Risse, Oscar Romero, Lucile Sautot, Guilaine Talens, Robert Wrembel, Maja Žumer
| ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [[electronic resource] ] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / / edited by Ladjel Bellatreche, Mária Bieliková, Omar Boussaïd, Barbara Catania, Jérôme Darmont, Elena Demidova, Fabien Duchateau, Mark Hall, Tanja Merčun, Boris Novikov, Christos Papatheodorou, Thomas Risse, Oscar Romero, Lucile Sautot, Guilaine Talens, Robert Wrembel, Maja Žumer |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVIII, 370 p. 28 illus.) |
| Disciplina | 005.74 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Database management
Artificial intelligence Application software Computers Data structures (Computer science) Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Applications Theory of Computation Data Structures and Information Theory |
| ISBN | 3-030-55814-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1st Workshop on Intelligent Data - From Data to Knowledge (DOING 2020) -- 2nd Workshop on Modern Approaches in Data Engineering and Information System Design (MADEISD 2020) -- 1st Workshop on Scientic Knowledge Graphs (SKG 2020) -- 2nd Workshop of BI & Big Data Applications (BBIGAP 2020) -- International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2020) -- The 1st International Workshop on Assessing Impact and Merit in Science (AIMinScience 2020) -- Doctoral Consortium. |
| Record Nr. | UNISA-996465452403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Distributed Systems [[electronic resource] ] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / / edited by Felix F. Ramos, Victor Lrios Rosillo, Herwig Unger
| Advanced Distributed Systems [[electronic resource] ] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / / edited by Felix F. Ramos, Victor Lrios Rosillo, Herwig Unger |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 564 p.) |
| Disciplina | 004/.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer communication systems Software engineering Operating systems (Computers) Information storage and retrieval Application software Theory of Computation Computer Communication Networks Software Engineering Operating Systems Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Database Systems -- Database System Architecture – A Walk Through Time: From Centralized Platform to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic Skeletons -- Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach -- On Time Analysis of Random Walk Based Token Circulation Algorithms -- Architecture for Media Streaming Delivery over P2P Networks -- On the Role of Information Compaction to Intrusion Detection -- A Hybrid Framework of RR Scheduler to Ensure Priority, Low Complexity and Delay with Relative Fairness -- Data Hiding in Identification and Offset IP Fields -- Interpretation of UML Sequence Diagrams as Causality Flows -- Real-Time Distributed Systems -- A Proposal for On-Line Reconfiguration Based upon a Modification of Planning Scheduler and Fuzzy Logic Control Law Response -- Integrated Tool for Testing Timed Systems -- Conformance Testing of Real-Time Component Based Systems -- Cooperative Information Systems -- Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study -- A Framework for Information Integration with Uncertainty -- Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach -- An Online Component Deployment System for Dynamic Collaborative Sessions -- Complexity in Collaborative Online Socio-Interactionist Environments: A Good Reason for Distributed Systems -- Fault Tolerance -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing Rollback-Recovery Coordinated Checkpoints -- Information Retrieval -- An Identity-Based Model for Grid Security Infrastructure -- Lineage Tracing in Mediator-Based Information Integration Systems -- Combining Sources of Evidence for Recognition of Relevant Passages in Texts -- A Hierarchical and by Role Multi-agent Organization: Application to the Information Retrieval -- Modeling and Simulation -- Evaluating a Scientific SPMD Application on a Computational Grid with Different Load Balancing Techniques -- Increasing the Training Speed of SVM, the Zoutendijk Algorithm Case -- Video Motion Detection Using the Algorithm of Discrimination and the Hamming Distance -- An Efficient and Grain Preservation Mapping Algorithm: From ER Diagram to Multidimensional Model -- Quadratic Optimization Fine Tuning for the Learning Phase of SVM -- Wireless Networks and Mobile Computing -- WFCTA(Weighted Fair Channel Time Allocation) and Its Analysis for HR-WPAN -- Performance Analysis of Two Approaches to Service Discovery in Mobile Ad Hoc Networks -- BCTMA (Bi-directional Cut-Through Medium Access) Protocol for 802.11-Based Multi-hop Wireless Networks -- Some Security Issues of Wireless Systems -- Overview the Key Management in Ad Hoc Networks -- On Performance Improvement for 802.11-based Multi-hop Ad Hoc Wireless Networks -- Analysis of Context Transfer in Seamless IP Mobility -- Artificial Life and Multi-agent Systems -- An Introduction to Evolutionary Algorithms and Their Applications -- Distributed Anticipatory System -- Memory as an Active Component of a Behavioral Animation System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence -- Specifying Agent’s Goals in 3D Scenarios Using Process Algebras -- A New Approach for Offer Evaluation in Multi-agent System Negotiation Based in Evidential Paraconsistent Logic -- A Voice-Enabled Assistant in a Multi-agent System for e-Government Services -- CAS – An Interface Generator in Natural Language to Information System -- A Formal Approach to Model Multiagent Interactions Using the B Formal Method -- Behavioral Self-control of Agent-Based Virtual Pedestrians -- ISSADS 2004 -- Security Challenges of Distributed e-Learning Systems -- A Component-Based Transactional Service, Including Advanced Transactional Models. |
| Record Nr. | UNISA-996465914603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Distributed Systems [[electronic resource] ] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / / edited by Felix F. Ramos, Victor Lrios Rosillo, Herwig Unger
| Advanced Distributed Systems [[electronic resource] ] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / / edited by Felix F. Ramos, Victor Lrios Rosillo, Herwig Unger |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 564 p.) |
| Disciplina | 004/.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer communication systems Software engineering Operating systems (Computers) Information storage and retrieval Application software Theory of Computation Computer Communication Networks Software Engineering Operating Systems Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Database Systems -- Database System Architecture – A Walk Through Time: From Centralized Platform to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic Skeletons -- Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach -- On Time Analysis of Random Walk Based Token Circulation Algorithms -- Architecture for Media Streaming Delivery over P2P Networks -- On the Role of Information Compaction to Intrusion Detection -- A Hybrid Framework of RR Scheduler to Ensure Priority, Low Complexity and Delay with Relative Fairness -- Data Hiding in Identification and Offset IP Fields -- Interpretation of UML Sequence Diagrams as Causality Flows -- Real-Time Distributed Systems -- A Proposal for On-Line Reconfiguration Based upon a Modification of Planning Scheduler and Fuzzy Logic Control Law Response -- Integrated Tool for Testing Timed Systems -- Conformance Testing of Real-Time Component Based Systems -- Cooperative Information Systems -- Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study -- A Framework for Information Integration with Uncertainty -- Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach -- An Online Component Deployment System for Dynamic Collaborative Sessions -- Complexity in Collaborative Online Socio-Interactionist Environments: A Good Reason for Distributed Systems -- Fault Tolerance -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing Rollback-Recovery Coordinated Checkpoints -- Information Retrieval -- An Identity-Based Model for Grid Security Infrastructure -- Lineage Tracing in Mediator-Based Information Integration Systems -- Combining Sources of Evidence for Recognition of Relevant Passages in Texts -- A Hierarchical and by Role Multi-agent Organization: Application to the Information Retrieval -- Modeling and Simulation -- Evaluating a Scientific SPMD Application on a Computational Grid with Different Load Balancing Techniques -- Increasing the Training Speed of SVM, the Zoutendijk Algorithm Case -- Video Motion Detection Using the Algorithm of Discrimination and the Hamming Distance -- An Efficient and Grain Preservation Mapping Algorithm: From ER Diagram to Multidimensional Model -- Quadratic Optimization Fine Tuning for the Learning Phase of SVM -- Wireless Networks and Mobile Computing -- WFCTA(Weighted Fair Channel Time Allocation) and Its Analysis for HR-WPAN -- Performance Analysis of Two Approaches to Service Discovery in Mobile Ad Hoc Networks -- BCTMA (Bi-directional Cut-Through Medium Access) Protocol for 802.11-Based Multi-hop Wireless Networks -- Some Security Issues of Wireless Systems -- Overview the Key Management in Ad Hoc Networks -- On Performance Improvement for 802.11-based Multi-hop Ad Hoc Wireless Networks -- Analysis of Context Transfer in Seamless IP Mobility -- Artificial Life and Multi-agent Systems -- An Introduction to Evolutionary Algorithms and Their Applications -- Distributed Anticipatory System -- Memory as an Active Component of a Behavioral Animation System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence -- Specifying Agent’s Goals in 3D Scenarios Using Process Algebras -- A New Approach for Offer Evaluation in Multi-agent System Negotiation Based in Evidential Paraconsistent Logic -- A Voice-Enabled Assistant in a Multi-agent System for e-Government Services -- CAS – An Interface Generator in Natural Language to Information System -- A Formal Approach to Model Multiagent Interactions Using the B Formal Method -- Behavioral Self-control of Agent-Based Virtual Pedestrians -- ISSADS 2004 -- Security Challenges of Distributed e-Learning Systems -- A Component-Based Transactional Service, Including Advanced Transactional Models. |
| Record Nr. | UNINA-9910483498003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
| Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 331 p.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Compilers (Computer programs) Software engineering Algorithms Machine theory Theory of Computation Programming Techniques Compilers and Interpreters Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-642-04652-5 |
| Classificazione |
DAT 544f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
| Record Nr. | UNISA-996465651403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
| Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 331 p.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Compilers (Computer programs) Software engineering Algorithms Machine theory Theory of Computation Programming Techniques Compilers and Interpreters Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-642-04652-5 |
| Classificazione |
DAT 544f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
| Record Nr. | UNINA-9910483763203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering [[electronic resource] ] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor
| Advanced Information Systems Engineering [[electronic resource] ] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor |
| Autore | Indulska Marta |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (640 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
Reinhartz-BergerIris
CetinaCarlos PastorOscar |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computers Software engineering Database management Computer science Computer and Information Systems Applications Computing Milieux Software Engineering Database Management Theory of Computation |
| ISBN | 3-031-34560-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910728929603321 |
Indulska Marta
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Information Systems Engineering [[electronic resource] ] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor
| Advanced Information Systems Engineering [[electronic resource] ] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor |
| Autore | Indulska Marta |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (640 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
Reinhartz-BergerIris
CetinaCarlos PastorOscar |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computers Software engineering Database management Computer science Computer and Information Systems Applications Computing Milieux Software Engineering Database Management Theory of Computation |
| ISBN | 3-031-34560-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996538667303316 |
|
Indulska Marta
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Information Systems Engineering [[electronic resource] ] : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings / / edited by Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie
| Advanced Information Systems Engineering [[electronic resource] ] : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings / / edited by Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 484 p.) |
| Disciplina | 005.1/028 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Database management Application software Information storage and retrieval Software engineering Management information systems Computer science Theory of Computation Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Software Engineering Management of Computing and Information Systems |
| ISBN | 3-540-45341-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Project Oxygen: Pervasive, Human-Centric Computing – An Initial Experience -- Database Systems Architecture: A Study in Factor-Driven Software System Design -- Evolution not Revolution: The Data Warehousing Strategy at Credit Suisse Financial Services -- A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process -- From User Requirements to User Interfaces: A Methodological Approach -- The ADORA Approach to Object-Oriented Modeling of Software -- Techniques for Reactive System Design: The Tools in TRADE -- A Requirements-Driven Development Methodology -- Constructing Libraries of Typical Plans -- The P2P Approach to Interorganizational Workflows -- Relaxed Soundness of Business Processes -- Developing E-Services for Composing E-Services -- Data Models with Multiple Temporal Dimensions: Completing the Picture -- Querying Data-Intensive Programs for Data Design -- Consistency Management of Financial XML Documents -- The Relationship Between Organisational Culture and the Deployment of Systems Development Methodologies -- Increasing Reusability in Information Systems Development by Applying Generic Methods -- An Assembly Process Model for Method Engineering -- Process Reuse Architecture -- Using a Metadata Software Layer in Information Systems Integration -- Distributed Information Search with Adaptive Meta-Search Engines -- A Semantic Approach to Integrating XML and Structured Data Sources -- XML-Based Integration of GIS and Heterogeneous Tourism Information -- Objects Control for Software Configuration Management -- Coordination Technologies for Managing Information System Evolution -- Using Metrics to Predict OO Information Systems Maintainability -- A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems -- Taxonomies and Derivation Rules in Conceptual Modeling -- Using UML Action Semantics for Executable Modeling and Beyond -- Design and Implementation of a UML-Based Design Repository -- Why Enterprise Modelling? An Explorative Study into Current Practice -- A Glimpse into CM3: Problem Management -- A Method Engineering Language for the Description of Systems Development Methods -- Flexible Support of Work Processes – Balancing the Support of Organisations and Workers. |
| Record Nr. | UNINA-9910143601503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Theory of Computation
(3587)
- Computer science (2122)
- Computers (1693)
- Artificial intelligence (1424)
- Artificial Intelligence (1409)