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.
Computational Collective Intelligence [[electronic resource] ] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings / / edited by Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
| Computational Collective Intelligence [[electronic resource] ] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings / / edited by Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz |
| Autore | Nguyen Ngoc Thanh |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (859 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BotzheimJános
GulyásLászló NúñezManuel TreurJan VossenGottfried KozierkiewiczAdrianna |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Data structures (Computer science) Information theory Computer science Artificial Intelligence Computer Engineering and Networks Computer Communication Networks Data Structures and Information Theory Theory of Computation |
| ISBN | 3-031-41456-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Collective Intelligence and Collective Decision-Making -- Hybrid Genetic Algorithms to Determine 2-Optimality Consensus for a Collective of Ordered Partitions -- From Fragmented Data to Collective Intelligence: A Data Fabric Approach for University Knowledge Management -- An Architecture for Enabling Collective Intelligence in IoT Networks -- Self-Organizing Maps for Data Purchase Support in Data Marketplaces -- Agent based model of elementary school group learning – a case study -- Deep Learning Techniques -- Deep Reinforcement Learning for Jointly Resource Allocation and Trajectory Planning in UAV-assisted Networks -- DNGAE: Deep Neighborhood Graph Autoencoder for robust blind hyperspectral unmixing -- Unlocking the Potential of Deep Learning and Filter Gabor for Facial Emotion Recognition -- Graph Convolution Collaborative Filtering with Dense Embeddings -- Automatic Quantization for Convolutional Neural Networks Based on Enhanced Bare-Bones Particle Swarm Optimization for Chest X-ray Image Classification -- A Convolutional Autoencoder Approach for Weakly Supervised Anomaly Video Detection -- Sparsity-invariant Convolution for Forecasting Irregularly Sampled Time Series -- Efficient Sparse Networks from Watts-Strogatz Network Priors -- Natural Language Processing -- Exploring the Role of Monolingual Data in Cross-Attention Pre-Training for Neural Machine Translation -- Development of a dictionary for preschool children with weak speech skills based on the Word2Vec method -- An abstractive automatic summarization approach based on a text comprehension model of cognitive psychology -- Detecting Duplicate Multiple Choice Questions in The Large Question Bank -- A Context-Aware Approach for Improving Dialog Act Detection in a Multilingual Conversational Platform -- Data Minning and Machine learning -- Efficient Association Rules Minimization Using a Double-Stage Quine-McCluskey-Based Approach -- Complexity-Based Code Embeddings -- Differentially Private Copulas, DAG and Hybrid Methods: a Comprehensive Data Utility Study -- Analysing Android Apps Classification and Categories Validation by using Latent Dirichlet Allocation -- Staircase Recognition based on Possibilistic Feature Quality Assessment Method -- Social Networks and Intelligent Systems -- Toward effective link prediction based on local information in organizational social networks -- A new topic modeling method for tweets comparison -- Measuring gender: A machine learning approach to social media demographics and author profiling -- Crisis Detection by Social and Remote Sensing Fusion: A selective Attention Approach -- Educational Videos Recommendation System Based On Topic Modeling -- Cybersecurity, Blockchain Technology and Internet of Things -- A Two-hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems -- Trust Assessment on Data Stream Imputation in IoT Environments -- Optimizing Merkle Tree Structure for Blockchain transactions by a DC Programming approach -- Wearable Tag for Indoor Localization in the context of Ambient Assisted Living -- Hyperledger blockchain-enabled cold chain application for flower logistics -- A Fully Decentralized Privacy-Enabled Federated Learning System -- Cooperative Strategies for Decision Making and Optimization -- Two-dimensional Pheromone in Ant Colony Optimization -- Analysis of different reinsertion strategies in Steady State Genetic Algorithm -- Traffic Optimization by Local Bacterial Memetic Algorithm -- Optimizing Fire Control Monitoring System in Smart Cities -- Computational Intelligence for Digital Content Understanding -- Desertification Detection in Satellite Images using Siamese Variational Autoencoder with Transfer Learning -- Speaker Identification Enhancement Using Emotional Features -- Classification of punches in Olympic boxing using static RGB cameras -- Learning Human Postures using Lab-Depth HOG Descriptors -- SemiMemes: A Semi-supervised Learning Approach for Multimodal Memes Analysis -- Extrinsic Calibration Framework for Camera-Lidar Fusion using Recurrent Residual Network -- GAN-based Data Augmentation and Pseudo-Label Refinement for Unsupervised Domain Adaptation Person Re-Identification -- Intelligent Automated Pancreas Segmentation using U-Net Model Variants -- Knowledge Engineering and Apllication for Industry 4.0 -- Energy and Congestion Awareness Traffic Scheduling in Hybrid Software-Defined Network with Flow Splitting -- "Is Proton good enough?" - a performance comparison between gaming on Windows and Linux -- Complete Coverage and Path Planning for Emergency Response by UAVs in Disaster Areas -- Complete Coverage and Path Planning for Emergency Response by UAVs in Disaster Areas -- Complex layers of ranked prognostic models -- Project Team Members competences configuration: a proactive and reactive approach -- Computational Intelligence in Medical Applications -- Teeth disease recognition based on X-ray images -- Predicting Alzheimer’s Disease Diagnosis Risk over Time with Survival Machine Learning on the ADNI Cohort -- MEP: A Comprehensive Medicines Extraction System on Prescriptions -- New Approaches to Monitoring Respiratory Activity as Part of an Intelligent Model for Stress Assessment -- An Adaptive Network Model for Anorexia Nervosa: Addressing the Effects of Therapy -- ReVQ-VAE: A Vector Quantization-Variational Autoencoder for COVID-19 chest X-Ray image -- Ensemble Models and Data Fusion -- Credit Risk Scoring Using a Data Fusion Approach -- Goal-oriented Classification of Football Results -- Learning from Imbalanced Data Streams Using Rotation-based Ensemble Classifiers -- DE-Forest – optimized decision tree ensemble -- Mining multiple class imbalanced datasets using a specialized balancing algorithm and the Adaboost technique -- Investigation and prediction of Cognitive Load During Memory and Arithmetic Tasks. |
| Record Nr. | UNISA-996550558803316 |
Nguyen Ngoc Thanh
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Collective Intelligence [[electronic resource] ] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings / / edited by Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz
| Computational Collective Intelligence [[electronic resource] ] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings / / edited by Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz |
| Autore | Nguyen Ngoc Thanh |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (859 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BotzheimJános
GulyásLászló NúñezManuel TreurJan VossenGottfried KozierkiewiczAdrianna |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Data structures (Computer science) Information theory Computer science Artificial Intelligence Computer Engineering and Networks Computer Communication Networks Data Structures and Information Theory Theory of Computation |
| ISBN | 3-031-41456-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Collective Intelligence and Collective Decision-Making -- Hybrid Genetic Algorithms to Determine 2-Optimality Consensus for a Collective of Ordered Partitions -- From Fragmented Data to Collective Intelligence: A Data Fabric Approach for University Knowledge Management -- An Architecture for Enabling Collective Intelligence in IoT Networks -- Self-Organizing Maps for Data Purchase Support in Data Marketplaces -- Agent based model of elementary school group learning – a case study -- Deep Learning Techniques -- Deep Reinforcement Learning for Jointly Resource Allocation and Trajectory Planning in UAV-assisted Networks -- DNGAE: Deep Neighborhood Graph Autoencoder for robust blind hyperspectral unmixing -- Unlocking the Potential of Deep Learning and Filter Gabor for Facial Emotion Recognition -- Graph Convolution Collaborative Filtering with Dense Embeddings -- Automatic Quantization for Convolutional Neural Networks Based on Enhanced Bare-Bones Particle Swarm Optimization for Chest X-ray Image Classification -- A Convolutional Autoencoder Approach for Weakly Supervised Anomaly Video Detection -- Sparsity-invariant Convolution for Forecasting Irregularly Sampled Time Series -- Efficient Sparse Networks from Watts-Strogatz Network Priors -- Natural Language Processing -- Exploring the Role of Monolingual Data in Cross-Attention Pre-Training for Neural Machine Translation -- Development of a dictionary for preschool children with weak speech skills based on the Word2Vec method -- An abstractive automatic summarization approach based on a text comprehension model of cognitive psychology -- Detecting Duplicate Multiple Choice Questions in The Large Question Bank -- A Context-Aware Approach for Improving Dialog Act Detection in a Multilingual Conversational Platform -- Data Minning and Machine learning -- Efficient Association Rules Minimization Using a Double-Stage Quine-McCluskey-Based Approach -- Complexity-Based Code Embeddings -- Differentially Private Copulas, DAG and Hybrid Methods: a Comprehensive Data Utility Study -- Analysing Android Apps Classification and Categories Validation by using Latent Dirichlet Allocation -- Staircase Recognition based on Possibilistic Feature Quality Assessment Method -- Social Networks and Intelligent Systems -- Toward effective link prediction based on local information in organizational social networks -- A new topic modeling method for tweets comparison -- Measuring gender: A machine learning approach to social media demographics and author profiling -- Crisis Detection by Social and Remote Sensing Fusion: A selective Attention Approach -- Educational Videos Recommendation System Based On Topic Modeling -- Cybersecurity, Blockchain Technology and Internet of Things -- A Two-hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems -- Trust Assessment on Data Stream Imputation in IoT Environments -- Optimizing Merkle Tree Structure for Blockchain transactions by a DC Programming approach -- Wearable Tag for Indoor Localization in the context of Ambient Assisted Living -- Hyperledger blockchain-enabled cold chain application for flower logistics -- A Fully Decentralized Privacy-Enabled Federated Learning System -- Cooperative Strategies for Decision Making and Optimization -- Two-dimensional Pheromone in Ant Colony Optimization -- Analysis of different reinsertion strategies in Steady State Genetic Algorithm -- Traffic Optimization by Local Bacterial Memetic Algorithm -- Optimizing Fire Control Monitoring System in Smart Cities -- Computational Intelligence for Digital Content Understanding -- Desertification Detection in Satellite Images using Siamese Variational Autoencoder with Transfer Learning -- Speaker Identification Enhancement Using Emotional Features -- Classification of punches in Olympic boxing using static RGB cameras -- Learning Human Postures using Lab-Depth HOG Descriptors -- SemiMemes: A Semi-supervised Learning Approach for Multimodal Memes Analysis -- Extrinsic Calibration Framework for Camera-Lidar Fusion using Recurrent Residual Network -- GAN-based Data Augmentation and Pseudo-Label Refinement for Unsupervised Domain Adaptation Person Re-Identification -- Intelligent Automated Pancreas Segmentation using U-Net Model Variants -- Knowledge Engineering and Apllication for Industry 4.0 -- Energy and Congestion Awareness Traffic Scheduling in Hybrid Software-Defined Network with Flow Splitting -- "Is Proton good enough?" - a performance comparison between gaming on Windows and Linux -- Complete Coverage and Path Planning for Emergency Response by UAVs in Disaster Areas -- Complete Coverage and Path Planning for Emergency Response by UAVs in Disaster Areas -- Complex layers of ranked prognostic models -- Project Team Members competences configuration: a proactive and reactive approach -- Computational Intelligence in Medical Applications -- Teeth disease recognition based on X-ray images -- Predicting Alzheimer’s Disease Diagnosis Risk over Time with Survival Machine Learning on the ADNI Cohort -- MEP: A Comprehensive Medicines Extraction System on Prescriptions -- New Approaches to Monitoring Respiratory Activity as Part of an Intelligent Model for Stress Assessment -- An Adaptive Network Model for Anorexia Nervosa: Addressing the Effects of Therapy -- ReVQ-VAE: A Vector Quantization-Variational Autoencoder for COVID-19 chest X-Ray image -- Ensemble Models and Data Fusion -- Credit Risk Scoring Using a Data Fusion Approach -- Goal-oriented Classification of Football Results -- Learning from Imbalanced Data Streams Using Rotation-based Ensemble Classifiers -- DE-Forest – optimized decision tree ensemble -- Mining multiple class imbalanced datasets using a specialized balancing algorithm and the Adaboost technique -- Investigation and prediction of Cognitive Load During Memory and Arithmetic Tasks. |
| Record Nr. | UNINA-9910746086503321 |
|
Nguyen Ngoc Thanh
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński
| Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXII, 661 p. 220 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Application software Information storage and retrieval Algorithms Education—Data processing Artificial Intelligence Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity Computers and Education |
| ISBN | 3-319-24306-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-agent systems -- Social networks and NLP -- Sentiment analysis.-Computational intelligence and games -- Ontologies and information extraction.-Formal methods and simulation -- Neural networks, SMT and MIS -- Collective intelligence in Web systems – Web systems analysis -- Computational swarm intelligence -- Cooperative strategies for decision making and optimization.-Advanced networking and security technologies -- IT in biomedicine -- Collective computational intelligence in educational context -- Science intelligence and data analysis -- Computational intelligence in financial markets -- Ensemble learning -- Big data mining and searching. |
| Record Nr. | UNINA-9910483070103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński
| Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXII, 661 p. 220 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Application software Information storage and retrieval Algorithms Education—Data processing Artificial Intelligence Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity Computers and Education |
| ISBN | 3-319-24306-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-agent systems -- Social networks and NLP -- Sentiment analysis.-Computational intelligence and games -- Ontologies and information extraction.-Formal methods and simulation -- Neural networks, SMT and MIS -- Collective intelligence in Web systems – Web systems analysis -- Computational swarm intelligence -- Cooperative strategies for decision making and optimization.-Advanced networking and security technologies -- IT in biomedicine -- Collective computational intelligence in educational context -- Science intelligence and data analysis -- Computational intelligence in financial markets -- Ensemble learning -- Big data mining and searching. |
| Record Nr. | UNISA-996466319403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński
| Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXVIII, 515 p. 140 illus. in color.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Application software Information storage and retrieval Algorithms Education—Data processing Artificial Intelligence Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity Computers and Education |
| ISBN | 3-319-24069-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-agent systems -- Social networks and NLP -- Sentiment analysis -- Computational intelligence and games -- Ontologies and information extraction -- Formal methods and simulation -- Neural networks, SMT and MIS -- Collective intelligence in Web systems – Web systems analysis.-Computational swarm intelligence -- Cooperative strategies for decision making and optimization.-Advanced networking and security technologies -- IT in biomedicine -- Collective computational intelligence in educational context -- Science intelligence and data analysis -- Computational intelligence in financial markets -- Ensemble learning -- Big data mining and searching. |
| Record Nr. | UNINA-9910483333203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński
| Computational Collective Intelligence [[electronic resource] ] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXVIII, 515 p. 140 illus. in color.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Application software Information storage and retrieval Algorithms Education—Data processing Artificial Intelligence Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Information Storage and Retrieval Algorithm Analysis and Problem Complexity Computers and Education |
| ISBN | 3-319-24069-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-agent systems -- Social networks and NLP -- Sentiment analysis -- Computational intelligence and games -- Ontologies and information extraction -- Formal methods and simulation -- Neural networks, SMT and MIS -- Collective intelligence in Web systems – Web systems analysis.-Computational swarm intelligence -- Cooperative strategies for decision making and optimization.-Advanced networking and security technologies -- IT in biomedicine -- Collective computational intelligence in educational context -- Science intelligence and data analysis -- Computational intelligence in financial markets -- Ensemble learning -- Big data mining and searching. |
| Record Nr. | UNISA-996466468603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Industrial Critical Systems [[electronic resource] ] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / / edited by Manuel Núñez, Matthias Güdemann
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / / edited by Manuel Núñez, Matthias Güdemann |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 213 p. 61 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Software engineering Special purpose computers Mathematical logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-319-19458-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications.- Protocols -- Specification and analysis -- Verification. |
| Record Nr. | UNINA-9910484901603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Industrial Critical Systems [[electronic resource] ] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / / edited by Manuel Núñez, Matthias Güdemann
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / / edited by Manuel Núñez, Matthias Güdemann |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 213 p. 61 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Software engineering Special purpose computers Mathematical logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-319-19458-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications.- Protocols -- Specification and analysis -- Verification. |
| Record Nr. | UNISA-996200020203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / / David de Frutos-Escrig, Manuel Núñez, editors
| Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / / David de Frutos-Escrig, Manuel Núñez, editors |
| Pubbl/distr/stampa | Springer Berlin / Heidelberg |
| Altri autori (Persone) |
NúñezManuel
Frutos-EscrigDavid de |
| Soggetto topico |
Formal methods (Computer science)
Electronic data processing - Distributed processing Computer network protocols |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910144349203321 |
| Springer Berlin / Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / / David de Frutos-Escrig, Manuel Núñez, editors
| Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / / David de Frutos-Escrig, Manuel Núñez, editors |
| Pubbl/distr/stampa | Springer Berlin / Heidelberg |
| Altri autori (Persone) |
NúñezManuel
Frutos-EscrigDavid de |
| Soggetto topico |
Formal methods (Computer science)
Electronic data processing - Distributed processing Computer network protocols |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465319403316 |
| Springer Berlin / Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
