東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Computer aided systems theory -- EUR...

International Conference on Computer Aided Systems Theory (2022 :)

FindBook

Google Book

Amazon

博客來

Computer aided systems theory -- EUROCAST 2022 = 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Computer aided systems theory -- EUROCAST 2022/ edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia.
其他題名:	18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /
其他題名:	EUROCAST 2022
其他作者:	Moreno-Diaz, Roberto.
團體作者:	International Conference on Computer Aided Systems Theory
出版者:	Cham :Springer Nature Switzerland : : 2022.,
面頁冊數:	xxiv, 661 p. :ill., digital ;24 cm.
內容註:	Systems Theory and Applications -- Transdisciplinary Software Development for Early Crisis Detection -- Uncertainty and Ambiguity: Challenging Layers in Model Construction -- George J. Boole. A Nineteenth Century Man for the Modern Digital Era -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Theory and Applications of Metaheuristic Algorithms -- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing -- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints -- gate Modelling for MultiObjective Continuous Optimisation -- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization -- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance -- Dynamic Fitness Landscape Analysis -- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem -- Multi-day Container Drayage Problem with Active and Passive Vehicles -- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems -- A Mathematical Model and GRASP for a Tourist Trip Design Problem -- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters -- Shapley Value based Variable Interaction Networks for Data Stream Analysis -- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization -- Comparing Shape-Constrained Regression Algorithms for Data Validation -- Shape-constrained Symbolic Regression with NSGA-III -- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments -- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems -- Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification -- Model-Based System Design, Verification and Simulation -- Modeling Approaches for Cyber Attacks on Energy Infrastructure -- Simulation setup for a closed-loop regulation of neuro-muscular blockade -- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications -- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems -- Automata with Bounded Repetition in RE2 -- Integrating OSLC Services into Eclipse -- Developing an Application in the Forest for New Tourism Post COVID-19 -- GPU-Accelerated Synthesis of Probabilistic Programs -- Static Deadlock Detection in Low-Level C Code -- Applications of Signal Processing Technology -- 3D Ultrasound Fingertip Tracking -- An Artificial Skin from Conductive Rubber -- Neural Network Based Single-Carrier Frequency Domain Equalization -- Smooth Step Detection -- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen -- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- JKU-ITS Automobile for Research on Autonomous Vehicles -- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery -- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data -- Deep Learning Data Association Applied to Multi-Object Tracking Systems -- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment -- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings -- On Smart Mobility and Data Stream Mining -- Smart Vehicle Inspection -- Computer Vision, Machine Learning for Image Analysis and Applications -- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images -- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening -- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration -- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images -- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images -- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images -- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset -- Gait Recognition using 3D View-Transformation Model -- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles -- Drone Detection Using Deep Learning: A Benchmark Study -- Computer and Systems Based Methods and Electronic Technologies in Medicine -- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals -- A Comparison of Covariate Shift Detection Methods on Medical Datasets -- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery -- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts -- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection -- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster -- Designing sightseeing support system in Oku-Nikko using BLE beacon -- Systems in Industrial Robotics, Automation and IoT -- Mixed Reality HMI for Collaborative Robots -- A Digital Twin Demonstrator for Research and Teaching in Universities -- Robot System as a Testbed for AI Optimizations -- An Architecture for Deploying Reinforcement Learning in Industrial Environments -- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers -- Stepwise Sample Generation -- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs -- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems -- Improvements for mlrose Applied to the Traveling Salesperson Problem -- Survey on Radar Odometry -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Crisis Management in a Federation - Cybernetic Lessons from a Pandemic -- Using Archetypes to Teach Systems Thinking in an Engineering Master's Course -- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.
Contained By:	Springer Nature eBook
標題:	Computer-aided engineering - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-25312-6
ISBN:	9783031253126

Computer aided systems theory -- EUROCAST 2022 = 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /
Computer aided systems theory -- EUROCAST 202218th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /[electronic resource] :EUROCAST 2022edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia. - Cham :Springer Nature Switzerland :2022. - xxiv, 661 p. :ill., digital ;24 cm. - Lecture notes in computer science,137890302-9743 ;. - Lecture notes in computer science ;13789..

Systems Theory and Applications -- Transdisciplinary Software Development for Early Crisis Detection -- Uncertainty and Ambiguity: Challenging Layers in Model Construction -- George J. Boole. A Nineteenth Century Man for the Modern Digital Era -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Theory and Applications of Metaheuristic Algorithms -- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing -- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints -- gate Modelling for MultiObjective Continuous Optimisation -- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization -- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance -- Dynamic Fitness Landscape Analysis -- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem -- Multi-day Container Drayage Problem with Active and Passive Vehicles -- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems -- A Mathematical Model and GRASP for a Tourist Trip Design Problem -- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters -- Shapley Value based Variable Interaction Networks for Data Stream Analysis -- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization -- Comparing Shape-Constrained Regression Algorithms for Data Validation -- Shape-constrained Symbolic Regression with NSGA-III -- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments -- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems -- Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification -- Model-Based System Design, Verification and Simulation -- Modeling Approaches for Cyber Attacks on Energy Infrastructure -- Simulation setup for a closed-loop regulation of neuro-muscular blockade -- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications -- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems -- Automata with Bounded Repetition in RE2 -- Integrating OSLC Services into Eclipse -- Developing an Application in the Forest for New Tourism Post COVID-19 -- GPU-Accelerated Synthesis of Probabilistic Programs -- Static Deadlock Detection in Low-Level C Code -- Applications of Signal Processing Technology -- 3D Ultrasound Fingertip Tracking -- An Artificial Skin from Conductive Rubber -- Neural Network Based Single-Carrier Frequency Domain Equalization -- Smooth Step Detection -- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen -- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- JKU-ITS Automobile for Research on Autonomous Vehicles -- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery -- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data -- Deep Learning Data Association Applied to Multi-Object Tracking Systems -- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment -- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings -- On Smart Mobility and Data Stream Mining -- Smart Vehicle Inspection -- Computer Vision, Machine Learning for Image Analysis and Applications -- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images -- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening -- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration -- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images -- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images -- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images -- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset -- Gait Recognition using 3D View-Transformation Model -- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles -- Drone Detection Using Deep Learning: A Benchmark Study -- Computer and Systems Based Methods and Electronic Technologies in Medicine -- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals -- A Comparison of Covariate Shift Detection Methods on Medical Datasets -- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery -- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts -- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection -- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster -- Designing sightseeing support system in Oku-Nikko using BLE beacon -- Systems in Industrial Robotics, Automation and IoT -- Mixed Reality HMI for Collaborative Robots -- A Digital Twin Demonstrator for Research and Teaching in Universities -- Robot System as a Testbed for AI Optimizations -- An Architecture for Deploying Reinforcement Learning in Industrial Environments -- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers -- Stepwise Sample Generation -- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs -- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems -- Improvements for mlrose Applied to the Traveling Salesperson Problem -- Survey on Radar Odometry -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Crisis Management in a Federation - Cybernetic Lessons from a Pandemic -- Using Archetypes to Teach Systems Thinking in an Engineering Master's Course -- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.

This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20-25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.

ISBN: 9783031253126

Standard No.: 10.1007/978-3-031-25312-6doiSubjects--Topical Terms:

782529
Computer-aided engineering
--Congresses.

LC Class. No.: TA345

Dewey Class. No.: 620.00285

Computer aided systems theory -- EUROCAST 2022 = 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /
LDR:08701nmm a2200349 a 4500 001 2308095
003 DE-He213
005 20230209084505.0
006 m d
007 cr nn 008maaau
008 230526s2022 sz s 0 eng d
020 $a 9783031253126 $q (electronic bk.)
020 $a 9783031253119 $q (paper)
024 7 $a 10.1007/978-3-031-25312-6 $2 doi
035 $a 978-3-031-25312-6
040 $a GP $c GP
041 0 $a eng
050 4 $a TA345
072 7 $a UYM $2 bicssc
072 7 $a COM072000 $2 bisacsh
072 7 $a UYM $2 thema
082 0 4 $a 620.00285 $2 23
090 $a TA345 $b .I61 2022
111 2 $a International Conference on Computer Aided Systems Theory $n (18th : $d 2022 : $c Las Palmas, Canary Islands) $3 3614007
245 1 0 $a Computer aided systems theory -- EUROCAST 2022 $h [electronic resource] : $b 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers / $c edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia.
246 3 $a EUROCAST 2022
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2022.
300 $a xxiv, 661 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 13789
505 0 $a Systems Theory and Applications -- Transdisciplinary Software Development for Early Crisis Detection -- Uncertainty and Ambiguity: Challenging Layers in Model Construction -- George J. Boole. A Nineteenth Century Man for the Modern Digital Era -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Theory and Applications of Metaheuristic Algorithms -- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing -- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints -- gate Modelling for MultiObjective Continuous Optimisation -- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization -- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance -- Dynamic Fitness Landscape Analysis -- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem -- Multi-day Container Drayage Problem with Active and Passive Vehicles -- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems -- A Mathematical Model and GRASP for a Tourist Trip Design Problem -- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters -- Shapley Value based Variable Interaction Networks for Data Stream Analysis -- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization -- Comparing Shape-Constrained Regression Algorithms for Data Validation -- Shape-constrained Symbolic Regression with NSGA-III -- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments -- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems -- Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification -- Model-Based System Design, Verification and Simulation -- Modeling Approaches for Cyber Attacks on Energy Infrastructure -- Simulation setup for a closed-loop regulation of neuro-muscular blockade -- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications -- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems -- Automata with Bounded Repetition in RE2 -- Integrating OSLC Services into Eclipse -- Developing an Application in the Forest for New Tourism Post COVID-19 -- GPU-Accelerated Synthesis of Probabilistic Programs -- Static Deadlock Detection in Low-Level C Code -- Applications of Signal Processing Technology -- 3D Ultrasound Fingertip Tracking -- An Artificial Skin from Conductive Rubber -- Neural Network Based Single-Carrier Frequency Domain Equalization -- Smooth Step Detection -- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen -- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- JKU-ITS Automobile for Research on Autonomous Vehicles -- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery -- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data -- Deep Learning Data Association Applied to Multi-Object Tracking Systems -- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment -- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings -- On Smart Mobility and Data Stream Mining -- Smart Vehicle Inspection -- Computer Vision, Machine Learning for Image Analysis and Applications -- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images -- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening -- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration -- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images -- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images -- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images -- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset -- Gait Recognition using 3D View-Transformation Model -- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles -- Drone Detection Using Deep Learning: A Benchmark Study -- Computer and Systems Based Methods and Electronic Technologies in Medicine -- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals -- A Comparison of Covariate Shift Detection Methods on Medical Datasets -- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery -- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts -- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection -- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster -- Designing sightseeing support system in Oku-Nikko using BLE beacon -- Systems in Industrial Robotics, Automation and IoT -- Mixed Reality HMI for Collaborative Robots -- A Digital Twin Demonstrator for Research and Teaching in Universities -- Robot System as a Testbed for AI Optimizations -- An Architecture for Deploying Reinforcement Learning in Industrial Environments -- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers -- Stepwise Sample Generation -- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs -- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems -- Improvements for mlrose Applied to the Traveling Salesperson Problem -- Survey on Radar Odometry -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Crisis Management in a Federation - Cybernetic Lessons from a Pandemic -- Using Archetypes to Teach Systems Thinking in an Engineering Master's Course -- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.
520 $a This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20-25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.
650 0 $a Computer-aided engineering $x Congresses. $3 782529
650 0 $a Computer-aided design $x Congresses. $3 649281
650 0 $a System analysis $x Congresses. $3 535174
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 1 4 $a Computer Modelling. $3 3538541
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Computer Communication Networks. $3 775497
700 1 $a Moreno-Diaz, Roberto. $3 700263
700 1 $a Pichler, Franz. $3 893411
700 1 $a Quesada-Arencibia, Alexis. $3 1568316
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 13789. $3 3614008
856 4 0 $u https://doi.org/10.1007/978-3-031-25312-6
950 $a Computer Science (SpringerNature-11645)