Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings, de Boer Frank, Cerone Antonio


Варианты приобретения
Цена: 7685.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: de Boer Frank, Cerone Antonio
Название:  Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
ISBN: 9783030587673
Издательство: Springer
Классификация:



ISBN-10: 3030587673
Обложка/Формат: Paperback
Страницы: 325
Вес: 0.48 кг.
Дата издания: 12.09.2020
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 63 illustrations, color; 576 illustrations, black and white; xiv, 325 p. 639 illus., 63 illus. in color.
Размер: 23.39 x 15.60 x 1.80 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 18th international conference, sefm 2020, amsterdam, the netherlands, september 14-18, 2020, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.


Haptics: Science, Technology, Applications: 12th International Conference, Eurohaptics 2020, Leiden, the Netherlands, September 6-9, 2020, Proceedings

Автор: Nisky Ilana, Hartcher-O`Brien Jess, Wiertlewski Michaлl
Название: Haptics: Science, Technology, Applications: 12th International Conference, Eurohaptics 2020, Leiden, the Netherlands, September 6-9, 2020, Proceedings
ISBN: 3030581462 ISBN-13(EAN): 9783030581466
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The were organized in topical sections on haptic science, haptic technology, and haptic applications.

Computational Logistics: 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings

Автор: Lalla-Ruiz Eduardo, Mes Martijn, VoЯ Stefan
Название: Computational Logistics: 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings
ISBN: 3030597466 ISBN-13(EAN): 9783030597467
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 11th International Conference on Computational Logistics, ICCL 2020, held in Enschede, The Netherlands, in September 2020.The 49 papers included in this book were carefully reviewed and selected from 73 submissions.

Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re

Автор: Camara Javier, Steffen Martin
Название: Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re
ISBN: 3030575055 ISBN-13(EAN): 9783030575052
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;

Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings

Автор: Arbab Farhad, Jongmans Sung-Shik
Название: Formal Aspects of Component Software: 16th International Conference, Facs 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings
ISBN: 3030409139 ISBN-13(EAN): 9783030409135
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Logic.- Formal Methods.- Programming Languages.- Semantics.- Software Engineering.- Specifications.- Theorem Proving.

Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings

Автор: Larsen Kim Guldstrand, Willemse Tim
Название: Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings
ISBN: 3030270076 ISBN-13(EAN): 9783030270070
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.

Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Автор: Ter Beek Maurice H., Ničkovic Dejan
Название: Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings
ISBN: 3030582973 ISBN-13(EAN): 9783030582975
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings

Автор: Abate Alessandro, Petrov Tatjana, Wolf Verena
Название: Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings
ISBN: 3030603261 ISBN-13(EAN): 9783030603267
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part I

Автор: Krzhizhanovskaya Valeria V., Zбvodszky Gбbor, Lees Michael H.
Название: Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part I
ISBN: 3030503704 ISBN-13(EAN): 9783030503703
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: ICCS Main Track.- An efficient new static scheduling heuristic for accelerated architectures.- Multilevel Parallel Computations for Solving Multistage Multicriteria Optimization Problems.- Enabling Hardware Affinity in JVM-based Applications: A Case Study for Big Data.- An optimizing multi-platform source-to-source compiler framework for the NEURON MODeling Language.- Parallel numerical solution of a 2D Chemotaxis-Stokes system on GPUs technology.- Automatic management of cloud applications with use of Proximal Policy Optimization.- Utilizing GPU Performance Counters to Characterize GPU Kernels via Machine Learning.- A massively parallel algorithm for the three-dimensional Navier-Stokes-Boussinesq simulations of the atmospheric phenomena.- Reconstruction of Low Energy Neutrino Events with GPUs at IceCube.- Cache-Aware Matrix Polynomials.- QEScalor: Quantitative Elastic Scaling Framework in Distributed Streaming Processing.- From Conditional Independence to Parallel Execution in Hierarchical Models.- Improving performance of the Hypre iterative solver for Uintah combustion codes on manycore architectures using MPI Endpoints and Kernel Consolidation.- Analysis of Checkpoint I/O behavior.- Enabling EASEY deployment of containerized applications for future HPC systems.- Reproducibility of computational experiments on Kubernetes-managed container clouds with HyperFlow.- GPU-accelerated RDP Algorithm for Data Segmentation.- Sparse Matrix-Based HPC Tomography.- heFFTe: Highly Efficient FFT for Exascale.- Scalable Workflow-Driven Hydrologic Analysis in HydroFrame.- Patient-specific cardiac parametrization from Eikonal simulations.- An Empirical Analysis of Predictors for Workload Estimation in Healthcare.- How You Say Or What You Say? Neural Activity in Message Credibility Evaluation.- Look Who's Talking: Modeling Decision Making Based on Source Credibility.- An Adaptive Network Model for Burnout and Dreaming.- Computational Analysis of the Adaptive Causal Relationships between Cannabis, Anxiety and Sleep.- Detecting Critical Transitions in the Human Innate Immune System Post-Cardiac Surgery.- Using individual-based models to look beyond the horizon: the changing effects of household-based clustering of susceptibility to measles in the next 20 years.- Modelling the effects of antibiotics on gut flora using a nonlinear compartment model with uncertain parameters.- Stochastic volatility and early warning indicator.- Boost and Burst: Bubbles in the Bitcoin Market.- Estimation of tipping points for critical and transitional regimes in the evolution of complex interbank network.- Modeling of Fire Spread including Different Heat Transfer Mechanisms using Cellular Automata.- Narrow passage problem solution for motion planning.- Fault Injection, Detection and Treatment in Simulated Autonomous Vehicles.- Using Cellular Automata to Model High Density Pedestrian Dynamics.- Autonomous Vehicles as Local Traffic Optimizers.- Modeling Helping Behavior in Emergency Evacuations using Volunteer's Dilemma Game.- Learning Mixed Traffic Signatures in Shared Networks.- A Novel Metric to Evaluate In Situ Workflows.- Social Recommendation in Dynamic Evolving Relation Network.- DDNE: Discriminative Distance Metric Learning for Network Embedding.- Extracting Backbone Structure of a Road Network from Raw Data.- Look Deep into the New Deep Network: A Measurement Study on the ZeroNet.- Identifying influential spreaders on a weighted network using HookeRank method.- Community aware models of meme spreading in micro-blog social networks.- Dynamic Vote-Rank Based Approach for Effective Sequential Initialization of Information Spreading Processes within Complex Networks.- On the Planarity of Validated Complexes of Model Organisms in Protein-Protein Interaction Networks.- Towards Modeling of Information Processing within Business-Processes of Service-Providing Organizations.- A Probabilistic Infection Model for Efficien

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part III

Автор: Krzhizhanovskaya Valeria V., Zбvodszky Gбbor, Lees Michael H.
Название: Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part III
ISBN: 3030504190 ISBN-13(EAN): 9783030504199
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Advances in High-Performance Computational Earth Sciences: Applications and Frameworks.- Data-Driven Approach to Inversion Analysis of Three-dimensional Inner Soil Structure via Wave Propagation Analysis.- Data assimilation in volcano deformation using fast finite element analysis with high fidelity model.- Optimization and Local Time Stepping of an ADER-DG Scheme for Fully Anisotropic Wave Propagation in Complex Geometries.- The challenge of onboard SAR processing: a GPU opportunity.- High-resolution Source Estimation of Volcanic Sulfur Dioxide Emissions Using Large Scale Transport Simulations.- Granulation-based reverse image retrieval for microscopic rock images.- Hybrid SWAN for fast and efficient practical wave modelling - part 2.- Agent-Based Simulations, Adaptive Algorithms and Solvers.- An agent-based simulation of the spread of Dengue fever.- Hypergraph grammar-based model of adaptive bitmap compression.- Simulation of Neurotransmitter Flow in Three Dimensional Model of Presynaptic Bouton.- Scalable Signal-based Simulation of Autonomous Beings in Complex Environments.- Design of Loss Functions for Solving Inverse Problems using Deep Learning.- Asynchronous Actor-based Approach to Multiobjective Hierarchical Strategy.- MeshingNet: A New Mesh Generation Method based on Deep Learning.- A block preconditioner for scalable large scale finite element incompressible flow simulations.- Integrating Agent-Based Modelling with Copula Theory: Preliminary Insights and Open Problems.- Computational complexity of hierarchically adapted meshes.- A Novel Bio-inspired Hybrid Metaheuristic for Unsolicited Bulk Email Detection.- Applications of Computational Methods in Artificial Intelligence and Machine Learning.- Link Prediction by Analyzing Temporal Behavior of Vertices.- Detecting Most Insightful Parts of Documents using an Attention-Based Model.- Challenge Collapsar(CC) Attack Traffic Detection based on Packet Field Differentiated Preprocessing and Deep Neural Network.- Deep Low-Density Separation for Semi-Supervised Classification.- Learning functions using data-dependent regularization: Representer theorem revisited.- Reduction of Numerical Errors in Zernike Invariants Computed via Complex-Valued Integral Images.- Effect of Dataset Size on Efficiency of Collaborative Filtering Recommender Systems with Multi-Clustering as a Neighbourhood Identification Strategy.- GCN-IA: User Profile Based on Graph Convolutional Network with Implicit Association Labels.- Interval Adjoint Significance Analysis for Neural Networks.- Ringer: Systematic Mining of Malicious Domains by Dynamic Graph Convolutional Network.- An Empirical Evaluation Of Attention And Pointer Networks For Paraphrase Generation.- Interval methods for seeking fixed points of recurrent neural networks.- Fusion Learning: A One Shot Federated Learning.- The concept of system for automated scientific literature reviews generation.- A Proposed Machine Learning Model for Forecasting Impact of Traffic-Induced Vibrations on Buildings.- Retrain or not retrain ? - efficient pruning methods of deep CNN networks.- Hidden Markov Models and their Application for Predicting Failure Events.- Biomedical and Bioinformatics Challenges for Computer Science.- Reference-based Haplotype Phasing with FPGAs.- Tree Based Advanced Relative Expression Analysis.- Testing the significance of interactions in genetic studies using interaction information and resampling technique.- Analysis of ensemble feature selection for correlated high-dimensional RNA-Seq cancer data.- Biological Network Visualization for Targeted Proteomics based on Mean First-Passage Time in Semi-Lazy Random Walks.- Bootstrap Bias Corrected Cross Validation applied to Super Learning.- MMRF-CoMMpass data integration and analysis for identifying prognostic markers.- Using machine learning in accuracy assessment of knowledge-based energy and frequency base likelihood in pro

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part VII

Автор: Krzhizhanovskaya Valeria V., Zбvodszky Gбbor, Lees Michael H.
Название: Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part VII
ISBN: 3030504352 ISBN-13(EAN): 9783030504359
Издательство: Springer
Рейтинг:
Цена: 13695.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Simulations of Flow and Transport: Modeling, Algorithms and Computation.- Decoupled and energy stable time-marching scheme for the interfacial flow with soluble surfactants.- A Numerical Algorithm to Solve the Two-Phase Flow in Porous Media Including Foam Displacement.- A three-dimensional, one-field, fictitious domain method for fluid-structure interactions.- Multi Axes Sliding Mesh Approach for Compressible Viscous Flows.- Monolithic arbitrary Lagrangian-Eulerian finite element method for a multi-domain blood flow-aortic wall interaction problem.- Morphing Numerical Simulation of Incompressible Flows Using Seamless Immersed Boundary Method.- deal.II Implementation of a Two-field Finite Element Solver for Poroelasticity.- Numerical Investigation of Solute Transport in Fractured Porous Media Using the Discrete Fracture Model.- Adaptive multiscale model reduction for nonlinear parabolic equations using GMsFEM.- Parallel Shared-Memory Isogeometric Residual Minimization (iGRM) for Three-Dimensional Advection-Diffusion Problems.- Numerical simulation of heat transfer in an enclosure with time-periodic heat generation using finite-difference method.- Development of an Object-Oriented Programming Tool based on FEM for Numerical Simulation of Mineral-Slurry Transport.- Descending Flight Simulation of Tiltrotor Aircraft at Different Descent Rates.- The quantization algorithm impact in hydrological applications: preliminary results.- An Expanded Mixed Finite Element Method for Space Fractional Darcy Flow in Porous Media.- Prediction of the Free Jet Noise Using Quasi-Gas Dynamic Equations and Acoustic Analogy.- Simulation Based Exploration of Bacterial Cross Talk Between Spatially Separated Colonies in A Multispecies Biofilm Community.- Massively Parallel Stencil Code for Radiation Transport Moment Model Simulations.- Hybrid Mixed Methods Applied to Miscible Displacements with Adverse Mobility Ratio.- Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning.- Learn More from Context: Joint Modeling of Local and Global Attention for Aspect Sentiment Classification.- ArtPDGAN: Creating Artistic Pencil Drawing With Key Map Using Generative Adversarial Networks.- Interactive travel aid for the visually impaired - from depth maps to sonic patterns and verbal messages.- Ontology-Driven Edge Computing.- Combined Metrics for Quality Assessment of 3D Printed Surfaces for Aesthetic Purposes: Towards Higher Accordance with Subjective Evaluations.- Path Markup Language for Indoor Navigation.- Smart Fire Alarm System with Person Detection and Thermal Camera.- Data Mining for Thermal Analysis of Big Dataset of HPC-Data Center.- A comparison of multiple objective algorithms in the context of a dial a ride problem.- Software Engineering for Computational Science.- Lessons learned in a decade of research software engineering GPU applications.- Unit Tests of Scientific Software: A Study on SWMM.- NUMA-Awareness as a Plug-In for an Eventify-based Fast Multipole Method.- Boosting Group-level Synergies by Using a Shared Modeling Framework.- Testing Research Software: A Case Study.- APE: A Command-Line Tool and API for Automated Workflow Composition.- Solving Problems with Uncertainties.- An ontological approach to Knowledge Building by Data Integration.- A Simple Stochastic Process Model for River Environmental Assessment under Uncertainty.- A posteriori error estimation via differences of numerical solutions.- Global Sensitivity Analysis of Various Numerical Schemes for the Heston Model.- Robust single machine scheduling with random blocks in an uncertain environment.- Empirical Analysis of Stochastic Methods of Linear Algebra.- Wind field parallelization based on Python multiprocessing to reduce forest fire propagation prediction uncertainty.- Risk Profiles of Financial Service Portfolio for Women Segment using Machine Learning Algorithms.- Multidimensio

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part IV

Автор: Krzhizhanovskaya Valeria V., Zбvodszky Gбbor, Lees Michael H.
Название: Computational Science - Iccs 2020: 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part IV
ISBN: 3030504220 ISBN-13(EAN): 9783030504229
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Classifier Learning from Difficult Data.- Different strategies of fitting logistic regression for positive and unlabelled data.- Branch-and-Bound Search for Training Cascades of Classifiers.- Application of the stochastic gradient method in the construction of the main components of PCA in the task diagnosis of multiple sclerosis in children.- Grammatical Inference by Answer Set Programming.- Dynamic Classifier Selection for data with skewed class distribution using Imbalance Ratio and Euclidean distance.- On Model Evaluation under Non-constant Class Imbalance.- A Correction Method of a Base Classifier Applied to Imbalanced Data Classification.- Standard Decision Boundary in a support-domain of fuzzy classifier prediction for the task of imbalanced data classification.- Employing One-class SVM Classifier Ensemble for Imbalanced Data Stream Classification.- Clustering and Weighted Scoring in Geometric Space Support Vector Machine Ensemble for Highly Imbalanced Data Classification.- Performance Analysis of Binarization Strategies for Multi-Class Imbalanced Data Classification.- Towards Network Anomaly Detection Using Graph Embedding.- Maintenance and Security System for PLC Railway LED Sign Communication Infrastructure.- Behavioral Biometric User Authentication from URL Logs.- On the impact of network data balancing in cybersecurity applications.- Pattern recognition model to aid the optimization of Dynamic Spectrally-Spatially Flexible Optical Networks.- Missing Features Reconstruction Using a Wasserstein Generative Adversarial Imputation Network.- Complex Social Systems through the Lens of Computational Science.- Cooperation for public goods under uncertainty.- An Information-Theoretic and Dissipative Systems Approach to the Study of Knowledge Diffusion and Emerging Complexity in Innovation Systems.- Mapping the port influence diffusion patterns: a case study of Rotterdam, Antwerp and Singapore.- Entropy-based Measure for Influence Maximization in Temporal Networks.- Evaluation of the Costs of Delayed Campaigns for Limiting the Spread of Negative Content, Panic and Rumours in Complex Networks.- From generality to specificity: on matter of scale in social media topic Communities.- Computational Health.- Hybrid Text Feature Modeling for Disease Group Prediction using Unstructured Physician Notes.- Early signs of critical slowing down in heart surface electrograms of ventricular fibrillation victims.- A Comparison of Generalized Stochastic Milevsky-Promislov Mortality Models with continuous non-Gaussian Filters.- Ontology-Based Inference for Supporting Clinical Decisions in Mental Health.- Towards Prediction of Heart Arrhythmia Onset Using Machine Learning.- Stroke ICU Patient Mortality Day Prediction.- Universal measure for medical image quality evaluation based on gradient approach.- Constructing Holistic Patient Flow Simulation Using System Approach.- Investigating Coordination of Hospital Departments in Delivering Healthcare for Acute Coronary Syndrome Patients using Data-Driven Network Analysis.- A Machine Learning Approach To Short-term Body Weight Prediction In A Dietary Intervention Program.- An analysis of demographic data in Irish healthcare domain to support semantic uplift.- From Population to Subject-Specific Reference Intervals.- Analyzing the spatial distribution of acute coronary syndrome cases using synthesized data on arterial hypertension prevalence.- The Atrial Fibrillation Risk Score for Hyperthyroidism Patients.- Applicability of Machine Learning Methods to Multi-Label Medical Text Classification.- Machine Learning Approach for the Early Prediction of the Risk of Overweight and Obesity in Young People.- Gait Abnormality Detection in People with Cerebral Palsy using an Uncertainty-based State-space Model.- Analyses of public health databases via clinical pathway modelling: TBWEB.- Preliminary results on Pulmonary Tuberculosis detection in Chest X-Ray us

Parallel Problem Solving from Nature - Ppsn XVI: 16th International Conference, Ppsn 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings,

Автор: Bдck Thomas, Preuss Mike, Deutz Andrй
Название: Parallel Problem Solving from Nature - Ppsn XVI: 16th International Conference, Ppsn 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings,
ISBN: 303058111X ISBN-13(EAN): 9783030581114
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 submissions.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия