Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Proceedings, Wang Xin, Lisi Francesca Alessandra, Xiao Guohui


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

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

Автор: Wang Xin, Lisi Francesca Alessandra, Xiao Guohui
Название:  Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Proceedings
ISBN: 9783030414061
Издательство: Springer
Классификация:



ISBN-10: 303041406X
Обложка/Формат: Paperback
Страницы: 386
Вес: 0.56 кг.
Дата издания: 14.02.2020
Серия: Information systems and applications, incl. internet/web, and hci
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 99 illustrations, color; 139 illustrations, black and white; xiii, 386 p. 238 illus., 99 illus. in color.
Размер: 23.39 x 15.60 x 2.08 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 9th joint international conference, jist 2019, hangzhou, china, november 25-27, 2019, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the thoroughly refereed proceedings of the 9th Joint International Semantic Technology Conference, JIST 2019, held in Hangzhou, China, in November 2019. The 24 full papers presented were carefully reviewed and selected from 70 submissions.

Intelligent Information Processing X: 11th Ifip Tc 12 International Conference, Iip 2020, Hangzhou, China, July 3-6, 2020, Proceedings

Автор: Shi Zhongzhi, Vadera Sunil, Chang Elizabeth
Название: Intelligent Information Processing X: 11th Ifip Tc 12 International Conference, Iip 2020, Hangzhou, China, July 3-6, 2020, Proceedings
ISBN: 3030469301 ISBN-13(EAN): 9783030469306
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2020, held in Hangzhou, China, in July 2020. The 24 full papers and 5 short papers presented were carefully reviewed and selected from 36 submissions. and computer vision and image understanding.

Communications and Networking: 14th Eai International Conference, Chinacom 2019, Shanghai, China, November 29 - December 1, 2019, Proceedings, Part I

Автор: Gao Honghao, Feng Zhiyong, Yu Jun
Название: Communications and Networking: 14th Eai International Conference, Chinacom 2019, Shanghai, China, November 29 - December 1, 2019, Proceedings, Part I
ISBN: 3030411133 ISBN-13(EAN): 9783030411138
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on Internet of Things (IoT), antenna, microwave and cellular communication, wireless communications and networking, network and information security, communication QoS, reliability and modeling, pattern recognition and image signal processing, and information processing.

Security with Intelligent Computing and Big-Data Services 2019: Proceedings of the 3rd International Conference on Security with Intelligent Computing

Автор: Jain Lakhmi C., Peng Sheng-Lung, Wang Shiuh-Jeng
Название: Security with Intelligent Computing and Big-Data Services 2019: Proceedings of the 3rd International Conference on Security with Intelligent Computing
ISBN: 3030468275 ISBN-13(EAN): 9783030468279
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This edited book is about basics and high level concepts regarding Blockchain Technology and Application, Multimedia Security, Information Processing, Security of Network, Cloud and IoT, Cryptography and Cryptosystem, Learning and Intelligent Computing, Information Hiding.

Proceedings of International Joint Conference on Computational Intelligence: Ijcci 2019

Автор: Uddin Mohammad Shorif, Bansal Jagdish Chand
Название: Proceedings of International Joint Conference on Computational Intelligence: Ijcci 2019
ISBN: 9811536066 ISBN-13(EAN): 9789811536069
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book gathers outstanding research papers presented at the International Joint Conference on Computational Intelligence (IJCCI 2019), held at the University of Liberal Arts Bangladesh (ULAB), Dhaka, on 25-26 October 2019 and jointly organized by the University of Liberal Arts Bangladesh (ULAB), Bangladesh;

Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Автор: Peltier Nicolas, Sofronie-Stokkermans Viorica
Название: Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
ISBN: 3030510530 ISBN-13(EAN): 9783030510534
Издательство: Springer
Рейтинг:
Цена: 68930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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).


Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Revised Selected Papers

Автор: Wang Xin, Lisi Francesca A., Xiao Guohui
Название: Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Revised Selected Papers
ISBN: 981153411X ISBN-13(EAN): 9789811534119
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 9th Joint International Semantic Technology Conference, JIST 2019, held in Hangzhou, China, in November 2019.The 12 full papers and 12 short papers presented were carefully reviewed and selected from 70 submissions.

Knowledge Science, Engineering and Management: 13th International Conference, Ksem 2020, Hangzhou, China, August 28-30, 2020, Proceedings, Part II

Автор: Li Gang, Shen Heng Tao, Yuan Ye
Название: Knowledge Science, Engineering and Management: 13th International Conference, Ksem 2020, Hangzhou, China, August 28-30, 2020, Proceedings, Part II
ISBN: 3030553922 ISBN-13(EAN): 9783030553920
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume set of LNAI 12274 and LNAI 12275 constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.*The 58 revised full papers and 27 short papers were carefully reviewed and selected from 291 submissions.

Logic and Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings

Автор: Dastani Mehdi, Dong Huimin, Van Der Torre Leon
Название: Logic and Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings
ISBN: 3030446379 ISBN-13(EAN): 9783030446376
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Group Belief.- Broadening Label-based Argumentation Semantics with May-Must Scales.- Semirings of Evidence.- Logic Programming, Argumentation and Human Reasoning.- Reasoning about Degrees of Con rmation.- Ideal related algebras and their logics { Extended abstract.- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments.- A Meta-level Annotation Language for Legal Texts.- Towards an Executable Methodology for the Formalization of Legal Texts.- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting.- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics.- Ambiguity Preference and Context Learning in Uncertain Signaling.- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms.- Preservation of Admissibility with Rationality and Feasibility Constraints.- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope.- Reasoning as Speech Acts.- Dynamics of Fuzzy Argumentation Frameworks .- Probabilistic three-value argumentation frameworks.- Further Steps Towards a Logic of Polarization in Social Networks.- A Formalization of the Slippery Slope Argument.

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brun?w, Poland

Автор: Wojciech Zamojski; Jacek Mazurkiewicz; Jaros?aw Su
Название: Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brun?w, Poland
ISBN: 3319070126 ISBN-13(EAN): 9783319070124
Издательство: Springer
Рейтинг:
Цена: 200260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

DepCoS - RELCOMEX is an annual series of conferences organized by Wroclaw University of Technology to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. In contrast to classic analyses which were concentrated on reliability of technical resources and structures built from them, dependability is based on multi-disciplinary approach to theory, technology and maintenance of a system considered to be a multifaceted amalgamation of technical, information, organization, software and human (users, administrators, supervisors, etc.) resources. Diversity of processes being realized (data processing, system management, system monitoring, etc.), their concurrency and their reliance on in-system intelligence often severely impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods.

This book presents the proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, which took place in Brun w Palace, Poland, from 30th June to 4th July, 2014. The articles selected for this volume illustrate the variety of topics that must be included in system dependability analysis: tools, methodologies and standards for modelling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks or management of transportation networks.


Rules and Reasoning: 4th International Joint Conference, Ruleml+rr 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings

Автор: Gutiйrrez-Basulto Vнctor, Kliegr Tomбs, Soylu Ahmet
Название: Rules and Reasoning: 4th International Joint Conference, Ruleml+rr 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings
ISBN: 303057976X ISBN-13(EAN): 9783030579760
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Papers.- Full Papers.- Technical Communication Papers.

Information Retrieval Technology: 15th Asia Information Retrieval Societies Conference, Airs 2019, Hong Kong, China, November 7-9, 2019, Proceedings

Автор: Wang Fu Lee, Xie Haoran, Lam Wai
Название: Information Retrieval Technology: 15th Asia Information Retrieval Societies Conference, Airs 2019, Hong Kong, China, November 7-9, 2019, Proceedings
ISBN: 3030428346 ISBN-13(EAN): 9783030428341
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th Information Retrieval Technology Conference, AIRS 2019, held in Hong Kong, China, in November 2019.The 14 full papers presented together with 3 short papers were carefully reviewed and selected from 27 submissions.

Controlo 2020: Proceedings of the 14th Apca International Conference on Automatic Control and Soft Computing, July 1-3, 2020, Braganз

Автор: Gonзalves Josй Alexandre, Braz-Cйsar Manuel, Coelho Joгo Paulo
Название: Controlo 2020: Proceedings of the 14th Apca International Conference on Automatic Control and Soft Computing, July 1-3, 2020, Braganз
ISBN: 3030586529 ISBN-13(EAN): 9783030586522
Издательство: Springer
Рейтинг:
Цена: 279500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covering a wide range of theoretical and practical issues, the contributions describes a number of different control approaches, such adaptive control, fuzzy and neuro-fuzzy control, remote and robust control systems, real time an fault tolerant control, among others.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия