Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I, Lahiri Shuvendu K., Wang Chao
Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.
Автор: Dillig Isil, Tasiran Serdar Название: Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I ISBN: 3030255395 ISBN-13(EAN): 9783030255398 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;
Автор: Dustdar Schahram, Yu Eric, Salinesi Camille Название: Advanced Information Systems Engineering: 32nd International Conference, Caise 2020, Grenoble, France, June 8-12, 2020, Proceedings ISBN: 3030494349 ISBN-13(EAN): 9783030494346 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, held in Grenoble, France, in June 2020.*The 33 full papers presented in this volume were carefully reviewed and selected from 185 submissions.
Автор: Benzmьller Christoph, Miller Bruce Название: Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings ISBN: 3030535177 ISBN-13(EAN): 9783030535179 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 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 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.
Автор: Martel Anne L., Abolmaesumi Purang, Stoyanov Danail Название: Medical Image Computing and Computer Assisted Intervention - Miccai 2020: 23rd International Conference, Lima, Peru, October 4-8, 2020, Proceedings, P ISBN: 303059727X ISBN-13(EAN): 9783030597276 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020.
Автор: Silhavy Radek Название: Intelligent Algorithms in Software Engineering: Proceedings of the 9th Computer Science On-Line Conference 2020, Volume 1 ISBN: 3030519643 ISBN-13(EAN): 9783030519643 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A Prescriptive Analytical Logic Model Incorporates With Analytic Hierarchy Process for Software Application Error Analysis.- Software requirement in iterative SDLC model.- Simplified Framework of Natural Language Processing for Structure Management of Current-age Data.- Design and Software Implementation of Heuristic and Suboptimal Strategies for the Mancala/Kalah Game.- Sector-Selective Hybrid Scheme facilitating Hardware Supportability over Image Compression.- Performance Evaluation of Joint Rate-Distortion Model of Video Codec.- To Defeat DDoS Attacks in Cloud Computing Environ-ment using Software Defined Networking (SDN).- Oriented Petri Nets As Means Of Describing A Human-Computer Interaction.
Design and Evaluation Methods and Tools.- User Characteristics, Requirements and Preferences.- Multimodal and Natural Interaction.- Recognizing Human Psychological States.- User Experience Studies.- Human Perception and Cognition.- AI in HCI.- Virtual, Augmented and Mixed Reality.- Virtual Humans and Motion Modelling and Tracking.- Learning Technology.- Universal Access, Accessibility and Design for the Elderly.- Smartphones, Social Media and Human Behaviour.- Interacting with Cultural Heritage.- Human-Vehicle Interaction.- Transport, Safety and Crisis Management.- Security, Privacy and Trust.- Product and Service Design.
Автор: 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.
Interactive Theorem Proving/ HOL.- Competing inheritance paths in dependent type theory: a case study in functional analysis.- A Lean tactic for normalising ring expressions with exponents (short paper).- Practical proof search for Coq by type inhabitation.- Quotients of Bounded Natural Functors.- Trakhtenbrot's Theorem in Coq.- Deep Generation of Coq Lemma Names Using Elaborated Terms.- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.- Validating Mathematical Structures.- Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description).- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.- Formalizations.- Formalizing the Face Lattice of Polyhedra.- Algebraically Closed Fields in Isabelle/HOL.- Formalization of Forcing in Isabelle/ZF.- Reasoning about Algebraic Structures with Implicit Carriers in Isabelle/HOL.- Formal Proof of the Group Law for Edwards Elliptic Curves.- Verifying Farad_zev-Read type Isomorph-Free Exhaustive Generation.- Verification.- Verified Approximation Algorithms.- Efficient Verified Implementation of Introsort and Pdqsort.- A Fast Verified Liveness Analysis in SSA form.- Verification of Closest Pair of Points Algorithms.- Reasoning Systems and Tools.- A Polymorphic Vampire (short paper).- N-PAT: A Nested Model-Checker (system description).- HYPNO: Theorem Proving with Hypersequent Calculi for Non-Normal Modal Logics (system description).- Implementing superposition in iProver (system description).- Moin: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (system description).- Make E Smart Again.- Automatically Proving and Disproving Feasibility Conditions.- -term: Verify Termination Properties Automatically (system description).- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description).- The Imandra Automated Reasoning System (system description).- A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (system description).- Sequoia: a playground for logicians (system description).- Prolog Technology Reinforcement Learning Prover (system description).
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
