Language and Automata Theory and Applications: 14th International Conference, Lata 2020, Milan, Italy, March 4-6, 2020, Proceedings, Leporati Alberto, Martнn-Vide Carlos, Shapira Dana

Автор: Mata-Rivera Miguel Felix, Zagal-Flores Roberto, Arellano Verdejo Javier
Название: GIS Latam: First Conference, GIS Latam 2020, Mexico City, Mexico, September 28-30, 2020, Proceedings
ISBN: 3030598713 ISBN-13(EAN): 9783030598716
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the First GIS LATAM Conference, GIS LATAM 2020, held in September 2020. The 9 full papers and 2 short papers were thoroughly reviewed and selected from 29 submissions.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part II
ISBN: 3030588017 ISBN-13(EAN): 9783030588014
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part IV
ISBN: 3030588106 ISBN-13(EAN): 9783030588106
Издательство: Springer
Рейтинг:
Цена: 113660.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VI
ISBN: 3030588165 ISBN-13(EAN): 9783030588168
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part I
ISBN: 3030587983 ISBN-13(EAN): 9783030587987
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part III
ISBN: 3030588076 ISBN-13(EAN): 9783030588076
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII
ISBN: 303058819X ISBN-13(EAN): 9783030588199
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay
Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part V
ISBN: 3030588130 ISBN-13(EAN): 9783030588137
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

Автор: Jezic G., Chen-Burger J., Kusek M.
Название: Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th Kes International Conference, Kes-Amsta 2020, June 2020 Proceedings
ISBN: 9811557632 ISBN-13(EAN): 9789811557637
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the current realities and examines the proposed reforms in doctoral education worldwide to offers a discussion of the organization of doctoral education, including historical background, the basic philosophy behind doctoral education, numbers of students and staff, numbers of universities offering doctoral study, and other relevant statistics on the region.

Автор: Arai Kohei, Kapoor Supriya, Bhatia Rahul
Название: Intelligent Systems and Applications: Proceedings of the 2020 Intelligent Systems Conference (Intellisys) Volume 3
ISBN: 303055189X ISBN-13(EAN): 9783030551896
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world.

Автор: 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
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Pulina Luca, Seidl Martina
Название: Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
ISBN: 3030518248 ISBN-13(EAN): 9783030518240
Издательство: Springer
Рейтинг:
Цена: 76390.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sorting Parity Encodings by Reusing Variables.- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving.- Clause size reduction with all-UIP Learning.- Trail Saving on Backtrack.- Four Flavors of Entailment.- Designing New Phase Selection Heuristics.- On the Effect of Learned Clauses on Stochastic Local Search.- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers.- Distributed Cube and Conquer with Paracooba.- Reproducible E cient Parallel SAT Solving.- Improving Implementation of SAT Competitions 2017-2019 Winners.- On CDCL-based Proof Systems with the Ordered Decision Strategy.- Equivalence Between Systems Stronger Than Resolution.- Simplified and Improved Separations Between Regular and General Resolution by Lifting.- Mycielski graphs and PR proofs.- Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.- Towards a Complexity-theoretic Understanding of Restarts in SAT solvers.- On the Sparsity of XORs in Approximate Model Counting.- A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth.- Abstract Cores in Implicit Hitting Set MaxSat Solving.- MaxSAT Resolution and SubCube Sums.- A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.- On Weakening Strategies for PB Solvers.- Reasoning About Strong Inconsistency in ASP.- Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.- Reducing Bit-Vector Polynomials to SAT using Groebner Bases.- Speeding Up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.- Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths.- Short Q-Resolution Proofs with Homomorphisms.- Multi-Linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.- Positional Games and QBF: The Corrective Encoding.- Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.- Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.- SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.- SAT-based Encodings for Optimal Decision Trees with Explicit Paths.- Incremental Encoding of Pseudo-Boolean Goal Functions based on Comparator Networks.